Titre (en)
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la télématique - Checkpoint (Istex)

Index « Titre (en) » - entrée « specifications »
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.
specification < specifications < specifics  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 13.
Ident.Authors (with country if any)Title
000220 (2011) Jan Jürjens [Allemagne] ; Martín Ochoa [Allemagne] ; Holger Schmidt [Allemagne] ; Loïc Marchal [Belgique] ; Siv Hilde Houmb [Norvège] ; Shareeful Islam [Royaume-Uni]Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications
000335 (2011) Ingrid Nunes [Brésil] ; Elder Cirilo [Brésil] ; Carlos J. P. De Lucena [Brésil] ; Jan Sudeikat [Allemagne] ; Christian Hahn [Allemagne] ; Jorge J. Gomez-Sanz [Espagne]A Survey on the Implementation of Agent Oriented Specifications
001161 (2007) Frank Alexander Kraemer [Norvège] ; Rolv Br K [Norvège] ; Peter Herrmann [Norvège]Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications
001425 (2006) Mike Barnett [États-Unis] ; David A. Naumann [États-Unis] ; Wolfram Schulte [États-Unis] ; Qi Sun [États-Unis]Allowing State Changes in Specifications
001473 (2006) Kenneth J. Turner [Royaume-Uni]Validating feature‐based specifications
001740 (2006) Jorge Garci A-Duque ; Marti N Lo Pez-Nores ; Jose J. Pazos-Arias ; Ana Ferna Ndez-Vilas ; Rebeca P. Di Az-Redondo ; Alberto Gil-Solla ; Yolanda Blanco-Ferna Ndez ; Manuel Ramos-CabrerA Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications
001877 (2005) Martín L Pez-Nores [Espagne] ; José J. Pazos-Arias [Espagne] ; Jorge García-Duque [Espagne] ; Belén Barragáns-Martínez [Espagne] ; Rebeca P. Díaz-Redondo [Espagne] ; Ana Fernández-Vilas [Espagne] ; Alberto Gil-Solla [Espagne] ; Manuel Ramos-Cabrer [Espagne]Tracing Integration Analysis in Component-Based Formal Specifications
002313 (2003) Gábor Kovács [Hongrie] ; Zoltán Pap [Hongrie] ; Dung Le Viet [Hongrie] ; Antal Wu-Hen-Chang [Hongrie] ; Gyula Csopaki [Hongrie]Applying Mutation Analysis to SDL Specifications
002975 (2001) Jytte Brender [Danemark] ; Peter Mcnair [Danemark]User requirements specifications: a hierarchical structure covering strategical, tactical and operational requirements
002979 (2001) John Wilkes [États-Unis]Traveling to Rome: QoS Specifications for Automated Storage System Management
003F88 (1996) Brigitte Biébow [France] ; Thierry Charnois [France] ; Sylvie Szulman [France]ISDN supplementary services specifications: From informality to knowledge representation
004878 (1993) A. K. Ghose [Inde]VSAT networks in India—specifications and applications
004B05 (1992) Antonio M. Lopez Jr. ; Marguerite E. SaacksLogic programming and metadata specifications

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/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=    Ticri/CIDE
   |area=    TelematiV1
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    specifications
}}
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Thu Nov 2 16:09:04 2017. Site generation: Sun Mar 10 16:42:28 2024