Architectural Specifications in CASL.

Michel Bidoit Donald Sannella Andrzej Tarlecki

Published in: AMAST (1998)

Keyphrases

high level
software architecture
functional requirements
specification language
formal specification
concurrent systems
delay insensitive
written in natural language
web applications
database
real time
data sets
databases
information systems
operational semantics