Modular Specification and Verification of Object-Oriented Programs, Peter M?ller

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

Автор: Ruth Breu
Название: Algebraic Specification Techniques in Object Oriented Programming Environments
ISBN: 3540549722 ISBN-13(EAN): 9783540549727
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph presents a formal foundation for the integrated design of object-oriented computer programs with algebraic specification techniques. It examines the development of a design method supporting the structured design and reuse of software in this environment.

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

Автор: W. Polak
Название: Compiler Specification and Verification
ISBN: 3540108866 ISBN-13(EAN): 9783540108863
Издательство: Springer
Рейтинг:
Цена: 21420.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Howard Barringer
Название: A Survey of Verification Techniques for Parallel Programs
ISBN: 3540152393 ISBN-13(EAN): 9783540152392
Издательство: Springer
Рейтинг:
Цена: 21420.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Helmut A. Partsch
Название: Specification and Transformation of Programs
ISBN: 3540523561 ISBN-13(EAN): 9783540523567
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules.

Автор: Helmut A. Partsch
Название: Specification and Transformation of Programs
ISBN: 3540525890 ISBN-13(EAN): 9783540525899
Издательство: Springer
Рейтинг:
Цена: 62410.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An introductory textbook on formal specification and transformational programming as an approach to software development.