Software Specification and Design with Ada: A Disciplined Approach.
Ken ShumatePublished in: TRI-Ada Tutorials (1995)
Keyphrases
- design concepts
- software design
- software architecture
- user interface
- software development
- tool suite
- building blocks
- design patterns
- product line
- formal verification
- modeling language
- design tools
- formal methods
- engineering design
- aspect oriented
- simulation environment
- neural network
- embedded systems
- conceptual model
- high level
- case study