Algebraic Specification of Macintosh's Quickdraw Using OBJ2.

Ataru T. Nakagawa Kokichi Futatsugi Satoru Tomura T. Shimizu

Published in: ICSE (1988)

Keyphrases

specification language
formal methods
real world
formal verification
database
data sets
information retrieval
learning algorithm
high level
multiscale
multi agent systems
expert systems
higher order
programming language
formal specification
formal language