Component Design and Formal Validation of SFA Systems: A Case Study.
Valeriy VyatkinHans-Michael HanischPublished in: BASYS (2002)
Keyphrases
- design issues
- case study
- formal methods
- knowledge based systems
- design tools
- computer systems
- building blocks
- complex systems
- computer aided
- human computer interface
- design process
- software architecture
- management system
- user interface
- expert systems
- digital circuits
- design criteria
- design requirements
- design automation
- neural network
- design patterns
- intelligent systems
- support systems
- formal languages
- mechanical systems