.:. Consultation > Par auteur > Attiogbé .:.

7 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Comparaison de Modèles Filtrée pour le Test de Transformations de Modèles Finot O., Mottu J.-M., Sunyé G., Attiogbé C. Dans CIEL 2012 (2012) [hal-00726538 - version 1]

A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes Attiogbe C., Poizat P., Salaün G. IEEE Transactions on Software Engineering 33, 3 (2007) 157-170 [hal-00470280 - version 1]

A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes Attiogbé C., Poizat P., Salaün G. IEEE Transactions on Software Engineering 33 (2007) 157--170 [hal-00341984 - version 1]

Intégration de données formelles dans les diagrammes d'états d'UML Attiogbé C., Poizat P., Salaün G. Dans Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003 (2003) 3--17 [hal-00458199 - version 1]

Formalising an Integrated Language in PVS Salaün G., Attiogbé C. Dans 5th International Conference on Formal Engineering Methods, ICFEM 2003 2885 (2003) 187--205 [hal-00458175 - version 1]

Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams Attiogbé C., Poizat P., Salaün G. Dans (8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03) (2003) 240a [hal-00458164 - version 1]

Integration of Formal Datatypes within State Diagrams Attiogbé C., Poizat P., Salaün G. Dans Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003 2621 (2003) 341--355 [hal-00458163 - version 1]