33841 articles – 26695 Notices  [english version]
.:. Consultation > Par auteur > Attiogbé .:.
6 documents classés par :

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]
fulltext access 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]
Intégration de données formelles dans les diagrammes d'états d'UML
Attiogbé C., Poizat P., Salaün G.
In 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.
In 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.
In (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.
In Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003 2621 (2003) 341--355 [hal-00458163 - version 1]