Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Crin)

Index « Keywords » - entrée « uml »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
uma < uml < uml network information model nrim tina-c  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 43.
[0-20] [0 - 20][0 - 43][20-40]
Ident.Authors (with country if any)Title
002534 (1999) Odile Thiéry ; Patrick MichelUne expérience object dans le monde de la gestion électronique de documents multimédia
002535 (1999) Odile Thiéry ; Patrick MichelApplication des technologies objets à la gestion de la documentation d'une entreprise
002781 (1999) Eric MeyerObject-oriented applications development : using UML and B
002908 (2000) Rafael Marcano Kamenoff ; Eric Meyer ; Nicole Levy ; Jeanine SouquièresUtilisation de patterns dans la construction de specifications en UML et B
002912 (2000) Radu State ; Emmanuel Nataf ; Olivier FestorA Java based Implementation of a Network Level Information Model for the ATM / Frame Relay Interconnection
002913 (2000) Rafael Marcano Kamenoff ; Nicole Levy ; Francisca LosavioSpécification et spécialisation de patterns en UML et B
002A16 (2000) Eric Meyer ; Jeanine SouquièresLe paradigme objet pour l'aide au développement de spécifications formelles B
002A18 (2000) Eric Meyer ; Thomas SantenBehavioral conformance verification in an integrated approach using UML and B
002B55 (2000) Domenico Cavaliere ; Françoise Simonot-Lion ; Ye-Quiong SongEtude de Modélisation UML d'un système d'information manufacturier
002B73 (2000) Domenico Cavaliere ; Ye-Quiong Song ; Françoise Simonot-Lion ; Olivier HembertUn support méthodologique pour la configuration de composants génériques
002E16 (2001) Hung Ledang ; Jeanine SouquièresIntegrating UML and B Specification Techniques
002E17 (2001) Hung Ledang ; Jeanine SouquièresModeling class operations in B : application to UML behavioral diagrams
002E18 (2001) Hung Ledang ; Jeanine SouquièresFormalizing UML Behavioral Diagrams with B
002E44 (2001) Hung Ledang ; Jeanine SouquièresNew Approach for Modeling State-Chart Diagrams in B
002F85 (2001) Hung LedangAutomatic Translation from UML Specifications to B
003028 (2001) Jean Pierre Elloy ; Jorn Migge ; B. Rouchouse ; Françoise Simonot-Lion ; Y. TrinquetAIL V2 - User Manual
003031 (2001) Françoise Simonot-Lion ; M. Attia ; A. Bouali ; J. L. Boucheron ; O. Cayrol ; S. Boutin ; Deltort ; F. Gasnier ; T. Gautier ; P. Lemaire ; J. Migge ; P. Palmieri ; B. Rouchouse ; Y. TrinquetAIL V2 - Reference Manual
003057 (2001) Raphael Cavaliere ; Françoise Simonot-Lion ; Ye-Qiong Song ; O. HembertA component based approach for modeling and validation of an automated manufacturing system
003080 (2001) Jean Pierre ThomesseTIISSAD, Technologies de l'information intégrées aux services des soins à domicile
003189 (2002) Jean Pierre ThomesseTIISSAD, Technologies de l'information intégrées aux services des soins à domicile
003202 (2002) Hung Ledang ; Jeanine SouquièresContributions for Modelling UML State-Charts in B

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i -k "uml" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i  \
                -Sk "uml" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Curation
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    uml
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022