The ASMETA Approach to Safety Assurance of Software Systems.
Paolo ArcainiAndrea BombardaSilvia BonfantiAngelo GargantiniElvinia RiccobenePatrizia ScandurraPublished in: Logic, Computation and Rigorous Methods (2021)
Keyphrases
- software systems
- software engineering
- software development
- source code
- software maintenance
- metamodel
- software design
- software components
- software developers
- software evolution
- software architecture
- design patterns
- embedded systems
- software projects
- linux kernel
- software engineers
- software quality
- software testing
- databases
- safety critical
- high assurance
- complex systems
- clone detection