Writing Simulatable Specifications in SPECIAL.

Karl N. Levitt Lawrence Robinson Brad A. Silverberg

Published in: The Use of Formal Specification of Software (1979)

Keyphrases

high level
delay insensitive
website
formal specification
functional requirements
database
artificial intelligence
database systems