Using Aspects for Enforcing Formal Architectural Invariants.

Slim Kallel Anis Charfi Mohamed Jmaiel

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

data sets
software architecture
artificial intelligence
case study
computational models
affine invariant
formal methods
formal representation