Our partners

CNRS

Search





Home page > Français > Productions scientifiques > Publications

Publications

Marjorie Couzinier

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

  • 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/2005-24/06/2005, ACTA Press, p. 85-91, juin 2005.
    BibTeX

Conférences et workshops nationaux / National conference papers
  • Marjorie Couzinier. Sur quelques approches de la sémantique en Object-Z des diagrammes dynamiques en UML. Dans : JOCM 2004, Lille, 16/03/2004, GDR ALP, p. 7-12, mars 2004.
    BibTeX

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