Publications

Publications de

Conférences et workshops internationaux avec actes édités et comité de lecture
  • 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/05-02/12/05, 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/02, Ludwik Kuzniarz – Gianna Reggio – Jean-Louis Sourrouille – Zbigniew Huzar, p. 75-91, octobre 2002.

    Résumé
    BibTeX

Conférences sans actes publiés

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant