Emerging high assurance solutions for safe, secure, and reliable software systems.
Radu F. BabiceanuHélène WaeselynckPublished in: J. Softw. Evol. Process. (2018)
Keyphrases
- high assurance
- software systems
- source code
- software engineering
- development teams
- software development
- software architecture
- software design
- software maintenance
- metamodel
- multi agent systems
- component based software
- software evolution
- software engineers
- operating system
- software components
- access control
- relational databases
- complex software systems
- fault tolerant
- software testing
- software quality
- database
- software projects
- software intensive systems
- distributed systems
- product lines
- linux kernel
- development effort
- functional requirements
- software developers