Exercises in Architecture Specification Using CLaSH.

Jan Kuper Christiaan Baaij Matthijs Kooijman

Published in: FDL (2010)

Keyphrases

management system
formal specification
distributed architecture
real time
reactive systems
ims qti
high level
database systems
conceptual model
reference model
layered architecture
data sets
artificial intelligence
information systems
data flow
formal verification