Utilizing an Executable Specification Language for an Information System.
Susan Darling UrbanJoseph E. UrbanWayne D. DominickPublished in: IEEE Trans. Software Eng. (1985)
Keyphrases
- specification language
- formal specification
- information systems
- programming language
- model checking
- description language
- symbolic execution
- requirements specification
- business rules
- reverse engineering
- model checker
- software components
- knowledge based systems
- petri net
- knowledge management
- formal methods
- systems development
- software engineering
- object oriented
- databases