L'OBJET: Software, Databases, Networks, Volume 9

Volume 9, Numbers 1-2, 2003

• Elisa Bertino:
  Trustworthy objects. 11
  Electronic Edition (link) BibTeX
• François Pachet:
  Objets et divertissement. 13
  Electronic Edition (link) BibTeX
• Karine Arnout, Bertrand Meyer:
  Contrats cachés en .NET. Mise au jour et ajout de contrats a posteriori. 17-30
  Electronic Edition (link) BibTeX
• Philippe Collet, Roger Rousseau:
  Contrôle d'admission de composants avec des contrats comportementaux. 31-44
  Electronic Edition (link) BibTeX
• Gabriela Arévalo:
  Understanding Behavioral Dependencies in Class Hierarchies using Concept Analysis. 47-59
  Electronic Edition (link) BibTeX
• David Grosser, Houari A. Sahraoui, Petko Valtchev:
  Prédiction de la stabilité des interfaces de classes Java : une approche par analogie. 61-73
  Electronic Edition (link) BibTeX
• Djalel Chefrour, Françoise André:
  Développement d'applications en environnements mobiles à l'aide du modèle de composant adaptatif ACEEL. 77-90
  Electronic Edition (link) BibTeX
• Jacques Malenfant, Simon Denier:
  ARM : un modèle réflexif asynchrone pour les objets répartis et réactifs. 91-103
  Electronic Edition (link) BibTeX
• Rémi Douence, Mario Südholt:
  Un modèle et un outil pour la programmation par aspects événementiels. 105-117
  Electronic Edition (link) BibTeX
• Marc Ségura-Devillechaise, Jean-Marc Menaud:
  µDyner : un noyau efficace pour le tissage dynamique d'aspects sur processus natif en cours d'exécution. 119-133
  Electronic Edition (link) BibTeX
• Theo D'Hondt, Wolfgang De Meuter:
  Of first-class methods and dynamic scope. 137-149
  Electronic Edition (link) BibTeX
• Gilles Ardourel, Pierre Crescenzo, Philippe Lahire:
  LAMP : vers un langage de définition de mécanismes de protection pour les langages de programmation à objets. 151-163
  Electronic Edition (link) BibTeX
• Julie Chabalier, Gwennaele Fichant, Cécile Capponi:
  La classification récursive dans AROM Application à l'identification de systèmes biologiques. 167-181
  Electronic Edition (link) BibTeX
• David Grosser, Noël Conruyt, Y. Geynet:
  Représentation de connaissances descriptives et classificatoires : le modèle CoDesc. 183-195
  Electronic Edition (link) BibTeX
• Jean-Luc Metzger, Florence Le Ber, Amedeo Napoli:
  Éléments pour la modélisation et la représentation de structures spatiales agricoles. 197-210
  Electronic Edition (link) BibTeX
• Arnaud Bailly, Isabelle Ryl, Mireille Clerbout:
  FIDL Spécifications formelles en IDL3. 213-225
  Electronic Edition (link) BibTeX
• Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel:
  Modélisation de lignes de produits en UML. 227-240
  Electronic Edition (link) BibTeX
• Alexis Muller, Olivier Caron, Bernard Carré, Gilles Vanwormhoudt:
  Réutilisation d'aspects fonctionnels : des vues aux composants. 241-255
  Electronic Edition (link) BibTeX

Volume 9, Number 3, 2003

• Jérôme Euzenat, Amedeo Napoli, Jean-François Baget:
  XML et les objets (objectif XML). 11-37
  Electronic Edition (link) BibTeX
• Abdalhmed Maran, Dominique Marcadet:
  De UML vers les schémas XML. 39-63
  Electronic Edition (link) BibTeX
• Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot:
  L'apport des technologies XML et objets pour un générateur d'environnements : SmartTools. 65-93
  Electronic Edition (link) BibTeX
• Alexandre Delteil, Catherine Faron-Zucker, Rose Dieng:
  Le modèle des graphes conceptuels pour le web sémantique Extensions de RDF et RDFS basées sur le modèle des graphes conceptuels. 95-122
  Electronic Edition (link) BibTeX

Volume 9, Number 4, 2003

• Robert B. France, Sudipto Ghosh, Daniel E. Turk:
  Supporting Effective Software Modeling. 11-29
  Electronic Edition (link) BibTeX
• Tony Clark, Andy Evans, Girish Maskeri Maskeri, Paul Sammut, James S. Willans:
  Modeling Language Transformations. 31-51
  Electronic Edition (link) BibTeX
• Kevin Lano, David Clark, Kelly Androutsopoulos:
  RSDS, a Subset of UML with Precise Semantics. 53-73
  Electronic Edition (link) BibTeX
• J. Royer:
  Temporal Logic Verifications for UML. 75-94
  Electronic Edition (link) BibTeX
• T. Baar:
  Metamodels without Metacircularities. 95-114
  Electronic Edition (link) BibTeX
• Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke:
  Theorem Proving Support for View Consistency Checking. 115-134
  Electronic Edition (link) BibTeX