Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems.
Andree BlotzFranz HuberHeiko LötzbeyerAlexander PretschnerOscar SlotoschHans-Peter ZängerlPublished in: Ada Deutschland Tagung (2002)
Keyphrases
- machine learning
- safety critical
- formal methods
- software engineering
- safety analysis
- support systems
- fault tolerant
- nuclear power plant
- learning systems
- embedded systems
- agent architecture
- artificial intelligence
- software intensive systems
- software systems
- development methodologies
- knowledge based systems
- model checking
- data mining
- decision support
- formal specification
- knowledge acquisition
- object oriented
- software development
- adaptive systems
- management system
- regulatory requirements
- user interface
- learning environment
- multi agent