π-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioural Properties of Software Architectures - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Software Engineering Notes Année : 2006

π-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioural Properties of Software Architectures

Fichier non déposé

Dates et versions

hal-00512570 , version 1 (30-08-2010)

Identifiants

  • HAL Id : hal-00512570 , version 1

Citer

Radu Mateescu, Flavio Oquendo. π-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioural Properties of Software Architectures. Software Engineering Notes, 2006, 31 (2), pp.1-19. ⟨hal-00512570⟩
174 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More