Survey of object-oriented metrics: focusing on validation and formal specification.
Meenakshi SharmaNasib S. GillSunil SikkaPublished in: ACM SIGSOFT Softw. Eng. Notes (2012)
Keyphrases
- formal specification
- object oriented
- reverse engineering
- object oriented design
- object oriented software
- model checking
- specification languages
- specification language
- data abstraction
- object oriented systems
- process algebra
- programming language
- concurrent systems
- software engineering
- formal methods
- database design
- object oriented databases
- data model
- relational databases
- query language
- data flow
- conceptual models
- design patterns
- database
- temporal logic
- test cases
- case study
- knowledge base
- real world