Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting.

Yellamraju V. Srinivas

Published in: PROCOMET (1994)

Keyphrases

high level
structured data
structural information
relational databases
specification language
linear algebra
reactive systems
real time
software development
control flow
structural model
structural constraints
delay insensitive