Publications

Publications of

Conference papers

Marjorie Couzinier, Louis Féraud, Ralph Sobek, Sergei Soloviev
A framework for increasing program design reliability
In : 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), pp. 67-70, 2005.
BibTeX
Marjorie Couzinier, Louis Féraud
Formal verification of dynamic UML diagrams using TLA+
In : Second IASTED International Multiconference Software Engineering (ACIT-SE), Novosibirsk, 20/06/05-24/06/05, ACTA Press, pp. 85-91, June 2005.
BibTeX
Marjorie Couzinier, Louis Féraud
Une approche formelle des diagrammes dynamiques d’UML via TLA+
In : FAC’05 Journées Formalisation des activités concurrentes, Toulouse, 09/03/05-10/03/05.
URL : 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
In : JOCM 2004, Lille, 16/03/04, GDR ALP, pp. 7-12, March 2004.
BibTeX