Publications

Publications de

Communications dans un congrès
  • 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

  • Marjorie Couzinier, Louis Féraud

    Formal verification of dynamic UML diagrams using TLA+

    Dans : Second IASTED International Multiconference Software Engineering (ACIT-SE), Novosibirsk, 20/06/05-24/06/05, ACTA Press, p. 85-91, juin 2005.

    BibTeX

  • Marjorie Couzinier, Louis Féraud

    Une approche formelle des diagrammes dynamiques d’UML via TLA+

    Dans : FAC’05 Journées Formalisation des activités concurrentes, Toulouse, 09/03/05-10/03/05.

    Accès : http://www.cert.fr/francais/deri/michel/FAC
    BibTeX

  • Marjorie Couzinier

    Sur quelques approches de la sémantique en Object-Z des diagrammes dynamiques en UML

    Dans : JOCM 2004, Lille, 16/03/04, GDR ALP, p. 7-12, mars 2004.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par