A System-Level Approach for Model-Based Verification of Distributed Software Systems.
Seyedehmehrnaz MireslamiBehrouz H. FarPublished in: SMC (2013)
Keyphrases
- software systems
- software engineering
- source code
- software architecture
- software design
- software development
- metamodel
- high assurance
- multi agent
- software evolution
- distributed systems
- software maintenance
- software developers
- multi agent systems
- cooperative
- functional requirements
- software intensive systems
- software engineers
- maintenance activities
- linux kernel
- software components
- software testing
- software quality
- clone detection
- e learning
- development effort
- dynamic reconfiguration