Formal Analysis of Architectural Patterns.

Mauro Caporuscio Paola Inverardi Patrizio Pelliccione

Published in: EWSA (2004)

Keyphrases

formal analysis
formal methods
agent model
data mining techniques
software architecture
pattern mining
interesting patterns
ban logic
pattern discovery
neural network
machine learning
case study
architectural design