Object-oriented protocol specification.

Roger Duke Gordon A. Rose Anthony Lee

Published in: PSTV (1990)

Keyphrases

object oriented
protocol specification
formal specification
communication protocols
programming language
reverse engineering
data model
object oriented databases
relational databases
design patterns
formal methods
artificial intelligence
query language
software engineering
knowledge base