Keyphrases
- building blocks
- design criteria
- management system
- support systems
- embedded systems
- formal methods
- design methodology
- design decisions
- engineering design
- computer aided
- knowledge based systems
- intelligent systems
- user interface
- computer systems
- high assurance
- low cost
- digital circuits
- design processes
- case study
- highly modular
- interactive systems
- multi party
- design tools
- learning systems
- distributed systems
- expert systems