Architectural Specifications in CASL.

Michel Bidoit Donald Sannella Andrzej Tarlecki

Published in: Formal Aspects Comput. (2002)

Keyphrases

high level
delay insensitive
software architecture
multiscale
architectural design
data sets
protocol specification
neural network
concurrent systems
formal specification
operational semantics
computational intelligence
specification language
data structure
genetic algorithm
data mining
databases