VSC 2015 Track Report: Validating Software for Critical Systems.
Andrea CalvagnaEmiliano TramontanaPublished in: WETICE (2015)
Keyphrases
- computer systems
- commercial software
- software development
- industrial strength
- intelligent systems
- knowledge based systems
- software systems
- software maintenance
- embedded systems
- commercial off the shelf
- software implementation
- real time systems
- formal methods
- software tools
- real time
- software components
- retrieval systems
- source code
- business processes
- computer software
- open systems
- management system
- legacy systems
- safety critical
- expert systems
- search engine