Author: International Council on Archives
Publisher: De Gruyter Saur
ISBN:
Category : History
Languages : en
Pages : 200
Book Description
Projet de Normes Internationales de Description en Archivistique
Author: International Council on Archives
Publisher: De Gruyter Saur
ISBN:
Category : History
Languages : en
Pages : 200
Book Description
Publisher: De Gruyter Saur
ISBN:
Category : History
Languages : en
Pages : 200
Book Description
Proceedings
Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information
Author: BOULANGER Jean-Louis
Publisher: Lavoisier
ISBN: 2746288109
Category : B method (Computer science)
Languages : en
Pages : 434
Book Description
La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.
Publisher: Lavoisier
ISBN: 2746288109
Category : B method (Computer science)
Languages : en
Pages : 434
Book Description
La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.
Library automation and networking – New tools for a new identity / L'automatisation et les réseaux de bibliothèques – de nouveaux outils pour une identité nouvelle
Author: Herman Liebaers
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 311171134X
Category : Language Arts & Disciplines
Languages : en
Pages : 372
Book Description
Covers use of new technologies for libraries and the European Commission plan for libraries. Contains papers covering new technologies and data collecting for preservation, networking between publishers, distributors and libraries, data and access, co-operative library systems and more.
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 311171134X
Category : Language Arts & Disciplines
Languages : en
Pages : 372
Book Description
Covers use of new technologies for libraries and the European Commission plan for libraries. Contains papers covering new technologies and data collecting for preservation, networking between publishers, distributors and libraries, data and access, co-operative library systems and more.
Les normes clés du responsable de projet
Author: Association française de normalisation
Publisher:
ISBN: 9782122181119
Category : Production management
Languages : fr
Pages : 534
Book Description
Publisher:
ISBN: 9782122181119
Category : Production management
Languages : fr
Pages : 534
Book Description
Pamphlets on Industrial Management and the Taylor System
Author:
Publisher:
ISBN:
Category : Industrial management
Languages : en
Pages : 540
Book Description
Publisher:
ISBN:
Category : Industrial management
Languages : en
Pages : 540
Book Description
Treaties and Other International Acts Series
Author: United States
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 866
Book Description
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 866
Book Description
Standardization
Test Quality for Construction, Materials and Structures
Author: M. Fickelson
Publisher: CRC Press
ISBN: 1482267527
Category : Architecture
Languages : en
Pages : 349
Book Description
Testing of materials and manufactured items is a key element in the process from standard specifications though control and verification during manufacture to trade in actual products. Cooperative agreements and networks are being set up covering reference materials and calibration. This process is becoming more urgent with the development in the E
Publisher: CRC Press
ISBN: 1482267527
Category : Architecture
Languages : en
Pages : 349
Book Description
Testing of materials and manufactured items is a key element in the process from standard specifications though control and verification during manufacture to trade in actual products. Cooperative agreements and networks are being set up covering reference materials and calibration. This process is becoming more urgent with the development in the E
Working Papers
Author:
Publisher:
ISBN:
Category : Developing countries
Languages : en
Pages : 800
Book Description
Publisher:
ISBN:
Category : Developing countries
Languages : en
Pages : 800
Book Description