- 10
Jean-Claude Royer
10
Documents
Publications
- 10
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
Un point de vue sur les méthodes formelles à ObjetsRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 1996, 2 (4), pp.5-12
Article dans une revue
hal-00444069v1
|
|
Une expérimentation de développement formel à objetsRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1995, 14 (8), pp.973-1005
Article dans une revue
hal-00444074v1
|
|
JavaCompExt: Extracting Architectural Elements from Java Source CodeWCRE, Oct 2009, Lille, France. pp.317-318, ⟨10.1109/WCRE.2009.53⟩
Communication dans un congrès
hal-00457219v1
|
Checking the Consistency of UML Class Diagrams Using Larch ProverThird Rigorous Object-Oriented Methods Workshop, 2000, York, United Kingdom
Communication dans un congrès
hal-01135641v1
|
|
An Algebraic View of UML Class DiagramsLangages et Modèles à Objets, 2000, Montréal, Canada. pp.261-276
Communication dans un congrès
hal-01135647v1
|
|
The Invoicing System: Using GATComparing Systems Specification Techniques, Henri Habrias, 1998, Nantes, France. pp.381-395
Communication dans un congrès
hal-01135557v1
|
|
La modélisation des listes en programmation par objetJournées Francophones des Langages Applicatifs, Jan 1994, Noirmoutier, France. pp.259-285
Communication dans un congrès
hal-01135544v1
|
|
The Formal Class ModelJoint Modular Languages Conference, Modula, Oberon \& friends, Sep 1994, Ulm, Germany. pp.59-78
Communication dans un congrès
hal-01135547v1
|
|
Optimizing Method Search with Lookup Caches and Incremental Coloring110-126, Oct 1992, Vancouver, Canada. pp.110-126, ⟨10.1145/141937.141947⟩
Communication dans un congrès
hal-01135528v1
|
Objets et spécifications formellesIngénierie Objet, Concepts et techniques, 1997, 2-7296-60642-4
Chapitre d'ouvrage
hal-01135550v1
|