07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems.
Michaela HuhnHardi HungarDoron A. PeledPublished in: Tools for the Model-based Development of Certifiable, Dependable Systems (2007)
Keyphrases
- technical issues
- design tools
- enabling technologies
- complex software systems
- computer systems
- knowledge based systems
- software developers
- development methodologies
- interactive systems
- software systems
- agent based systems
- decision support
- building blocks
- learning systems
- commercial products
- distributed systems
- topics covered include
- reusable components
- legacy systems
- support systems
- communication technologies
- complex systems
- formal methods
- safety critical
- information systems
- development environment
- programming environments
- fault tolerant
- commercial off the shelf
- knowledge management
- hardware platforms
- expert systems