Composing Object-Oriented Specifications and Verifications with cTLA.

Günter Graw Peter Herrmann Heiko Krumm

Published 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