Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - 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.
umbra < uml < una  Facettes :

List of bibliographic references indexed by uml

Number of relevant bibliographic references: 87.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000A70 (2014-06-30) Elizabeta Fourneret [France] ; Jérome Cantenot [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Julien Botella [France]SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models
000F38 (2013-11-13) Jérome Cantenot [France]Strategy for test generation from UML/OCL models with a first order logic and constraints system solvers for model interpretation
002015 (2011-11-07) Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Jacques Julliand [France] ; Safouan Taha [France]Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests
002119 (2011-09-16) Elizabeta Fourneret [France] ; Fabrice Bouquet [France]UML/OCL based impact analysis to test evolving critical software
002288 (2011-06-20) Jonathan Lasalle [France] ; Fabien Peureux [France] ; Frédéric Fondement [France]Development of an automated MBT toolchain from UML/SysML models
002445 (2011-02-25) Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Jacques Julliand [France]Scenario-based testing from UML/OCL behavioral models Application to POSIX compliance
002496 (2011) Jonathan Lasalle [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Fabien Peureux [France]SysML to UML model transformation for test generation purpose
003018 (2010) Kevin Lano ; Shekoufeh Kolahdouz-RahimiSpecification and Verification of Model Transformations Using UML-RSDS
003078 (2010) P. De Saqui-Sannes [France] ; T. Villemur [France] ; B. Fontan [France] ; S. Mota [Mexique] ; M. S. Bouassida [France] ; N. Chridi [France] ; I. Chrisment [France] ; L. Vigneron [France]Formal verification of secure group communication protocols modelled in UML
003783 (2009) Vincent Pretre [France] ; Adrien De Kermadec [France] ; Fabrice Bouquet [France] ; Christophe Lang [France] ; Frédéric Dadeau [France]Automated UML models merging for web services testing
003C22 (2009) Pierre De Saqui-Sannes [France] ; Thierry Villemur [France] ; Benjamin Fontan [France] ; Sara Del Socorro Mota Gonzalez [France] ; Mohamed Salah Bouassida [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Laurent Vigneron [France]UML Modeling and Formal Verification of Secure Group Communication Protocols
004372 (2008) Boulbaba Ben Ammar [France, Tunisie] ; Mohamed Tahar Bhiri [Tunisie, France] ; Jeanine Souquières [France]Incremental development of UML specifications using operation refinements
004407 (2008) Dirk Seifert [France]Conformance Testing Based on UML State Machines
004508 (2008) Dirk Seifert [France] ; Jeanine Souquières [France]Using UML Protocol State Machines in Conformance Testing of Components
004516 (2008) Dirk Seifert [France]Test Case Generation from UML State Machines
004591 (2008) Dirk Seifert [France]Conformance Testing based on UML State Machines: Automated Test Case Generation, Execution and Evaluation
004606 (2008) Dirk Seifert [France]An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data
004E17 (2007) Boulbaba Ben Ammar [France] ; Mohamed Tahar Bhiri [Tunisie] ; Jeanine Souquières [France]Towards an incremental development of UML specifications
004E65 (2007) Boulbaba Ben Ammar [France] ; Mohamed Tahar Bhiri [Tunisie] ; Jeanine Souquières [France]Incremental development of UML specifications using operation refinements
005165 (2006-04) Houda Fekih [France] ; Leila Jemni Ben Ayed [Tunisie] ; Stephan Merz [France]Transformation of B Specifications into UML Class Diagrams and State Machines
005360 (2006) Gerhard Kramler [Autriche] ; Elisabeth Kapsammer [Autriche] ; Werner Retschitzegger [Autriche] ; Gerti Kappel [Autriche]Towards Using UML 2 for Modelling Web Service Collaboration Protocols

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "uml" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "uml" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.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