Design principles of an office specification language.
Michael HammerJay S. KuninPublished in: AFIPS National Computer Conference (1980)
Keyphrases
- specification language
- design principles
- formal specification
- description language
- programming language
- software engineering
- instructional design
- design decisions
- design process
- design patterns
- requirements specification
- artificial intelligence
- databases
- software architecture
- reverse engineering
- database design
- orders of magnitude
- model checking
- search space
- cooperative
- multi agent