|
Search the dblp DataBase
Isabelle Jacques:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Bruno Tatibouët, Isabelle Jacques
Understanding B Specifications with UML Class Diagram and OCL Constraints. [Citation Graph (0, 0)][DBLP] ICEIS (3), 2006, pp:475-478 [Conf]
- Isabelle Jacques, Bruno Legeard, Laurent Py
Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes. [Citation Graph (0, 0)][DBLP] JFPLC, 1998, pp:95-0 [Conf]
- Jean-Christophe Voisinet, Bruno Tatibouët, Isabelle Jacques
Generation of OCL Constraints from B Abstract Machines. [Citation Graph (0, 0)][DBLP] Software Engineering Research and Practice, 2005, pp:260-266 [Conf]
- Didier Arquès, Isabelle Jacques
Solides non organisés: definition, implantation et plongement. [Citation Graph (0, 0)][DBLP] ITA, 1991, v:25, n:, pp:219-246 [Journal]
- Didier Arquès, Isabelle Jacques
Classification des cartes pointées de genre 1 et relation fonctionelle associée. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:117, n:1&2, pp:45-65 [Journal]
Search in 0.001secs, Finished in 0.001secs
|