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