Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Keywords » - entrée « formal specification »
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.
formal semantics < formal specification < formal specification construction  Facettes :

List of bibliographic references indexed by formal specification

Number of relevant bibliographic references: 41.
[0-20] [0 - 20][0 - 41][20-40]
Ident.Authors (with country if any)Title
001993 (2012-08-23) Dominique Méry [France] ; Neeraj Kumar Singh [France]Critical systems development methodology using formal techniques
001E34 (2012) Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France]Formal Specification and Validation of Security Policies
002327 (2011-06) Stephan Merz [France] ; Tianxiang Lu [Allemagne] ; Christoph Weidenbach [Allemagne]Towards Verification of the Pastry Protocol using TLA+
003005 (2010) Dominique Méry [France] ; Neeraj Kumar Singh [France]Trustable Formal Specification for Software Certification
004179 (2008) Vincent Hilaire [France] ; Pablo Gruer [France] ; Abder Koukam [France] ; Olivier Simonin [France]Formal driven prototyping approach for multiagent systems
006899 (2004) Anamaria Martins Moreira ; Christophe Ringeissen ; David Déharbe ; Gleydson LimaManipulating Algebraic Specifications with Term-based and Graph-based Representations
008427 (2002) Anamaria Martins Moreira ; Christophe Ringeissen ; David Déharbe ; Gleydson LimaManipulating Algebraic Specifications with Term-based and Graph-based Representations
008515 (2002) Nicole Levy ; Rafael Marcano-Kamenoff ; Jeanine SouquièresFrom Requirements to Formal Specification Using UML and B
008B12 (2002) Anamaria Martins Moreira ; Christophe Ringeissen [France] ; David Déharbe ; Gleydson LimaManipulating Algebraic Specifications with Term-based and Graph-based Representations
008B38 (2002) Nicole Lévy [France] ; Rafael Marcano Kamenoff [France] ; Jeanine Souquières [France]From Requirements to Formal Specification Using UML and B
009809 (2000-01) Rafael Marcano Kamenoff [France] ; Eric Meyer [France] ; Nicole Lévy [France] ; Jeanine Souquières [France]Utilisation de patterns dans la construction de specifications en UML et B
009B28 (2000) Rafael Marcano Kamenoff ; Eric Meyer ; Nicole Levy ; Jeanine SouquièresUtilisation de patterns dans la construction de specifications en UML et B
009C92 (2000) Rafael Marcano Kamenoff ; Nicole Levy ; Francisca LosavioSpécification et spécialisation de patterns en UML et B
00A643 (1999) Maritta Heisel ; Jeanine SouquièresA Method for Requirements Elicitation and Formal Specification
00A728 (1999) Leila Jemni ; Jacques Jaray ; Ahmed MahjoubSpecifying historical Consequence and Postponed Effect Properties in Real-Time Systems
00A817 (1999) Mohammed Ouzzif ; André SchaffIntroduction aux langages ESTELLE, LOTOS et SDL et essai d'application à la gestion de réseaux
00AE74 (1998) Dominique Cansell [France] ; Dominique Méry [France]Interprétation de spécifications temporelles à l'aide d'un outil de preuve
00AF89 (1998) Maritta Heisel ; Jeanine SouquièresMethodological Support for Requirements Elicitation and Formal Specification
00B191 (1998) Samira SadaouiConstruction et réutilisation de spécifications LOTOS
00B390 (1998) Hartmut Ehrig [Allemagne] ; Martin Gro E-Rhode [Allemagne] ; Uwe Wolter [Allemagne]Applications of Category Theory to the Area of Algebraic Specification in Computer Science
00B844 (1997) Thomas LambolaisModélisation du développement de spécifications LOTOS

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

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