Formal Specification and Prototyping of CORBA Systems.
Rémi BastideOusmane SyPhilippe A. PalanquePublished in: ECOOP (1999)
Keyphrases
- formal specification
- formal methods
- process algebra
- software components
- distributed systems
- model checking
- information systems
- artificial intelligence
- distributed object
- lightweight
- specification language
- specification languages
- code generation
- business processes
- building blocks
- software development
- user interface
- expert systems
- database systems