Discovering specification violations in networked software systems.
Robert J. WallsYuriy BrunMarc LiberatoreBrian Neil LevinePublished in: ISSRE (2015)
Keyphrases
- software systems
- software engineering
- requirements specification
- source code
- software design
- software development
- software components
- software maintenance
- software requirements
- software architecture
- high level
- metamodel
- component based software
- software engineers
- software quality
- formal specification
- multi agent systems
- software developers
- software projects
- functional requirements
- specification language
- artificial intelligence
- software testing
- dynamic reconfiguration
- complex software systems
- database
- design patterns
- formal methods
- case study
- development effort
- machine learning
- product lines