SCV2: A model-based validation and verification approach to system-of-systems engineering.
Rami BaddourAlkiviadis PaspaliarisDaniel Solis HerreraPublished in: SoSE (2015)
Keyphrases
- systems engineering
- software engineering
- systems development
- knowledge extraction
- topics covered include
- industrial applications
- requirements engineering
- web information systems
- model checking
- computational modeling
- engineering and computer science
- knowledge based systems
- formal verification
- artificial intelligence
- web services
- design thinking