Article Dans Une Revue
Software Engineering Notes
Année : 2006
Flavio Oquendo : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00512570
Soumis le : lundi 30 août 2010-22:17:51
Dernière modification le : jeudi 4 avril 2024-20:54:50
Dates et versions
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