Logic and Algebra of Specification, Friedrich L. Bauer; Wilfried Brauer; Helmut Schwic

Автор: Suad Alagi?
Название: Software Engineering: Specification, Implementation, Verification
ISBN: 3319615173 ISBN-13(EAN): 9783319615172
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 1 Analysis and Design.- 2 Specification of Constraints.- 3 Implementation Technology.- 4 Mapping Models to Code.- 5 Data Management.- 6 Software Verification.

Автор: El?d Knuth; E.J. Neuhold
Название: Specification and Design of Software Systems
ISBN: 3540122842 ISBN-13(EAN): 9783540122845
Издательство: Springer
Рейтинг:
Цена: 2794.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Friedrich L. Bauer; Wilfried Brauer; Helmut Schwic
Название: Logic and Algebra of Specification
ISBN: 3540558136 ISBN-13(EAN): 9783540558132
Издательство: Springer
Рейтинг:
Цена: 36197.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This NATO volume presents a selection of leading research aimed at giving a foundation for combining logic and algebra for the purpose of specification under the aspects of automated deduction, proving techniques, concurrency and logic, abstract data types and operational semantics, and constructive methods.

Автор: Shusaku Iida; Jos? Meseguer; Kazuhiro Ogata
Название: Specification, Algebra, and Software
ISBN: 3642546234 ISBN-13(EAN): 9783642546235
Издательство: Springer
Рейтинг:
Цена: 11180.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering.

Автор: Tom J. Ka?mierski; Adam Morawiec
Название: System Specification and Design Languages
ISBN: 1489994416 ISBN-13(EAN): 9781489994417
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010.

Автор: Mathias Soeken; Rolf Drechsler
Название: Formal Specification Level
ISBN: 3319378821 ISBN-13(EAN): 9783319378824
Издательство: Springer
Рейтинг:
Цена: 13059.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL).

Автор: Miriam Leeser; Geoffrey Brown
Название: Hardware Specification, Verification and Synthesis: Mathematical Aspects
ISBN: 0387972269 ISBN-13(EAN): 9780387972268
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.

Автор: Tan Yang Meng
Название: Formal Specification Techniques for Engineering Modular C Programs
ISBN: 0792396537 ISBN-13(EAN): 9780792396536
Издательство: Springer
Рейтинг:
Цена: 23751.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Marc Frappier; Henri Habrias
Название: Software Specification Methods
ISBN: 1852333537 ISBN-13(EAN): 9781852333539
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using an invoicing system to enable the reader to compare and contrast. Some techniques covered are: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS.

Автор: Hung Dang Van; Chris George; Tomasz Janowski; Rich
Название: Specification Case Studies in RAISE
ISBN: 1852333596 ISBN-13(EAN): 9781852333591
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents 12 case studies that use Rigorous Approach to Industrial Software Engineering, to construct, analyse, develop and apply formal specifications. This book covers application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, and component-based software design.

Автор: Rudolf Berghammer; Yassine Lakhnech
Название: Tool Support for System Specification, Development and Verification
ISBN: 3211832823 ISBN-13(EAN): 9783211832820
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: J. Staunstrup
Название: Program Specification
ISBN: 3540114904 ISBN-13(EAN): 9783540114901
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.