An executable specification language for specification understanding in object-oriented specification reuse.
Shih-Chien ChouJason Jen-Yen ChenChian-Goei ChungPublished in: Inf. Softw. Technol. (1996)
Keyphrases
- specification language
- formal specification
- programming language
- object oriented
- description language
- model checking
- process algebra
- requirements specification
- symbolic execution
- formal methods
- heuristic search
- reverse engineering
- general purpose
- conceptual models
- object oriented databases
- software architecture
- database
- fine grained
- data model
- search space
- search algorithm
- database systems