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