Checking Critical Software Systems: A Formal Proposal.
Luis E. Mendoza MoralesManuel I. CapelPublished in: QUATIC (2016)
Keyphrases
- software systems
- requirements specification
- software engineering
- source code
- software components
- software development
- software evolution
- software design
- software maintenance
- functional requirements
- software developers
- software quality
- complex software systems
- software projects
- design patterns
- linux kernel
- software engineers
- software requirements
- metamodel
- software architecture
- multi agent systems
- database
- clone detection
- maintenance activities
- software testing
- formal specification
- databases