Software design by algebraic specification (Abstract of presentation).
Ellis HorowitzPublished in: AFIPS National Computer Conference (1978)
Keyphrases
- software design
- uml diagrams
- software engineering
- software development
- high level
- software systems
- object oriented design
- functional requirements
- state machines
- multimedia
- higher level
- educational software
- design patterns
- information technology
- formal specification
- knowledge level
- formal methods
- specification language
- low level
- database