07241 Abstracts Collection - 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
- programming environments
- enabling technologies
- software developers
- complex systems
- technical issues
- technical solutions
- decision support
- intelligent systems
- commercial products
- building blocks
- agent based systems
- interactive systems
- design tools
- hardware platforms
- interactive learning environments
- software tools
- software components
- knowledge based systems
- computer systems
- software engineering
- communication technologies
- support systems
- retrieval systems
- design process
- development methodologies
- distributed systems
- case study