Isabelle Jacques

According to our database, Isabelle Jacques authored at least 5 papers between 1991 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Understanding B Specifications with UML Class Diagram and OCL Constraints.

Bruno Tatibouët, Isabelle Jacques

Proceedings of the ICEIS 2006, 2006

2005

Generation of OCL Constraints from B Abstract Machines.

Jean-Christophe Voisinet, Bruno Tatibouët, Isabelle Jacques

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

1998

Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes.

Isabelle Jacques, Bruno Legeard, Laurent Py

Proceedings of the JFPLC'98, 1998

1993

Classification des cartes pointées de genre 1 et relation fonctionelle associée.

Didier Arquès, Isabelle Jacques

Theor. Comput. Sci., 1993

1991

Solides non organisés: definition, implantation et plongement.

Didier Arquès, Isabelle Jacques

RAIRO Theor. Informatics Appl., 1991