A Dual Language Approach to the Development of Time-Critical Systems.
Luigi LavazzaSandro MorascaAngelo MorzentiPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- knowledge based systems
- programming language
- technical issues
- decision support
- artificial intelligence
- spoken dialog systems
- formal languages
- safety critical
- support systems
- design tools
- language learning
- complex systems
- learning systems
- intelligent systems
- knowledge management
- case study
- information systems
- model checking
- development process
- software engineering
- systems development
- management information systems
- expert systems
- human machine
- programming environments
- historical perspective
- machine learning