π-Method: A Model-Driven Formal Method for Architecture-Centric Software Engineering

Type de document :
Article dans une revue
ACM SIGSOFT Software Engineering Notes, ACM, 2006, 31 (3), pp.1-13
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00512571
Contributeur : Flavio Oquendo <>
Soumis le : lundi 30 août 2010 - 22:34:14
Dernière modification le : vendredi 3 septembre 2010 - 12:17:57

Identifiants

  • HAL Id : hal-00512571, version 1

Collections

Citation

Flavio Oquendo. π-Method: A Model-Driven Formal Method for Architecture-Centric Software Engineering. ACM SIGSOFT Software Engineering Notes, ACM, 2006, 31 (3), pp.1-13. 〈hal-00512571〉

Partager

Métriques

Consultations de la notice

51