Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
Herbert WeberMarcus KlarStefan MannRalf-Detlef KutscheStefan JähnichenRobert BüssowHartmut EhrigRobert GeislerGabriel BaumClaudia PonsMiguel FelderSergio WaldokePublished in: German-Argentinian Workshop on Information Technology (1999)
Keyphrases
- formal specification
- object oriented
- reverse engineering
- object oriented design
- specification languages
- model checking
- data abstraction
- specification language
- formal methods
- object oriented databases
- process algebra
- concurrent systems
- programming language
- conceptual modeling
- query language
- relational databases
- object oriented systems
- software engineering
- data model
- software components
- communication networks
- multi agent systems