Software Specification and Design: A Disciplined Approach.
Ken ShumatePublished in: TRI-Ada Tutorials (1995)
Keyphrases
- software architecture
- design concepts
- software design
- user interface
- high level
- formal verification
- design tools
- design decisions
- embedded systems
- design patterns
- computer aided
- design process
- computer systems
- expert systems
- design principles
- source code
- simulation environment
- formal methods
- hardware design
- platform independent
- control unit
- neural network
- tool suite