ZB 2003: Formal Specification and Development in Z and B, Didier Bert; Jonathan P. Bowen; Steve King; Marina

Автор: Jonathan P. Bowen; Steve Dunne; Andy Galloway; Ste
Название: ZB 2000: Formal Specification and Development in Z and B
ISBN: 3540679448 ISBN-13(EAN): 9783540679448
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The text documents the advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.

Автор: Rudolf Berghammer; Yassine Lakhnech
Название: Tool Support for System Specification, Development and Verification
ISBN: 3211832823 ISBN-13(EAN): 9783211832820
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of this workshop is to provide a forum for researchers interested in the use and development of tools which support the use of mathematical techniques for the specification, development and verification of systems.

Автор: Berthold Hoffmann; Bernd Krieg-Br?ckner
Название: Program Development by Specification and Transformation
ISBN: 354056733X ISBN-13(EAN): 9783540567332
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a methodology for developing correct software and a comprehensive support system.

Автор: Tan Yang Meng
Название: Formal Specification Techniques for Engineering Modular C Programs
ISBN: 0792396537 ISBN-13(EAN): 9780792396536
Издательство: Springer
Рейтинг:
Цена: 158340.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This work describes an approach to promoting program modularity. It presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support.

Название: Formal Software Development
ISBN: 0333992814 ISBN-13(EAN): 9780333992814
Издательство: Springer
Рейтинг:
Цена: 63350.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This gently-paced software engineering text concentrates on the use of formal methods for the development of high integrity software. The book contains examples and exercises throughout and is supported by a dedicated web site.

Автор: Hartmut Ehrig; Christiane Floyd; Maurice Nivat; Ja
Название: Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
ISBN: 3540151990 ISBN-13(EAN): 9783540151999
Издательство: Springer
Рейтинг:
Цена: 43780.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: J. Bicarregui; C.B. Jones; K.D. Jones; M. Elvang-G
Название: mural: A Formal Development Support System
ISBN: 354019651X ISBN-13(EAN): 9783540196518
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is an introduction to MURAL, a software-support system that aims to create a user-friendly software environment which makes the best use of human talents to produce well-designed computer systems. The text describes the requirements, concepts and realization of the MURAL system.

Автор: Kevin Lano
Название: Formal Object-Oriented Development
ISBN: 3540199780 ISBN-13(EAN): 9783540199786
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An overview of the use of formal object-oriented methods: it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing developmental practices.

Автор: Dines Bj?rner; C.A.R. Hoare; Hans Langmaack
Название: VDM `90. VDM and Z - Formal Methods in Software Development
ISBN: 3540525130 ISBN-13(EAN): 9783540525134
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe are concerned with bringing real theory to apply to real programming.

Автор: Soren Prehn; Hans Toetenel
Название: VDM `91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
ISBN: 3540548343 ISBN-13(EAN): 9783540548348
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.

Автор: Soren Prehn; Hans Toetenel
Название: VDM `91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
ISBN: 3540548688 ISBN-13(EAN): 9783540548683
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.

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