Software specification using the SPECIAL language.
C. Sekar ChandersekaranRichard C. LingerPublished in: J. Syst. Softw. (1981)
Keyphrases
- specification language
- highly modular
- programming language
- formal language
- software systems
- modeling language
- computer systems
- formal languages
- natural language
- software development
- requirements specification
- action language
- high level
- formal methods
- software design
- software tools
- source code
- language learning
- operational semantics
- software architecture
- tool suite
- description language
- artificial intelligence
- definition language
- user interface
- test cases
- test case generation
- information systems