FME `96: Industrial Benefit and Advances in Formal Methods, Marie-Claude Gaudel; James Woodcock

Автор: James C.P. Woodcock; Peter G. Larsen
Название: FME `93: Industrial-Strength Formal Methods
ISBN: 3540566627 ISBN-13(EAN): 9783540566625
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The symposium upon which this text is based focuses on the application of industrial-strength formal methods. The papers address the difficulties of scaling techniques up to industrial-sized problems, and their suitability in the workplace.

Автор: Jean-Raymond Abrial; Egon B?rger; Hans Langmaack
Название: Formal Methods for Industrial Applications
ISBN: 3540619291 ISBN-13(EAN): 9783540619291
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.

Автор: Shaoying Liu
Название: Formal Engineering for Industrial Software Development
ISBN: 3642058272 ISBN-13(EAN): 9783642058271
Издательство: Springer
Рейтинг:
Цена: 12571.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Jose N. Oliveira; Pamela Zave
Название: FME 2001: Formal Methods for Increasing Software Productivity
ISBN: 3540417915 ISBN-13(EAN): 9783540417910
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Focusing on increasing software productivity, all current aspects in formal methods are covered in this volume of selected papers. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications.

Автор: Mar?a Alpuente; Byron Cook; Christophe Joubert
Название: Formal Methods for Industrial Critical Systems
ISBN: 3642045693 ISBN-13(EAN): 9783642045691
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.

Автор: Darren Cofer; Alessandro Fantechi
Название: Formal Methods for Industrial Critical Systems
ISBN: 3642032397 ISBN-13(EAN): 9783642032394
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 13th International Workshop FMICS 2008 LAquila Italy September 1516 2008 Revised Selected Papers. .

Автор: Fr?d?ric Lang; Francesco Flammini
Название: Formal Methods for Industrial Critical Systems
ISBN: 3319107011 ISBN-13(EAN): 9783319107011
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. They are organized in topical sections named: cyber-physical systems; railway control systems;

Автор: Manuel N??ez; Matthias G?demann
Название: Formal Methods for Industrial Critical Systems
ISBN: 3319194577 ISBN-13(EAN): 9783319194578
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications;

Автор: Michael G. Hinchey; Jonathan P. Bowen
Название: Industrial-Strength Formal Methods in Practice
ISBN: 1852336404 ISBN-13(EAN): 9781852336400
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text provides guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter contains background information, introductions to the techniques being used, fragments of formalized components, details of results and an analysis of the overall approach.

Автор: Michael Dierkes; Charles Pecheur
Название: Formal Methods for Industrial Critical Systems
ISBN: 364241009X ISBN-13(EAN): 9783642410093
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses.- HyRev: A Tool for the Automatic Generation of Real-Time Routines for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis.- An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code.- Boolean Quantifier Elimination for Automotive Configuration - A Case Study.- Study on the Barriers to the Industrial Adoption of Formal Methods.- On the Effectiveness of Assertion-Based Verification in an Industrial Context.- Complex Digital System Design: A Methodology and Its Application to Medical Implants.- Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip.- Predicate Abstraction for Programmable Logic Controllers.- High-Level Guidance for Managers Deploying Formal Methods in Their Organisation.- Auditing User-Provided Axioms in Software Verification Conditions.- Formal Reliability Analysis of Protective Relays in Power Distribution Systems.- Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors.

Автор: Alexander Romanovsky; Martyn Thomas
Название: Industrial Deployment of System Engineering Methods
ISBN: 3642430643 ISBN-13(EAN): 9783642430640
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book summarizes the results of research on engineering methods for dependable systems through the deployment of formal methods in software development in applications such as automotive, space, railway and business systems, and microprocessor design.

Автор: Alexander Romanovsky; Martyn Thomas
Название: Industrial Deployment of System Engineering Methods
ISBN: 3642331696 ISBN-13(EAN): 9783642331695
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book summarizes the results of research on engineering methods for dependable systems through the deployment of formal methods in software development in applications such as automotive, space, railway and business systems, and microprocessor design.