A systematic literature review of the use of formal methods in medical software systems.
Silvia BonfantiAngelo GargantiniAtif MashkoorPublished in: J. Softw. Evol. Process. (2018)
Keyphrases
- software systems
- formal methods
- literature review
- software engineering
- case study
- software development
- software design
- source code
- software components
- safety critical
- formal specification
- model checking
- software maintenance
- artificial intelligence
- software architecture
- design patterns
- knowledge based systems
- software engineers
- software projects
- requirements engineering
- machine learning
- software evolution
- maintenance activities
- development lifecycle
- metamodel
- knowledge management
- software testing
- software intensive systems
- component based software
- modeling language
- embedded systems
- object oriented
- multi agent systems
- linux kernel
- complex software systems
- data mining
- clone detection