Software Specification and Design with Ada: A Disciplined Approach.
Ken ShumatePublished in: TRI-Ada Tutorials (2) (1992)
Keyphrases
- software design
- user interface
- software architecture
- design concepts
- hardware design
- high level
- design methodology
- modeling language
- design tools
- tool suite
- highly modular
- engineering design
- software systems
- design process
- knowledge based systems
- formal verification
- working environment
- software development
- abstraction layer