Managing (Requirements) Evolutions of High Assurance Systems.
Michel LemoineJack FoisseauPublished in: RE (2002)
Keyphrases
- high assurance
- distributed systems
- real time systems
- access control
- management system
- real time
- intelligent systems
- neural network
- real world
- design criteria
- mission critical
- fault tolerant
- software systems
- knowledge based systems
- relational databases
- information technology
- case study
- learning algorithm
- information retrieval
- machine learning