Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Ralph Sobek

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Conférences et workshops internationaux / International conference papers

  • Marjorie Couzinier, Louis Féraud, Ralph Sobek, Sergei Soloviev. A framework for increasing program design reliability. Dans : Contemporary information and education space. St. Petersburg pedagogical state university 2005, St. Petersburg, 22/11/2005-02/12/2005, Sovremennoe informatsionno-obrazovatelnoe prostranstvo (Editions de L'Université Pédagogique d'Etat), p. 67-70, 2005.
    BibTeX

  • Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Christophe Le Camus, Pierre Bazex, Louis Féraud, Ralph Sobek. Extending OCL for verifying UML models consistency. Dans : Workshop on Consistency Problems in UM- based Software Development in conjonction with the fifth International Conference on the Unified Modelling Language "UML" 2002 "Modelling Languages, Concepts and Tools", Dresden, Allemagne, 01/10/2002, Ludwik Kuzniarz - Gianna Reggio - Jean-Louis Sourrouille - Zbigniew Huzar, p. 75-91, octobre 2002.
    Résumé
    BibTeX

Conférences sans actes publiés / Conference papers without published proceedings