Keyphrases
- formal methods
- building blocks
- knowledge based systems
- management system
- design criteria
- user interface
- complex systems
- circuit design
- computer systems
- design methodology
- software architecture
- functional verification
- asynchronous circuits
- design issues
- human computer interaction
- intelligent systems
- model checking
- design tools
- design space
- formal analysis
- human computer interface
- case study
- interactive systems
- web services
- information systems
- artificial intelligence