References

ABR95

Pascal André, Franck Barbier, and Jean-Claude Royer. Une expérimentation de développement formel à objets. Technique et Science Informatique, 14(8):973--1005, octobre 1995.

ACCR94

Pascal André, Dan Chiorean, Corina Cîrstea, and Jean-Claude Royer. Object-Oriented Design With Formal Classes. In ConTI'94: International Conference on Technical Informatics, 1994. 16-19 November, Timisoara, Romania.

ACR94

Pascal André, Dan Chiorean, and Jean-Claude Royer. The Formal Class Model. In Joint Modular Languages Conference, Modula, Oberon & friends, Ulm, Germany, 1994. GI, SIG and BCS. September, 28-30.

AR94

Pascal André and Jean-Claude Royer. La modélisation des listes en programmation par objets. In Pierre Cointe, Christian Quiennec, and Bernard Serpette, editors, Journées Francophones des Langages Applicatifs (JFLA'94), number 11 in Collection Didactique, pages 259--285, Noirmoutier, 31 janvier - 1 février 1994. INRIA.

AR95

Pascal André and Jean-Claude Royer. Formal Concepts and Tools for Object-Oriented Analysis and Design. In 5th ICC: Object-Oriented Technology: Methods and Applications. Tata McGraw-Hill, January 1995. 9-11 January, Hyderabad, India.

And95

Pascal André. Méthodes formelles et à objets pour le développement du logiciel : Etudes et propositions. Thèse de doctorat, IRISA, Université de Rennes I, 7 juillet 1995. préparée à l'IRIN - Nantes.

BD95

Daniel Bardou, Christophe Dony Propositions pour un nouveau modèle d'objets dans les langages à prototypes. Actes de LMO'95 (Langages et Modèles à objets), pp. 93-109, Nancy, octobre 1995.

CCR95

Dan Chiorean, Corina Cîrstea, and Jean-Claude Royer. Type Checking Formal Classes: Principles and Algorithms. Rapport de recherche 99, Institut de Recherche en Informatique de Nantes, October 1995.

CDE95

B. Carré, R. Ducournau, J. Euzenat, A. Napoli, and F. Rechenmann. Classification et objets : programmation ou représentation ? In Actes des cinquièmes journées nationales PRC GDR Intelligence Artificielle, Nancy, pages 213--237. Teknea, Toulouse, 1995.

Car94

Bernard Carré et Lenneke Dekker. CSCW et partage d'objets. Actes des journees Ganymede sur le travail cooperatif et la communication avancee, Lille, Juin 1994. Publication interne LIFL no 159.

DDH94

H. Dicky, C. Dony, M. Huchard, T. Libourel. ARES, un algorithme d'Ajout avec REStructuration dans les hiérarchies de classes. Actes de la conférence LMO'94 (Langages et Modèles à objets), pp. 125-136, Grenoble, octobre 1994.

DDH95

H. Dicky, C. Dony, M. Huchard, T. Libourel. Ares, Adding a class and REStructuring Inheritance Hierarchies Dans Actes de BDA'95 (Bases de Données Avancées) pp.25-42, Nancy, 1995.

DDH95b

H. Dicky, C. Dony, M. Huchard, T. Libourel. On automatic class insertion with overloading Rapport de recherche LIRMM no 95 054, 1995.

DHH+94

R. Ducournau, M. Habib, M. Huchard, and M-L. Mugnier. Proposal for a monotonic multiple inheritance linearization. In Proceedings of the Ninth ACM Conference on Object-Oriented Programming, Languages and Applications, OOPSLA'94. ACM Press, 1994.

DHH95

R. Ducournau, M. Habib, M. Huchard, M-L. Mugnier, and A. Napoli. Le point sur l'héritage multiple. Technique et Science Informatiques, 14(3):309--345, 1995.

DL94

M. Dao and M. Lebourges. Integration of Object-Oriented Programming and Distributed Algorithms for Network Design. In Networks94, pages 161--166. Hungarian Scientific Society for Telecommunications, september 1994.

DN94

L. Dekker and A. Napoli. Report on the IJCAI-93 Workshop on ``Object-Based Representation Systems''. SIGART Bulletin, 5(1):57--59, 1994.

Dek93

Lenneke Dekker. La reification des filtres en FROME Actes de RPO'93, Représentations par Objets, EC2 Ed, La Grande Motte, 17-18 juin 1993.

Dek94

Lenneke Dekker. FROME : Représentation multiple et classification d'objets avec points de vue Thèse de l'Universite des Sciences et Technologies de Lille. 13 Juin 1994.

Duc95

R. Ducournau. Les systèmes classificatoires. Research Report 95-038, L.I.R.M.M., Montpellier, 1995.

HHN95

M. Habib, M. Huchard, L. Nourine: Embedding partially ordered sets into chain-products, in International KRUSE Symposium: Knowledge Retrieval, Use and Storage for Efficiency, University of Santa-Cruz, Aout 1995, 147-161.

HN95

M.Habib, L. Nourine, A new dimensional parameter and a removal theorem for boolean dimension, 4TH Twente Workshop on graphs and combinatorial optimization, juin 1995, 127-132.

HHN95

M. Habib, M. Huchard, L. Nourine: newblockEmbedding partially ordered sets into chain-products. newblock In International KRUSE Symposium: Knowledge Retrieval, Use and Storage for Efficiency, University of Santa-Cruz, Aout 1995, pp.147-161.

HN95

M.Habib, L. Nourine. newblockA new dimensional parameter and a removal theorem for boolean dimension newblock 4TH Twente Workshop on graphs and combinatorial optimization, juin 1995, 127-132.

LMO95

Actes du colloque ``Langages et Modèles à Objets'' (LMO'95), Nancy. Publiés sous la direction de A. Napoli, Unité de recherche Inria Lorraine, Nancy, 1995.

MC93

Philippe Mulet et Pierre Cointe. Définition d'un noyau réflexif pour un langage à prototypes. Dans les Actes des Secondes Journées Représentation par Objets, pages 101--116, La Grande Motte, France, Juin 1993. EC2-IA2.

MC94

Philippe Mulet et Pierre Cointe. Definition of a Reflective Kernel for a Prototype-Based Language. Edité par Shojiro Nishio et Akinori Yonezawa, Lecture Notes in Computer Science vol.742: First International Symposium on Object Technologies for Advanced Software, pages 128--144, Kanazawa, Japan, Novembre 1993. JSSST-JAIST, Springer-Verlag.

MD94

Milène Shteto and Michel Dao. An Object-Oriented Tool for Partial Network Sizing. In Michel Dao, editor, Workshop on the Use of Object-Oriented Technology for Network Design and Management, pages 75--85. ECOOP'94, july 1994.

MDC95

Jacques Malenfant, Christophe Dony et Pierre Cointe, A Semantic of Introspection in a Reflective Prototype-Based Language, LASC: Journal on Lisp And Functional Programming à paraître en 1996.

MM94

Philippe Mulet and Marco Jacques. De la parenté entre les environnements de MIT Scheme et les prototypes de Self. Dans les Actes de Langages et Modèles à Objets'94, pages 167--178, Grenoble, France, Octobre 1994.

MMC95

Philippe Mulet, Jacques Malenfant, and Pierre Cointe. Towards a Methodology for Explicit Composition of Meta-Objects. In Proceedings of OOPSLA'95, pages 316--330, Austin, Texas, October 1995. ACM Sigplan Notices.

MO93

M. Magnan, C. Oussalah. Object Evolution In Proceedings of the IEEE Intl Conf. on Software Engineering and Knowledge Engineering, San Francisco, June

MO94

lM. Magnan, C. Oussalah. Multiple Inheritance Systems with Exceptions In Artificial Intelligence Review Vol. 6, Kluwer Acad.Pub.1994, pp. 3-24.

MO95

M. Magnan, C. Oussalah. Composition Graphs and Exception In KBKS'95 Proceedings, Avril 1995, Hollande, N.J.I. Mars-IOS Press, pp. 246-258.

Ma95a

Jacques Malenfant. On the semantic Diversity of Delegation-Based Programming Languages In Proceedings of OOPSLA'95, pages 215-227, Austin, Texas, October 1995. ACM Sigplan Notices.

Ma95b

Split Objects: Taming value sharing in Object-Oriented Languages Rapport de Recherche 968 - IRO - Univ. de Montréal, Avril 1995.

Mag94

M. Magnan. Réutilisation de Composants : un modèle d'objets composites avec exceptions (Thèse soutenue à l'Université de Montpellier II, Septembre 94).

Mal

Jacques Malenfant. Abstraction et Encapsulation en Programmation par Prototypes Technique et science informatique. A paraître, 1996.

Mul95

Philippe Mulet. Réflexion & Langages à prototypes. PhD thesis, Université de Nantes, Ecole des Mines de Nantes, July 1995.

NLD94

A. Napoli, C. Laurenço, and R. Ducournau. An object-based representation system for organic synthesis planning. International Journal of Human-Computer Studies, 41(1/2):5--32, 1994.

NL94

A. Napoli and J. Lieber. A First Study on Case-Based Planning in Organic Synthesis. In S. Wess, K.-D. Althoff, and M.M. Richter, editors, Topics in Case-Based Reasoning -- First European Workshop (EWCBR'93), Kaiserslautern, Lecture Notes in Artificial Intelligence 837, pages 458--469. Springer Verlag, Berlin, 1994.

Nap94

A. Napoli. Studies about the Integration of Classification-Based Reasoning and Object-Oriented Programming. In F. Baader, M. Lenzerini, W. Nutt, and P.F. Patel-Schneider, editors, Working Notes of the 1994 Description Logics Workshop, pages 60--62. DFKI Saarbruecken, 1994.

Nap95

A. Napoli. Objects, Classes, Specialization and Subsumption. In A. Borgida, M. Lenzerini, D. Nardi, and B. Nebel, editors, Proceedings of the 1995 International Workshop on Description Logics, Universita di Roma, June 2--3 (Technical Report 07.95), pages 52--55, 1995.

OM95

C. Oussalah, M. Magnan. Exceptions in Composition Links In Proceedings of the Workshop on Monotonic Reasoning, 29-31 Mars 1995, Utrecht- Hollande, pp 114-126.

OP95

C. Oussalah, V. Puig. Combining Objects and Constraints In IEEE (Software Engeneering, Knowledge Engeneering) SEKE'95 Proceedings, Juin 1995, Rockville Maryland-USA, pp. 133-145.

OT93

C. Oussalah, G Talens. Concepts and Methods for version Modeling In Proceedings of the IEEE/ACM EuroDAC, Hamburg, Germany, Septembre 1993, pp. 332-338.

PO95

V. Puig, C. Oussalah. An Object Constraint Model In Scandinave Conference on AI, SCAI'95 Proceedings, Mai 1995, Trondheim, Norvège, pp. 310-322. (1993), pp. 546-554. (nominated as one of the best five papers of

Poi95

Pascal Poizat. Applications de la réécriture aux modèles à objets. Mémoire de dea d'informatique, Institut de Recherche en Informatique de Nantes, 2, rue de Houssinière 44072 Nantes Cedex 03, 14 juin 1995.

TA94

G. Talens. Gestion de Versions d'Objets Simples et Composites (Thèse soutenue à l'Université de Montpellier II, Février 94).

TO93

G Talens, C. Oussalah. Versions of Simple and Composite Objects In Proceedings of the 19th Intl. Conf. on Very Large Data Bases, Dublin, Ireland, Aug. (1993), pp. 62-72.

VQ95

Philippe Vismara and Joel Quinqueton. Design of planification strategies in organic chemistry. In Proceedings of IASTED'95 (Int. Association of Science and Technology for Development Conference, Innsbruck, 1995.

Vis95

P. Vismara. Reconnaissance et représentation d'éléments structuraux pour la description d'objets complexes. Application à l'élaboration de straégies de synthèse en chimie organique. Thèse de l'Université des Sciences et Techniques du Languedoc, Montpellier, 1995.