specificaiton < specification < specification and validation

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by specification

Number of relevant bibliographic references: 111.
[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
002F92 (2010)	Olfa Mosbahi [France, Tunisie] ; Jacques Jaray [France]	B événementiel et les propriétés de vivacité
003E72 (2008-09)	Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France]	Using CSP||B Components: Application to a Platoon of Vehicles
005589 (2006)	Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France]	Specification and refinement of mobile systems in MTLA and mobile UML
005604 (2006)	Dominique Cansell [France] ; Dominique Méry [France]	Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm
005E22 (2005)	Alexander Knapp ; Stephan Merz ; Martin Wirsing ; Julia Zappe	Specification and Refinement of Mobile Systems in MTLA and Mobile UML
005E50 (2005)	Dieu Donné Okalas Ossami ; Jean-Pierre Jacquot ; Jeanine Souquières	Development of objectoriented and formal multi-view specifications
006533 (2005)	Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]	Development of objectoriented and formal multi-view specifications
006645 (2004-06)	Yannick Chevalier [France] ; Laurent Vigneron [France]	Rule-based Programs describing Internet Security Protocols
006701 (2004)	Stephan Merz	TLA+ Case Study : A Resource Allocator
006784 (2004)	Yannick Chevalier ; Laurent Vigneron	Rule-based Programs describing Internet Security Protocols
006888 (2004)	Maritta Heisel ; Jeanine Souquières	Specifying Components for Checking Interoperability
006974 (2004)	Alexander Knapp ; Stephan Merz ; Martin Wirsing	Refining Mobile UML State Machines
006E59 (2004)	Dominique Cansell [France] ; Dominique Méry [France]	Tutorial on the event-based B method : Concepts and Case Studies
007597 (2003)	Stephan Merz ; Martin Wirsing ; Julia Zappe	A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
007814 (2003)	Xavier Rebeuf ; Philippe Hubert	Layout of a specification guide
007842 (2003)	Stephan Merz	On the Logic of TLA+
007D98 (2003)	Xavier Rebeuf [France] ; Philippe Hubert [France]	Layout of a specification guide
008411 (2002)	Olfa Mosbahi ; Leila Jemni ; Samir Ben Ahmed ; Jacques Jaray	A Specification and Validation Technique Based on STATEMATE and FNLOG
008456 (2002)	Maritta Heisel ; Thomas Santen ; Jeanine Souquières	On the Specification of Components - the JavaBeans Example
008584 (2002)	Maritta Heisel ; Thomas Santen ; Jeanine Souquières	Toward a Formal Model of Software Components

---

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 "specification" 

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

---

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