π-Method: A Model-Driven Formal Method for Architecture-Centric Software Engineering - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Software Engineering Notes Année : 2006

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

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00512571 , version 1

Citer

Flavio Oquendo. π-Method: A Model-Driven Formal Method for Architecture-Centric Software Engineering. Software Engineering Notes, 2006, 31 (3), pp.1-13. ⟨hal-00512571⟩
31 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More