Deriving CORBA Applications from Formal Specifications.
Bernd J. KrämerNorbert VölkerReiner LichteneckerHans-Friedrich KötterPublished in: J. Syst. Integr. (1998)
Keyphrases
- formal specification
- software components
- specification languages
- object oriented design
- model checking
- specification language
- lightweight
- design methodology
- process algebra
- reverse engineering
- protocol specification
- concurrent systems
- formal methods
- semantic data models
- high level
- real world
- temporal logic
- software engineering
- distributed databases
- distributed systems
- object oriented
- expert systems
- database systems