Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Keywords » - entrée « 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.
Specific instruments < Specification < Specification Logic  Facettes :

List of bibliographic references indexed by Specification

Number of relevant bibliographic references: 20.
Ident.Authors (with country if any)Title
002808 (2011) MOHAMED GHAITH KAABI [France] ; Arnaud Tonnelier [France] ; Dominique Martinez [France]On the Performance of Voltage Stepping for the Simulation of Adaptive, Nonlinear Integrate-and-Fire Neuronal Networks
004132 (2008-01) Samuel Colin [France] ; Arnaud Lanoix [France]An Experience with a Formal Modelling of a Multi-Agent System: the Platooning Problem
004519 (2008) Fred Kröger [Allemagne] ; Stephan Merz [France]Temporal Logic and State Systems
005604 (2006) Dominique Cansell [France] ; Dominique Méry [France]Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm
007B13 (2003) Radu State [France] ; Emmanuel Nataf [France] ; Olivier Festor [France]A SMIng Based Policy Access Control for SNMPv3
007F32 (2002-10-21) Olfa Mosbahi [Tunisie] ; Leila Jemni Ben Ayed [Tunisie] ; Samir Ben Ahmed [Tunisie] ; Jacques Jaray [France]A Specification and Validation Technique Based on STATEMATE and FNLOG
008889 (2002) Abdessamad Imine [Tunisie] ; Yahya Slimani [Tunisie] ; Sorin Stratulat [France]Using automated induction-based theorem provers for reasoning about concurrent systems
009E84 (2000) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Higher Order Unification via Explicit Substitutions
009F98 (2000) R. Mcdowell [États-Unis] ; D. Miller [États-Unis]Cut-elimination for a logic with definitions and induction
00AE09 (1998) Jean-Paul Gibson ; Dominique Méry [France]Fair Objects
00B221 (1998) Jean-Paul Gibson ; Dominique Méry [France]Always and Eventually in Object Requirements
00B765 (1997) Dominique Méry [France]Logiques temporelles
00B888 (1997) Olivier Festor ; Emmanuel NatafFormalizing TMN Information Models for Improving Management Applications
00B939 (1997) Samir Tata ; Laurent Andrey ; Olivier FestorA practical experience on validating GDMO-based Information Models with SDL'88 and '92
00BA58 (1997) Jean-Paul Gibson ; Bruno Mermet ; Dominique Méry [France]Feature Interactions : a Mixed Semantic Model Approach
00BA59 (1997) Emmanuel Nataf ; Olivier Festor ; Laurent AndreyRelMan : A GRM-based Relationship Manager
00C081 (1996) Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark]Combining algebraic and set-theoretic specifications
00D083 (1993) N. Brown ; D. MéryFormal Development of C-Linda Programs
00D106 (1993) L. AndreyProtocoles de communication et grammaires attribuées
00D242 (1993) P.-Y. Schobbens [France]Exceptions for algebraic specifications: on the meaning of but'

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
}}
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