Object prototyping: Concept and specification language.

H.-J. Lee Wei-Tek Tsai

Published in: COMPSAC (1993)

Keyphrases

specification language
formal specification
programming language
description language
information systems
d objects
object model
symbolic execution
software architecture
case study
moving objects
domain specific
multiple objects