Isabelle Jacques

Publication Activity (10 Years)

Years Active: 1991-2006
Publications (10 Years): 0

Publications

Bruno Tatibouët, Isabelle Jacques
Understanding B Specifications with UML Class Diagram and OCL Constraints. ICEIS (3) (2006)
Jean-Christophe Voisinet, Bruno Tatibouët, Isabelle Jacques
Generation of OCL Constraints from B Abstract Machines. Software Engineering Research and Practice (2005)
Isabelle Jacques, Bruno Legeard, Laurent Py
Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes. JFPLC (1998)
Didier Arquès, Isabelle Jacques
Classification des cartes pointées de genre 1 et relation fonctionelle associée. Theor. Comput. Sci. 117 (1&2) (1993)
Didier Arquès, Isabelle Jacques
Solides non organisés: definition, implantation et plongement. RAIRO Theor. Informatics Appl. 25 (1991)