Parameterized Software Specifications with Inductively Defined Operations.
Herbert KlaerenPublished in: ADT (1982)
Keyphrases
- written in natural language
- algebraic operations
- control flow
- software tools
- test cases
- software maintenance
- primitive operations
- application programs
- software design
- software architecture
- software systems
- computer systems
- software development
- user interface
- high level
- information systems
- software platform
- reactive systems