Constraint-oriented style for object-oriented formal specification.
Tommaso BolognesiJohn DerrickPublished in: IEE Proc. Softw. (1998)
Keyphrases
- formal specification
- object oriented
- object oriented design
- reverse engineering
- specification language
- specification languages
- model checking
- data abstraction
- formal methods
- process algebra
- relational databases
- programming language
- data model
- database design
- query language
- object oriented systems
- concurrent systems
- software engineering
- object oriented databases
- source code
- model checker