Dynamic Software Architectures Verification using DynAlloy.

Antonio Bucchiarone Juan P. Galeotti

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2008)

Keyphrases

software architecture
reference model
dynamic environments
description language
software engineering
low cost
neural network
distributed systems
building blocks
product line
case study
database systems
software systems
design patterns
functional requirements
reference architecture