A Novel Approach to Verify Graph Schema-Based Software Systems.
Vahid RafeAdel Torkaman RahmaniPublished in: Int. J. Softw. Eng. Knowl. Eng. (2009)
Keyphrases
- software systems
- software engineering
- metamodel
- source code
- software design
- software development
- software maintenance
- software evolution
- functional requirements
- software components
- databases
- software architecture
- software engineers
- development effort
- data model
- multi agent systems
- software testing
- component based software
- software quality
- linux kernel
- software developers
- software projects
- design patterns
- software metrics
- software requirements
- complex software systems
- real world
- xml schema
- pattern matching
- object oriented
- machine learning