Automatic Verification of Strongly Dynamic Software Systems.
Nurit DorJohn FieldDenis GopanTal Lev-AmiAlexey LoginovRoman ManevichG. RamalingamThomas W. RepsNoam RinetzkyMooly SagivReinhard WilhelmEran YahavGreta YorshPublished in: VSTTE (2005)
Keyphrases
- software systems
- software engineering
- source code
- software design
- software components
- software architecture
- software development
- software maintenance
- software evolution
- multi agent systems
- linux kernel
- functional requirements
- software quality
- design patterns
- maintenance activities
- component based software
- metamodel
- information technology
- software engineers
- software developers
- databases
- artificial intelligence