Semantics of Architectural Specifications in CASL.

Lutz Schröder Till Mossakowski Andrzej Tarlecki Bartek Klin Piotr Hoffman

Published in: FASE (2001)

Keyphrases

specification language
control flow
operational semantics
high level
formal language
logic programming
formal semantics
attribute grammars
semantic information
software architecture
architectural design
semantic constraints
data flow
formal specification
transformation rules