Tools for Object Oriented Formal Specification Technique.
Gert NilssonP. BlysaPublished in: TOOLS (7) (1992)
Keyphrases
- formal specification
- object oriented
- object oriented design
- formal methods
- reverse engineering
- object oriented systems
- model checking
- specification languages
- specification language
- software components
- code generation
- process algebra
- data abstraction
- object oriented databases
- design methodologies
- data model
- model checker
- relational databases
- database design
- software engineering
- concurrent systems
- software systems
- conceptual modeling
- case study
- machine learning