A Matching Approach for Object-Oriented Formal Specifications.
Fathi TaibiFouad Mohammed AbbouMd. Jahangir AlamPublished in: J. Object Technol. (2008)
Keyphrases
- formal specification
- object oriented
- object oriented design
- reverse engineering
- model checking
- design methodology
- specification languages
- matching algorithm
- object oriented systems
- formal methods
- specification language
- feature points
- software engineering
- data model
- object oriented data models
- programming language
- query language
- image matching
- concurrent systems
- process algebra
- database applications
- relational databases
- semantic data models
- artificial intelligence
- business rules
- database schema
- object oriented databases
- software components
- database technology
- database design