Formally modelling software architectures with the UML 2.0 profile for pi-ADL

Flávio Oquendo. Formally modelling software architectures with the UML 2.0 profile for pi-ADL. ACM SIGSOFT Software Engineering Notes, 31(1):1-13, 2006. [doi]

Abstract

Abstract is missing.