Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Keywords » - entrée « validation »
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.
valid inequalities < validation < validation and testing  Facettes :

List of bibliographic references indexed by validation

Number of relevant bibliographic references: 77.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000013 (2016-05-31) Imen Sayar [France] ; Jeanine Souquières [France]La Validation dans le Processus de Développement
001A69 (2012-06-24) Ehtesham Zahoor [France] ; Olivier Perrin [France] ; Claude Godart [France]Web services composition verification using satisfiability solving
004179 (2008) Vincent Hilaire [France] ; Pablo Gruer [France] ; Abder Koukam [France] ; Olivier Simonin [France]Formal driven prototyping approach for multiagent systems
005714 (2006) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Validation of UML scenarios using the B Prover
005777 (2006) Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France]Ensuring specification correctness by construction
005786 (2006) Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France]Developing Specifications by using Operators: a Process to guarantee correctness by construction
006910 (2004) Vincent Debruyne ; Françoise Simonot-Lion ; Yvon TrinquetEAST-ADL - An Architecture Description Language - Validation and Verification Aspects
006911 (2004) Vincent Debruyne ; Françoise Simonot-Lion ; Yvon TrinquetEAST-ADL - An Architecture Description Language - Validation and Verification Aspects
007026 (2004) Vincent Debruyne ; Françoise Simonot-Lion [France] ; Yvon TrinquetEAST-ADL - An Architecture Description Language - Validation and Verification Aspects
007027 (2004) Vincent Debruyne ; Françoise Simonot-Lion [France] ; Yvon TrinquetEAST-ADL - An Architecture Description Language - Validation and Verification Aspects
007305 (2003) Françoise Simonot-LionAIL_Transport, un langage pour la description d'architectures électroniques embarquées dans l'automobile
007392 (2003) Ninh Thuan Truong ; Jeanine SouquièresValidation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B
007705 (2003) Françoise Simonot-LionIn car embedded electronic architectures : how to ensure their safety
007763 (2003) Alice Halter ; Gerardo Satriano ; Françoise Simonot-Lion ; Jens Hermann ; Mikael NolinVerification and Validation techniques used by EAST partners
007846 (2003) Issam ChebbiAide à la preuve et à la validation en programmation par règles
007874 (2003) Dominique Cansell [France] ; Dominique MéryFoundations of the B method
007C00 (2003) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B
007D25 (2003) Alice Halter [France] ; Gerardo Satriano [France] ; Françoise Simonot-Lion [France] ; Jens Hermann [France] ; Mikael NolinVerification and Validation techniques used by EAST partners
007F23 (2002-11) Ye-Qiong Song [France]Real-time communications in distributed control systems
008115 (2002) Dominique Cansell [France] ; Dominique Méry [France]Développement de fonctions définies récursivement en B : Application du B événementiel
008197 (2002) Laurent Kaiser ; Françoise Simonot-LionD'un formalisme à l'autre : entre TIOSM et SDL

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/KwdEn.i -k "validation" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "validation" \
         | 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=    KwdEn.i
   |clé=    validation
}}
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