Languages for the specification of software.
Daniel E. CookeAnn Q. GatesElif DemirörsOnur DemirörsMurat M. TanikBernd J. KrämerPublished in: J. Syst. Softw. (1996)
Keyphrases
- software tools
- software development
- expressive power
- high level
- language independent
- software systems
- highly modular
- source code
- databases
- software maintenance
- data flow
- tool suite
- test case generation
- formal methods
- reactive systems
- control flow
- formal language
- computer software
- specification language
- knowledge representation languages
- specification languages
- software requirements
- hardware design
- software architecture
- software package
- software design
- computer programs
- text summarization
- software engineering
- software projects