Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems.
Gabriel TamuraNorha M. VillegasHausi A. MüllerJoão Pedro SousaBasil BeckerGabor KarsaiSerge MankovskiMauro PezzèWilhelm SchäferLadan TahvildariKenny WongPublished in: Software Engineering for Self-Adaptive Systems (2010)
Keyphrases
- software systems
- software engineering
- source code
- software development
- software maintenance
- software design
- software architecture
- high assurance
- software developers
- software components
- real world
- software evolution
- functional requirements
- software quality
- model checking
- multi agent systems
- linux kernel
- software testing
- software engineers
- high level
- software requirements
- maintenance activities
- software intensive systems
- development effort
- relational databases
- information systems
- artificial intelligence