Modeling Software Systems with Decidable Semantics: Implications on Software Quality Assurance.
Kenneth M. AndersonSteven BucuvalasPublished in: Software Engineering Research and Practice (2008)
Keyphrases
- software systems
- quality assurance
- software quality
- software testing
- software development
- software metrics
- software engineering
- software design
- source code
- software components
- software maintenance
- software projects
- software developers
- quality control
- software architecture
- software engineers
- metamodel
- case study
- software evolution
- development effort
- linux kernel
- complex software systems
- open source
- design patterns
- development process
- artificial intelligence
- monitoring system
- multi agent systems
- multi agent
- software reuse
- maintenance activities
- product lines