Author:
Publisher:
ISBN:
Category : Computer programming
Languages : fr
Pages : 506
Book Description
Technique Et Science Informatiques
Author:
Publisher:
ISBN:
Category : Computer programming
Languages : fr
Pages : 506
Book Description
Publisher:
ISBN:
Category : Computer programming
Languages : fr
Pages : 506
Book Description
Technique et science informatiques
Tsi - technique et science informatiques
Author: Association Française pour la Cybernétique Economique et Technique
Publisher:
ISBN:
Category :
Languages : es
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : es
Pages :
Book Description
TECHNIQUE ET SCIENCE INFORMATIQUES.
Author: Xavier Briffault
Publisher:
ISBN: 9782746204584
Category :
Languages : fr
Pages : 144
Book Description
Publisher:
ISBN: 9782746204584
Category :
Languages : fr
Pages : 144
Book Description
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.
TECHNIQUE ET SCIENCE INFORMATIQUE
Author: Hervé Guyennet
Publisher:
ISBN: 9782746202801
Category :
Languages : fr
Pages : 106
Book Description
Publisher:
ISBN: 9782746202801
Category :
Languages : fr
Pages : 106
Book Description
Technique et science informatiques numéro 6, volume 19, juin 2000
Author: Jean-Louis Pazat
Publisher:
ISBN: 9782746201644
Category :
Languages : fr
Pages : 176
Book Description
Publisher:
ISBN: 9782746201644
Category :
Languages : fr
Pages : 176
Book Description
Methods of Programming
Author: Manfred Broy
Publisher: Springer Science & Business Media
ISBN: 9783540545767
Category : Computers
Languages : en
Pages : 292
Book Description
The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group of researchers led by Prof. F.L. Bauer and Prof. K. Samelson started work in 1975 in the direction of formal program specification, transformational programming, and tool supportfor program development. The collection of papers in this volume presents examples of a formal approach to programming language concepts and program development based on algebraic specifications and program transformations. Examples are also presented of evolutions and modificationsof the original ideas of the CIP project. The topics range from descriptionsof the program development process to derivations of algorithms from specifications. The volume is dedicated to Prof. F.L. Bauer.
Publisher: Springer Science & Business Media
ISBN: 9783540545767
Category : Computers
Languages : en
Pages : 292
Book Description
The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group of researchers led by Prof. F.L. Bauer and Prof. K. Samelson started work in 1975 in the direction of formal program specification, transformational programming, and tool supportfor program development. The collection of papers in this volume presents examples of a formal approach to programming language concepts and program development based on algebraic specifications and program transformations. Examples are also presented of evolutions and modificationsof the original ideas of the CIP project. The topics range from descriptionsof the program development process to derivations of algorithms from specifications. The volume is dedicated to Prof. F.L. Bauer.
Technique et science informatiques Volume 20 N° 1 / 2001 : Architecture des
Author: Dominique Lavenier
Publisher:
ISBN: 9782746202269
Category :
Languages : fr
Pages : 134
Book Description
Publisher:
ISBN: 9782746202269
Category :
Languages : fr
Pages : 134
Book Description
Information-Based Manufacturing
Author: Michael J. Shaw
Publisher: Springer Science & Business Media
ISBN: 1461515998
Category : Business & Economics
Languages : en
Pages : 335
Book Description
Because of their mutually influencing interactions, information systems and modern manufacturing systems are intertwined. They have been so integrated that information systems have become an embedded and critical component of any effective manufacturing system. The impact of the increasing focus on information permeates throughout the manufacturing life cycle, from product conceptualization, design, process planning, all the way to production, order fulfilment, and customer services. For these reasons, it is critical that we study information-based manufacturing in its entirety, crossing the traditional functional boundaries and building as much synergy between Information Systems (IS), Information Technology (IT), and manufacturing as possible. This is the motivation for this book and, to this end, the purpose of this book is threefold: to establish an up-to-date interdisciplinary research framework for information-based manufacturing that builds on the research foundation from IS and IT and manufacturing research; to develop a forward-looking research agenda for information-based manufacturing for identifying future directions for research and applications; and to foster a joint academic and industrial research agenda in information systems and manufacturing by identifying the greatest synergy possible between academic research and industrial practices.
Publisher: Springer Science & Business Media
ISBN: 1461515998
Category : Business & Economics
Languages : en
Pages : 335
Book Description
Because of their mutually influencing interactions, information systems and modern manufacturing systems are intertwined. They have been so integrated that information systems have become an embedded and critical component of any effective manufacturing system. The impact of the increasing focus on information permeates throughout the manufacturing life cycle, from product conceptualization, design, process planning, all the way to production, order fulfilment, and customer services. For these reasons, it is critical that we study information-based manufacturing in its entirety, crossing the traditional functional boundaries and building as much synergy between Information Systems (IS), Information Technology (IT), and manufacturing as possible. This is the motivation for this book and, to this end, the purpose of this book is threefold: to establish an up-to-date interdisciplinary research framework for information-based manufacturing that builds on the research foundation from IS and IT and manufacturing research; to develop a forward-looking research agenda for information-based manufacturing for identifying future directions for research and applications; and to foster a joint academic and industrial research agenda in information systems and manufacturing by identifying the greatest synergy possible between academic research and industrial practices.