Accéder directement au contenu

Jean-Claude Royer

10
Documents

Publications

andre-p

Un point de vue sur les méthodes formelles à Objets

Pascal André , Jean-Claude Royer
Revue 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 à objets

Pascal André , Franck Barbier , Jean-Claude Royer
Revue 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
Image document

JavaCompExt: Extracting Architectural Elements from Java Source Code

Pascal André , Nicolas Anquetil , Gilles Ardourel , Jean-Claude Royer , Petr Hnetynka
WCRE, 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 Prover

Pascal André , Annya Réquilé Romanczuk , Jean-Claude Royer , Vasconcelos Aline
Third Rigorous Object-Oriented Methods Workshop, 2000, York, United Kingdom
Communication dans un congrès hal-01135641v1

An Algebraic View of UML Class Diagrams

Pascal André , Annya Réquilé Romanczuk , Jean-Claude Royer , Vasconcelos Aline
Langages et Modèles à Objets, 2000, Montréal, Canada. pp.261-276
Communication dans un congrès hal-01135647v1

The Invoicing System: Using GAT

Pascal André , Jean-Claude Royer
Comparing 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 objet

Pascal Andre , Jean-Claude Royer
Journées Francophones des Langages Applicatifs, Jan 1994, Noirmoutier, France. pp.259-285
Communication dans un congrès hal-01135544v1

The Formal Class Model

Pascal André , Dan Chiorean , Jean-Claude Royer
Joint 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 Coloring

Pascal André , Jean-Claude Royer
110-126, Oct 1992, Vancouver, Canada. pp.110-126, ⟨10.1145/141937.141947⟩
Communication dans un congrès hal-01135528v1

Objets et spécifications formelles

Pascal André , Jean-Claude Royer
Ingénierie Objet, Concepts et techniques, 1997, 2-7296-60642-4
Chapitre d'ouvrage hal-01135550v1