Verifying for Reuse: Foundations of Object-Oriented System Verification.
José Luiz FiadeiroT. S. E. MaibaumPublished in: Theory and Formal Methods (1994)
Keyphrases
- object oriented
- model checking
- verification method
- object oriented design
- formal verification
- artificial intelligence
- database schema
- database applications
- programming language
- data model
- face verification
- learning objects
- concurrent systems
- object oriented modeling
- temporal logic
- object oriented programming
- programming interface
- database design
- software engineering
- metadata
- query language
- relational databases
- expert systems
- data sets
- data warehousing
- object oriented databases
- object oriented database systems
- formal methods
- object oriented systems
- information retrieval
- object oriented concepts
- multimedia
- definition language
- software reuse
- general purpose
- design patterns