The use of a software specification metalanguage.
Karl B. ZerangueJoseph E. UrbanPublished in: SAC (1992)
Keyphrases
- software development
- formal methods
- user interface
- computer systems
- information systems
- software tools
- software systems
- development process
- tool suite
- personal computer
- source code
- software engineering
- databases
- real time
- software components
- data model
- reverse engineering
- software maintenance
- software design
- information retrieval
- reactive systems
- requirements specification