An abstract software specification technique based on structural recursion.
Herbert KlaerenPublished in: ACM SIGPLAN Notices (1980)
Keyphrases
- high level
- state machines
- software design
- computer systems
- control flow
- source code
- structural information
- software tools
- test case generation
- test cases
- software package
- formal methods
- tool suite
- databases
- transition systems
- software maintenance
- software architecture
- operating system
- higher level
- user interface
- multi agent systems
- information systems