OOSPEC: An Executable Object-Oriented Specification Language.
Mohammad N. ParyaviWilliam J. HankleyPublished in: ACM Conference on Computer Science (1995)
Keyphrases
- specification language
- object oriented
- formal specification
- programming language
- reverse engineering
- model checking
- software engineering
- symbolic execution
- object oriented databases
- relational databases
- description language
- software environment
- data model
- requirements specification
- query language
- database design
- database
- development process
- production system
- test cases
- formal methods
- multi agent systems
- model checker
- knowledge base
- databases