Author: Association Française pour la Cybernétique Economique et Technique
Publisher:
ISBN:
Category :
Languages : es
Pages :
Book Description
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:
Publisher:
ISBN:
Category : Computer programming
Languages : fr
Pages : 420
Book Description
Publisher:
ISBN:
Category : Computer programming
Languages : fr
Pages : 420
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
Author:
Publisher:
ISBN: 9782746229150
Category :
Languages : fr
Pages : 144
Book Description
Publisher:
ISBN: 9782746229150
Category :
Languages : fr
Pages : 144
Book Description
UML for Real
Author: Luciano Lavagno
Publisher: Springer Science & Business Media
ISBN: 0306487381
Category : Computers
Languages : en
Pages : 376
Book Description
The complexity of most real-time and embedded systems often exceeds that of other types of systems since, in addition to the usual spectrum of problems inherent in software, they need to deal with the complexities of the physical world. That world—as the proverbial Mr. Murphy tells us—is an unpredictable and often unfriendly place. Consequently, there is a very strong motivation to investigate and apply advanced design methods and technologies that could simplify and improve the reliability of real-time software design and implementation. As a result, from the first versions of UML issued in the mid 1990’s, designers of embedded and real-time systems have taken to UML with vigour and enthusiasm. However, the dream of a complete, model-driven design flow from specification through automated, optimised code generation, has been difficult to realise without some key improvements in UML semantics and syntax, specifically targeted to the real-time systems problem. With the enhancements in UML that have been proposed and are near standardisation with UML 2. 0, many of these improvements have been made. In the Spring of 2003, adoption of a formalised UML 2. 0 specification by the members of the Object Management Group (OMG) seems very close. It is therefore very appropriate to review the status of UML as a set of notations for embedded real-time systems - both the state of the art and best practices achieved up to this time with UML of previous generations - and where the changes embodied in the 2.
Publisher: Springer Science & Business Media
ISBN: 0306487381
Category : Computers
Languages : en
Pages : 376
Book Description
The complexity of most real-time and embedded systems often exceeds that of other types of systems since, in addition to the usual spectrum of problems inherent in software, they need to deal with the complexities of the physical world. That world—as the proverbial Mr. Murphy tells us—is an unpredictable and often unfriendly place. Consequently, there is a very strong motivation to investigate and apply advanced design methods and technologies that could simplify and improve the reliability of real-time software design and implementation. As a result, from the first versions of UML issued in the mid 1990’s, designers of embedded and real-time systems have taken to UML with vigour and enthusiasm. However, the dream of a complete, model-driven design flow from specification through automated, optimised code generation, has been difficult to realise without some key improvements in UML semantics and syntax, specifically targeted to the real-time systems problem. With the enhancements in UML that have been proposed and are near standardisation with UML 2. 0, many of these improvements have been made. In the Spring of 2003, adoption of a formalised UML 2. 0 specification by the members of the Object Management Group (OMG) seems very close. It is therefore very appropriate to review the status of UML as a set of notations for embedded real-time systems - both the state of the art and best practices achieved up to this time with UML of previous generations - and where the changes embodied in the 2.
Foundations of Algorithms
Author: Richard E. Neapolitan
Publisher: Jones & Bartlett Learning
ISBN: 0763782505
Category : Computers
Languages : en
Pages : 647
Book Description
Data Structures & Theory of Computation
Publisher: Jones & Bartlett Learning
ISBN: 0763782505
Category : Computers
Languages : en
Pages : 647
Book Description
Data Structures & Theory of Computation
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.
Formal Methods for Components and Objects
Author: Frank S. de Boer
Publisher: Springer Science & Business Media
ISBN: 3540291318
Category : Computers
Languages : en
Pages : 332
Book Description
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems.
Publisher: Springer Science & Business Media
ISBN: 3540291318
Category : Computers
Languages : en
Pages : 332
Book Description
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems.
Advanced Information Processing in Automatic Control (AIPAC'89)
Author: R. Husson
Publisher: Elsevier
ISBN: 1483294269
Category : Technology & Engineering
Languages : en
Pages : 573
Book Description
Information Processing is a key area of research and development and the symposium presented state-of-the-art reports on some of the areas which are of relevance in automatic control: fault diagnosis and system reliability. Papers also covered the role of expert systems and other knowledge based systems, which are needed, to cope with the vast quantities of data generated by large scale systems. This volume should be considered essential reading for anyone involved in this rapidly developing area.
Publisher: Elsevier
ISBN: 1483294269
Category : Technology & Engineering
Languages : en
Pages : 573
Book Description
Information Processing is a key area of research and development and the symposium presented state-of-the-art reports on some of the areas which are of relevance in automatic control: fault diagnosis and system reliability. Papers also covered the role of expert systems and other knowledge based systems, which are needed, to cope with the vast quantities of data generated by large scale systems. This volume should be considered essential reading for anyone involved in this rapidly developing area.
The Ongoing Technological System
Author: Smaïl Aït-El-Hadjait
Publisher: John Wiley & Sons
ISBN: 1119467055
Category : Technology & Engineering
Languages : en
Pages : 136
Book Description
The high level of innovation currently transforming our society and its technological dynamics can be seen as a second wave of innovation of the third technological system, which emerged in the late 1970s. This book discusses the concept of technological systems, focusing on the tools used for formalizing the organization of technology in society and its dynamics of evolution. The author uses these tools to characterize the contemporary technological system and to model its specific dynamics. In doing so, he raises questions about the continuity of the current technological system, and its capacity to generate powerful innovatory movements.
Publisher: John Wiley & Sons
ISBN: 1119467055
Category : Technology & Engineering
Languages : en
Pages : 136
Book Description
The high level of innovation currently transforming our society and its technological dynamics can be seen as a second wave of innovation of the third technological system, which emerged in the late 1970s. This book discusses the concept of technological systems, focusing on the tools used for formalizing the organization of technology in society and its dynamics of evolution. The author uses these tools to characterize the contemporary technological system and to model its specific dynamics. In doing so, he raises questions about the continuity of the current technological system, and its capacity to generate powerful innovatory movements.