Verification and Validation Techniques of Object-Oriented Software Systems.
Kasilingam PeriyasamyVangalur S. AlagarD. MuthiayenPublished in: TOOLS (30) (1999)
Keyphrases
- software systems
- object oriented
- software engineering
- software development
- source code
- high assurance
- design patterns
- object oriented systems
- software components
- database applications
- software design
- programming language
- object oriented database systems
- metamodel
- software quality
- software engineers
- model checking
- software architecture
- software evolution
- functional requirements
- linux kernel
- software maintenance
- data model
- software testing
- relational databases
- software developers
- software projects
- formal methods
- multi agent systems
- software repositories
- reverse engineering
- cooperative
- query language
- development effort
- database
- clone detection
- development teams
- software intensive systems
- maintenance activities
- software artifacts
- open source
- databases