specification < specifications < specifying

Facettes : Author.f AffOrg.f AffPays.f AffRegion.f AffVille.f Teeft.f

List of bibliographic references

Number of relevant bibliographic references: 40.
[0-20] [0 - 20][0 - 40][20-40]

Ident.	Authors (with country if any)	Title
000876 (2010)	Johannes Faber [Allemagne] ; Carsten Ihlemann [Allemagne] ; Swen Jacobs [Suisse] ; Viorica Sofronie-Stokkermans [Allemagne]	Automatic Verification of Parametric Specifications with Complex Topologies
000E00 (2008)	Boulbaba Ben Ammar [France, Tunisie] ; Mohamed Tahar Bhiri [Tunisie, France] ; Jeanine Souquières [France]	Incremental development of UML specifications using operation refinements
000F44 (2007)	Andrzej Tarlecki [Pologne]	Toward Specifications for Reconfigurable Component Systems
001340 (2006)	David H. Akehurst [Royaume-Uni]	Experiment in Model Driven Validation of BPEL Specifications
001591 (2005)	Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]	Consistency in UML and B Multi-view Specifications
001748 (2004)	José Meseguer [États-Unis] ; Grigore Ro U [États-Unis]	Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
001C36 (2002)	Dusko Pavlovic [États-Unis] ; Douglas R. Smith [États-Unis]	Guarded Transitions in Evolving Specifications
001C37 (2002)	Christian Haack [États-Unis] ; Brian Howard [États-Unis] ; Allen Stoughton [États-Unis] ; Joe B. Wells [États-Unis]	Fully Automatic Adaptation of Software Components Based on Semantic Specifications*
001C38 (2002)	David Aspinall [États-Unis] ; Donald Sannella [États-Unis]	From Specifications to Code in Casl
001C41 (2002)	Kerry Trentelman [Australie] ; Marieke Huisman [France]	Extending JML Specifications with Temporal Logic
001F31 (2001)	He Le Ne Kirchner ; Peter D. Mosses	Algebraic Specifications, Higher‐order Types and Set‐theoretic Models
002189 (2000)	Marie-Claude Gaudel [France] ; Alexandre Zamulin	Algebraic Imperative Specifications
002427 (1999)	Yassine Mokhtari [France] ; Stephan Merz [Allemagne]	Animating TLA Specifications
002435 (1999)	Dominique Cansell [France] ; Dominique Méry [France]	Abstract Animator for Temporal Specifications: Application to TLA
002578 (1998)	Bernhard Gramlich [France]	Modular aspects of rewrite-based specifications
002630 (1998)	Hélène Kirchner [France] ; Peter D. Mosses [États-Unis, Danemark]	Algebraic Specifications, Higher-Order Types and Set-Theoretic Models
002813 (1997)	Jean-François Dufourd [France]	Algebras and formal specifications in geometric modelling
002982 (1996)	Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark]	Combining algebraic and set-theoretic specifications
002E10 (1993)	Peter D. Mosses [Danemark]	The use of sorts in algebraic specifications
002E53 (1993)	Dominique Méry [France] ; Abdelillah Mokkedem [France]	Crocos: An integrated environment for interactive verification of SDL specifications
002E55 (1993)	Marisa Navarro [Espagne] ; Fernando Orejas [Espagne] ; Jean-Luc Remy [France]	Contextual rewriting as a sound and complete proof method for conditional LOG-specifications

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "specifications" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "specifications" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    specifications
}}

---

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