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

Radu Mateescu 1 Flavio Oquendo 2, *
* Auteur correspondant
1 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Type de document :
Article dans une revue
ACM SIGSOFT Software Engineering Notes, ACM, 2006, 31 (2), pp.1-19
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00512570
Contributeur : Flavio Oquendo <>
Soumis le : lundi 30 août 2010 - 22:17:51
Dernière modification le : jeudi 11 octobre 2018 - 08:48:03

Identifiants

  • HAL Id : hal-00512570, version 1

Collections

Citation

Radu Mateescu, Flavio Oquendo. π-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioural Properties of Software Architectures. ACM SIGSOFT Software Engineering Notes, ACM, 2006, 31 (2), pp.1-19. 〈hal-00512570〉

Partager

Métriques

Consultations de la notice

378