Web2MexADL: Discovery and Maintainability Verification of Software Systems Architecture.
Juan Carlos CastrejónRafael LozanoGenoveva Vargas-SolarPublished in: CSMR (2012)
Keyphrases
- software systems
- software architecture
- source code
- software engineering
- software development
- dynamic reconfiguration
- software components
- software maintenance
- high assurance
- software quality
- software design
- web applications
- software developers
- software testing
- software evolution
- functional requirements
- design patterns
- metamodel
- maintenance activities
- software projects
- model checking
- software engineers
- development effort
- component based software
- linux kernel
- real world
- software metrics
- software repositories
- formal methods
- development process
- open source
- end users
- multi agent systems