On the Correctness of Software Architectures: Formal Specification of Correctness Properties using π-AAL

Type de document :
Communication dans un congrès
Fifth International Conference on Software and Data Technologies (ICSOFT 2009), Jul 2009, Sofia, Bulgaria. INSTICC, pp.208-217, 2009
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00514756
Contributeur : Flavio Oquendo <>
Soumis le : vendredi 3 septembre 2010 - 08:56:35
Dernière modification le : vendredi 3 septembre 2010 - 11:21:58

Identifiants

  • HAL Id : hal-00514756, version 1

Collections

Citation

Flavio Oquendo. On the Correctness of Software Architectures: Formal Specification of Correctness Properties using π-AAL. Fifth International Conference on Software and Data Technologies (ICSOFT 2009), Jul 2009, Sofia, Bulgaria. INSTICC, pp.208-217, 2009. 〈hal-00514756〉

Partager

Métriques

Consultations de la notice

57