Accéder directement au contenu

Christian Attiogbé

Full Professor, Nantes University - Computer Science Department IUT Nantes - LS2N (UMR CNRS 6004)
25%
Libre accès
4
Documents
Affiliations actuelles
  • 1135126
  • 1097347
Identifiants chercheurs
Contact

Présentation

Une liste de publications de travaux de recherche, extraites de HAL (archives-ouvertes).
Une liste de publications de travaux de recherche, extraites de HAL (archives-ouvertes).

Domaines de recherche

Génie logiciel [cs.SE]

Compétences

Languages - Operating Systems - Networks - Formal methods for Software Engineering

Publications

pascalpoizat

Integration of Formal Datatypes within State Diagrams

Christian Attiogbé , Pascal Poizat , Gwen Salaün
Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italy. pp.341--355
Communication dans un congrès hal-00458163v1

Intégration de données formelles dans les diagrammes d'états d'UML

Christian Attiogbé , Pascal Poizat , Gwen Salaün
Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17
Communication dans un congrès hal-00458199v1

Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams

Christian Attiogbé , Pascal Poizat , Gwen Salaün
{8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03}, 2003, Nice, France, France. pp.240a
Communication dans un congrès hal-00458164v1