Composing Object-Oriented Specifications and Verifications with cTLA.
Günter GrawPeter HerrmannHeiko KrummPublished in: ECOOP Workshops (1999)
Keyphrases
- object oriented
- programming language
- database schema
- object oriented databases
- database design
- database applications
- data model
- conceptual models
- object oriented database systems
- relational databases
- programming interface
- class diagram
- query language
- high level
- specification language
- formal specification
- object orientation
- delay insensitive
- databases
- conceptual model
- software engineering
- database technology
- reverse engineering
- data warehousing
- case study
- definition language
- asynchronous circuits
- reactive systems
- website
- information retrieval
- neural network
- real time