Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

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

List of bibliographic references indexed by specification

Number of relevant bibliographic references: 214.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000A20 (2014-07-24) Guillaume Petiot [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]How Test Generation Helps Software Specification and Deductive Verification in Frama-C
000A38 (2014-07-16) Ivan Enderlin [France]Automated Unit Test Generation with Praspel, a Specification Language for PHP
000C29 (2014-04) Chongyang Ma [États-Unis] ; Nicholas Vining [Canada] ; Sylvain Lefebvre [France] ; Alla Sheffer [Canada]Game Level Layout from Design Specification
001009 (2013-09-23) Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Quintero AlejandroSpecification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors
001482 (2013) Joël Ouaknine [Royaume-Uni]Specification and Verification of Linear Dynamical Systems: Advances and Challenges
001483 (2013) Christian Inzinger [Autriche] ; Benjamin Satzger [Autriche] ; Waldemar Hummer [Autriche] ; Schahram Dustdar [Autriche]Specification and Deployment of Distributed Monitoring and Adaptation Infrastructures
001A62 (2012-06-25) Alain Giorgetti [France] ; Valerio Senni [Italie]Specification and Validation of Algorithms Generating Planar Lehman Words
001C40 (2012-02) Vincent Nivoliers [France] ; Cédric Gérot [France] ; Victor Ostromoukhov [France] ; Neil Stewart [Canada]L-system specification of knot-insertion rules for non-uniform B-spline subdivision
001E34 (2012) Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France]Formal Specification and Validation of Security Policies
002014 (2011-11-07) Ivan Enderlin [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France] ; Abdallah Ben Othman [France]Praspel: A Specification Language for Contract-Based Testing in PHP
002231 (2011-07-12) Atif Mashkoor [France]Formal Domain Engineering: From Specification to Validation
002234 (2011-07-11) Sophie Alexandre [France] ; Jonathan Ponroy [France] ; Olivier Zendra [France]Specification for the Open-PEOPLE software platform (user side)
002408 (2011-03-25) Atif Mashkoor [France] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Validation of Formal Specification: the Case for Animation
002837 (2011) Tony Bourdier [France]Specification, analysis and transformation of security policies via rewriting techniques
002948 (2010-11-27) Inès Mouakher Abdelmoula [France]Verification and Correction of B Specification in a CBSE approach
002C33 (2010-06-18) Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France]Rule-based Specification and Analysis of Security Policies
002C75 (2010-06-01) Frédéric Beck [France] ; Isabelle Chrisment [France] ; Olivier Festor [France]Automatic IPv4 to IPv6 Transition D2.2 - Transition Engine Specification and Implementation
002D93 (2010-03-18) Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France]On Formal Specification and Analysis of Security Policies
003005 (2010) Dominique Méry [France] ; Neeraj Kumar Singh [France]Trustable Formal Specification for Software Certification
003018 (2010) Kevin Lano ; Shekoufeh Kolahdouz-RahimiSpecification and Verification of Model Transformations Using UML-RSDS
003036 (2010) Dominique Méry [France] ; Neeraj Kumar Singh [France]Real-Time Animation for Formal Specification

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/Title.i -k "specification" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.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=    Title.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