A General Approach to Deadlock Freedom Verification for Software Architectures.

Alessandro Aldini Marco Bernardo

Published in: FME (2003)

Keyphrases

software architecture
special case
software engineering
artificial intelligence
software systems
closely related
reference model
real world
machine learning
web services
object oriented
design patterns
description language
functional requirements
quality attributes
reference architecture