1. Recherche
88 résultats  enregistrer la recherche
inria-00100063v1  Communication dans un congrès
Thomas Bangemann, Jean-Pierre Thomesse, Benoît Lepeuple, Christian Diedrich. PROTEUS providing a concept for integrating online data into global maintenance strategies
2nd IEEE International Conference on Industrial Informatics - INDIN'2004, 2004, Berlin, Germany, IEEE, 2004
inria-00100123v1  Chapitre d'ouvrage
Dominique Cansell, Stefan Hallerstede, Ian Oliver. UML-B specification and hardware implementation of a Hamming coder/decoder
Jean Mermet. UML-B - Specification for Proven Embedded Systems Design, Kluwer Academic Publishers, 2004
inria-00100225v1  Rapport
Ninh Thuan Truong, Jeanine Souquières. Consistency checking of UML static diagrams using B
[Intern report] A04-R-268 || truong04e, 2004, 14 p
inria-00100499v1  Communication dans un congrès
Domenico Cavaliere, Olivier Hembert. DAMeSI, Un outil pour la simulation et l'évaluation du système d'information de l'atelier de production PSA
2eme Conférence Annuelle d'Ingénierie Systéme, Jun 2001, Toulouse/France, 8 p, 2001
...
tel-00923497v1  Thèse
Kamal Boulil. Une approche automatisée basée sur des contraintes d'intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : Applications dans le domaine agri-environnemental
Autre [cs.OH]. Université Blaise Pascal - Clermont-Ferrand II, 2012. Français. <NNT : 2012CLF22285>
...
tel-00455992v2  Thèse
Ludovic Auxepaules. Analyse des diagrammes de l'apprenant dans un EIAH pour la modélisation orientée objet - Le système ACDC
Autre [cs.OH]. Université du Maine, 2009. Français
...
inria-00107772v1  Communication dans un congrès
Ninh Thuan Truong, Jeanine Souquières. Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B
Approches Formelles dans l'Assitance au Développement de Logiciels - AFADL'2004, 2004, Besançon, France, 15 p, 2004
...
inria-00107777v1  Communication dans un congrès
Houda Fekih, Leila Jemni, Stephan Merz. Transformation des spécifications B en des diagrammes UML
Jacques Julliand. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'2004, 2004, Besançon, France, Impression Burs, pp.131-145, 2004
...
inria-00107870v1  Communication dans un congrès
Hung Ledang, Jeanine Souquières. Integrating UML and B Specification Techniques
The Informatik 2001 Workshop on Integrating Diagrammatic and Formal Specification Techniques, Sep 2001, Vienna, Austria, 8 p, 2001
...
inria-00107872v1  Communication dans un congrès
Hung Ledang, Jeanine Souquières. Formalizing UML Behavioral Diagrams with B
Tenth OOPSLA Workshop on Behavioral Semantics: Back to Basics, Oct 2001, Tampa Bay, Florida, USA, 12 p, 2001
...
inria-00107871v1  Communication dans un congrès
Hung Ledang, Jeanine Souquières. Modeling class operations in B: application to UML behavioral diagrams
IEEE Computer Society. 16th IEEE International Conference on Automated Software Engineering - ASE'2001, Nov 2001, Loews Coronado Bay, San Diego, USA, 10 p, 2001
inria-00108082v1  Communication dans un congrès
Alexander Knapp, Stephan Merz, Martin Wirsing. Refining Mobile UML State Machines
Charles Rattray and Savitri Maharaj and Carron Shankland. 10th International Conference on Algebraic Methodology and Software Technology - AMAST'2004, 2004, Stirling, Scotland, UK, Springer-Verlag, 3116, pp.274--288, 2004, Lecture Notes in Computer Science
...
tel-00160740v1  HDR
Thierry Nodenot. Contribution à l'ingénierie dirigée par les modèles en EIAH : le cas des situations-problèmes coopératives
Autre [cs.OH]. Université de Pau et des Pays de l'Adour, 2005
...
inria-00107850v1  Communication dans un congrès
Radu State, Olivier Festor, Emmanuel Nataf. A toolkit for managing multi-protocol interconnections
2000 International Conference on Software, Telecommunications and Computer Networks, Oct 2000, none, 10 p, 2000
...
inria-00107771v1  Communication dans un congrès
Dieu Donné Okalas Ossami, Jeanine Souquières, Jean-Pierre Jacquot. Opérations de construction de spécification multi-vues UML et B
Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'2004, 2004, Besançon, France, 15 p, 2004
inria-00099605v1  Autre publication
Xavier Rebeuf, Philippe Hubert. Layout of a specification guide
A03-R-290 || rebeuf03b. 2003
inria-00099102v1  Communication dans un congrès
Rafael Marcano Kamenoff, Eric Meyer, Nicole Lévy, Jeanine Souquières. Utilisation de patterns dans la construction de specifications en UML et B
Approches Formelles dans l'Assistance au Developpement de Logiciels - AFADl'2000, Jan 2000, Grenoble, France, 15 p, 2000
inria-00099206v1  Communication dans un congrès
Rafael Marcano Kamenoff, Nicole Lévy, Francisca Losavio. Spécification et spécialisation de patterns en UML et B
Langages et Modèles à Objets - LMO'2000, 2000, Montreal, Canada, Editions Hermes, 16 p, 2000
...
tel-00931001v2  Thèse
Carlos Ernesto Gómez Cárdenas. Modeling functional and non-functional properties of systems based on a multi-view approach
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. <NNT : 2013NICE4153>
...
tel-00921209v1  Thèse
Fatma Krichen. Architectures logicielles à composants reconfigurables pour les systèmes temps réel répartis embarqués (TR²E)
Autre [cs.OH]. Université Toulouse le Mirail - Toulouse II, 2013. Français. <NNT : 2013TOU20073>
...
tel-01202790v1  Thèse
Jérôme Cantenot. Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes.
Autre [cs.OH]. Université de Franche-Comté, 2013. Français. <NNT : 2013BESA2042>
...
tel-00188500v1  Thèse
El-Hadi Khoumeri. Représentation des données spatiales à différents niveaux d'abstraction : application à l'archéoastronomie
Autre [cs.OH]. Université Pascal Paoli, 2007. Français
inria-00100727v1  Chapitre d'ouvrage
Jean-Pierre Thomesse. TIISSAD, Technologies de l'information intégrées aux services des soins à domicile
Régis Beuscart, Patrice Degoulet, Pierre Zweigenbaum, Alain Venot. Télémédecine et e-santé, Springer Verlag, pp.27-34, 2002, Informatique et santé, 2-287-59762-X
inria-00100907v1  Communication dans un congrès
Jean-Pierre Thomesse. TIISSAD, Technologies de l'information intégrées aux services des soins à domicile
Colloque Hôpital Pompidou, 2002, Hôpital Pompidou, Paris/France, 2002

Contact


archive-ouverte@inria.fr