Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLMO 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
a service of 
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.
last updated on 2024-04-19 19:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
