


default search action
LMO 1996: Leysin, Switzerland
- Yves Dennebouy:

Actes des journéees Langages et Modèles à Objets, LMO'96. Leysin, Suisse, 16-18 octobre. Ecole Polytechnique Fédérale de Lausanne, CH 1996
Session 1: Object-oriented programming
- Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz:

Using Metaobjects to Model Concurrent Objects with PICT. LMO 1996: 1-12 - François Laburthe, Yves Caseau:

Ecrire du code élégant pour des algorithmes complexes. LMO 1996: 13-28 - Philippe Collet, Roger Rousseau:

Classification et réification des assertions - Application au langage Eiffel. LMO 1996: 29-45
Session 2: Object-oriented analysis and design
- Michel Augeraud:

Conception orientée objet d'applications concurrentes. LMO 1996: 46-61 - Pascal André:

Vers un modèle formel en analyse à objets. LMO 1996: 62-78
Session 3: Objects and data bases
- F. Mansouri:

Raisonnement taxinomique dans les bases de données objets spatiales. LMO 1996: 79-81 - Zohra Bellahsene:

Modifications virtuelles d'une hiérarchie de classes. LMO 1996: 92-107 - Stéphane Demphlous, Franck Lebastard:

Intégration de langages et de bases de données à objets : une approche par les méta-objets. LMO 1996: 108-119
Session 4: Object-oriented knowledge representation
- Isabelle Bournaud, Jean-Gabriel Ganascia:

Construction de hiérarchies conceptuelles pour l'organisation de connaissances. LMO 1996: 120-133 - Isabelle Crampé, Jérôme Euzenat:

Fondements de la révision dans un langage d'objets simple. LMO 1996: 134-149 - Marie-Pierre Chouvet, Florence Le Ber, Jean Lieber, Ludmila Mangelinck, Amedeo Napoli, Arnaud Simon:

Analyse des besoins en représentation et raisonnement dans une représentation à objets - L'exemple de Y3. LMO 1996: 150-169 - Yves Caseau:

La définition de règles logiques sur les objets dans le langage Claire. LMO 1996: 170-182
Session 5: Classification
- Roland Ducournau:

Les incertitudes de la classification incertaine. LMO 1996: 183-200 - Philippe Vismara:

Appariements dirigés pour le raisonnement par classification sur des hiérarchies de graphes. LMO 1996: 201-214
Session 6: Applications
- Timo Breidenstein, Francis Wolinski:

Un modèle de representation des connaissances pour l'imputation comptable. LMO 1996: 215-227
Keynote speaker
- Didier Rémy:

Synthèse de types dans les langages à objets. LMO 1996: 228-230
Session 7: Logic and objects
- T. Berger, T. Kessel, François Rousselot, Michael Schlick:

C3L : un système qui intègre logique de description et frames. LMO 1996: 231-246 - Laurent Dami:

Liaison dynamique: sémantique formelle et exploitation fonctionnelle. LMO 1996: 247-260 - Gilles Kassel:

LCPaide: un langage de concepts et de propositions hybride. LMO 1996: 261-274

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














