ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems.
Hanen GrichiOlfa MosbahiMohamed KhalguiPublished in: ICSOFT-EA (2015)
Keyphrases
- software systems
- metamodel
- software engineering
- source code
- high assurance
- software development
- software architecture
- dynamic reconfiguration
- software components
- software evolution
- software design
- software maintenance
- model checking
- software engineers
- design patterns
- artificial intelligence
- test cases
- multi agent systems
- software developers
- software testing
- software quality
- open source
- functional requirements
- clone detection
- software projects
- software intensive systems
- component based software
- linux kernel
- maintenance activities
- database systems
- high level