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 « 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 < specification < specifications  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 33.
[0-20] [0 - 20][0 - 33][20-32][20-40]
Ident.Authors (with country if any)Title
000132 (2011) Wafi Dahman [Allemagne] ; Jens Grabowski [Allemagne]UML-Based Specification and Generation of Executable Web Services
000262 (2011) P. Basanta-Val [Espagne] ; M. García-Valls [Espagne] ; I. Estévez-Ayres [Espagne]Extending the concurrency model of the real‐time specification for Java
000268 (2011) Marten Sijtema [Pays-Bas] ; Mariëlle I. A. Stoelinga [Pays-Bas] ; Axel Belinfante [Pays-Bas] ; Lawrence Marinelli [États-Unis]Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost.
000526 (2010) Birgit Bomsdorf [Allemagne]RTM E : Extension of Role-Task Modeling for the Purpose of Access Control Specification
000908 (2009) Jianfeng Lu [République populaire de Chine] ; Ruixuan Li [République populaire de Chine] ; Zhengding Lu [République populaire de Chine] ; Jinwei Hu [République populaire de Chine] ; Xiaopu Ma [République populaire de Chine]Specification and Enforcement of Static Separation-of-Duty Policies in Usage Control
000B76 (2009) Pedro J. Mu Oz-Merino [Espagne] ; Carlos Delgado Kloos [Espagne]A software player for providing hints in problem‐based learning according to a new specification
000F03 (2008) Thomas Memmel [Allemagne] ; Carsten Bock [Allemagne] ; Harald Reiterer [Allemagne]Model-Driven Prototyping for Corporate Software Specification
001005 (2008) Fulvio Mastrogiovanni [Italie] ; Antonello Scalmato [Italie] ; Antonio Sgorbissa [Italie] ; Renato Zaccaria [Italie]An Integrated Approach to Context Specification and Recognition in Smart Homes
001168 (2007) Marion Wiethoff [Pays-Bas] ; Sascha M. Sommer [Allemagne] ; Sari Valjakka [Finlande] ; Karel Van Isacker [Grèce] ; Dionisis Kehagias [Grèce] ; Evangelos Bekiaris [Grèce]Specification of Information Needs for the Development of a Mobile Communication Platform to Support Mobility of People with Functional Limitations
001172 (2007) Patrícia Dockhorn Costa [Pays-Bas] ; João Paulo A. Almeida [Pays-Bas, Brésil] ; Luís Ferreira Pires [Pays-Bas] ; Marten Van Sinderen [Pays-Bas]Situation Specification and Realization in Rule-Based Context-Aware Applications
001270 (2007) Matthias Book [Allemagne] ; Volker Gruhn [Allemagne] ; Jan Richter [Allemagne, Antigua-et-Barbuda]Fine-Grained Specification and Control of Data Flows in Web-Based User Interfaces
001418 (2006) Sascha M. Sommer [Allemagne] ; Marion Wiethoff [Pays-Bas] ; Sari Valjakka [Finlande] ; Dionisis Kehagias [Grèce] ; Dimitrios Tzovaras [Grèce]Development of a Mobile Tourist Information System for People with Functional Limitations: User Behaviour Concept and Specification of Content Requirements
001503 (2006) Peter Herrmann [Norvège]Temporal Logic-Based Specification and Verification of Trust Models
001600 (2006) Martín L Pez-Nores [Espagne] ; Jorge García-Duque [Espagne] ; José J. Pazos-Arias [Espagne]Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements
001790 (2005) Victor V. Kuliamin [Russie] ; Nickolay V. Pakoulin [Russie] ; Alexander K. Petrenko [Russie]Practical Approach to Specification and Conformance Testing of Distributed Network Applications
001864 (2005) Richard Torbj Rn Sanders [Norvège] ; Humberto Nicolás Castej N [Norvège] ; Frank Alexander Kraemer [Norvège] ; Rolv Br K [Norvège]Using UML 2.0 Collaborations for Compositional Service Specification
001A47 (2005) Ji-Hyun Lee [Corée du Sud] ; Hye-Min Noh [Corée du Sud] ; Cheol-Jung Yoo [Corée du Sud] ; Ok-Bae Chang [Corée du Sud]Component Contract-Based Formal Specification Technique
001A89 (2005) Shanshan Jiang [Norvège] ; Cyril Carrez [Norvège] ; Finn Arve Aagesen [Norvège]Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification
001C79 (2004) Rebeca P. Díaz Redondo [Espagne] ; Martín L Pez Nores [Espagne] ; José J. Pazos Arias [Espagne] ; Ana Fernández Vilas [Espagne] ; Jorge García Duque [Espagne] ; Alberto Gil Solla [Espagne] ; Belén Barragáns Martínez [Espagne] ; Manuel Ramos Cabrer [Espagne]Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage
001F79 (2004) M. Tian ; A. Gramm ; H. Ritter ; J. Schiller ; R. WinterA Survey of current Approaches towards Specification and Management of Quality of Service for Web Services
001F81 (2004) Franco Arcieri [Italie] ; Fabio Fioravanti [Italie] ; Enrico Nardelli [Italie] ; Maurizio Talamo [Italie]A Specification for Security Services on Computational Grids

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "specification" \
         | 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é=    specification
}}
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