Utilizing an Executable Specification Language for an Information System.
Susan Darling UrbanJoseph E. UrbanWayne D. DominickPublished in: ICDE (1984)
Keyphrases
- specification language
- formal specification
- information systems
- model checking
- programming language
- description language
- reverse engineering
- symbolic execution
- business rules
- software environment
- requirements specification
- machine learning
- formal methods
- knowledge management
- knowledge representation
- xml documents
- evolutionary algorithm
- data structure
- database systems
- artificial intelligence