Tool Support for System Specification, Development and Verification, Rudolf Berghammer; Yassine Lakhnech

Автор: Suad Alagi?
Название: Software Engineering: Specification, Implementation, Verification
ISBN: 3319615173 ISBN-13(EAN): 9783319615172
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 1 Analysis and Design.- 2 Specification of Constraints.- 3 Implementation Technology.- 4 Mapping Models to Code.- 5 Data Management.- 6 Software Verification.

Автор: Peter M?ller
Название: Modular Specification and Verification of Object-Oriented Programs
ISBN: 3540431675 ISBN-13(EAN): 9783540431671
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Two aspects are crucial to widen the application area of formal methods: - Formal speci?cation techniques have to be smoothly integrated into the software and program development process. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware.

Автор: 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.

Автор: Didier Bert; Jonathan P. Bowen; Steve King; Marina
Название: ZB 2003: Formal Specification and Development in Z and B
ISBN: 3540402535 ISBN-13(EAN): 9783540402534
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. This book documents the advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications and tools.

Автор: 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.

Автор: 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.

Автор: Mohammad Ayoub Khan; Saqib Saeed; Ashraf Darwish;
Название: Embedded and Real Time System Development: A Software Engineering Perspective
ISBN: 3642408877 ISBN-13(EAN): 9783642408878
Издательство: Springer
Рейтинг:
Цена: 148020.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book reviews tools, techniques and methodologies of embedded software engineering and real-time systems, covering development, design patterns and development methodology, modelling framework and performance analysis, power management and deployment.