Graph Transformation, Specifications, and Nets, Heckel

Автор: Haim Kilov; Bernhard Rumpe; Ian Simmonds
Название: Behavioral Specifications of Businesses and Systems
ISBN: 0792386299 ISBN-13(EAN): 9780792386292
Издательство: Springer
Рейтинг:
Цена: 25149.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text covers the reading, writing and understanding of specifications. It describes useful concepts and practices (in programming and in specifications) and solid underlying theory that is of interest to those who deal with complexity of business and systems.

Автор: David Luckham
Название: Programming with Specifications
ISBN: 1461396875 ISBN-13(EAN): 9781461396871
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Topics * what this book is about, * its intended audience, * what the reader ought to know, * how the book is organized, * acknowledgements. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications.

Автор: D. Bjorner
Название: Abstract Software Specifications
ISBN: 3540100075 ISBN-13(EAN): 9783540100072
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Ivo Van Horebeek; Johan Lewi
Название: Algebraic Specifications in Software Engineering
ISBN: 364275032X ISBN-13(EAN): 9783642750328
Издательство: Springer
Рейтинг:
Цена: 11173.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: What prevents algebraic specifications from breaking through is the absence of introductory descriptions and tools supporting the construction of algebraic specifications. whereas on the other hand the existence of introductions and tools will stimulate industry to use algebraic specifications.

Автор: Martin Gro?e-Rhode
Название: Semantic Integration of Heterogeneous Software Specifications
ISBN: 3642073069 ISBN-13(EAN): 9783642073069
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The first book to integrate various model-based software specification approaches. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches.

Автор: Haim Kilov; Bernhard Rumpe; Ian Simmonds
Название: Behavioral Specifications of Businesses and Systems
ISBN: 1461373832 ISBN-13(EAN): 9781461373834
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications.

Автор: Haim Kilov; William Harvey
Название: Object-Oriented Behavioral Specifications
ISBN: 1475770405 ISBN-13(EAN): 9781475770407
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book does not take `reuse` of specifications or software for granted, but furnishes a foundation for taking as rigorous an approach to reuse decisions as to precise specifications in original developments.

Автор: Andr? M. van Tilborg; Gary M. Koob
Название: Foundations of Real-Time Computing: Formal Specifications and Methods
ISBN: 1461367964 ISBN-13(EAN): 9781461367963
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains a selection of papers that focus on the state-of- the-art in formal specification and verification of real-time computing systems.

Автор: Haim Kilov; William Harvey
Название: Object-Oriented Behavioral Specifications
ISBN: 0792397789 ISBN-13(EAN): 9780792397786
Издательство: Springer
Рейтинг:
Цена: 23751.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. This book deals with precise specifications of `what` is accomplished by the business and `what` is to be done by a system.

Автор: Haim Kilov; Ken Baclavski
Название: Practical Foundations of Business System Specifications
ISBN: 9048163676 ISBN-13(EAN): 9789048163670
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: "In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual.

Автор: Hartmut Ehrig; Gabriel Juhas; Julia Padberg; Grzeg
Название: Unifying Petri Nets
ISBN: 3540430679 ISBN-13(EAN): 9783540430674
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Research on Petri nets has diverged in many different directions. This survey presents the relevant approaches to unifying Petri nets in a systematic and coherent way. The chapters are organized in topical sections on application-oriented approaches, unifying frameworks, and theoretical approaches.

Автор: Jonathan Billington; Kurt Jensen; Maciej Koutny
Название: Transactions on Petri Nets and Other Models of Concurrency III
ISBN: 3642048544 ISBN-13(EAN): 9783642048548
Издательство: Springer
Рейтинг:
Цена: 9776.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains papers from the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency and from the 8th and 9th Workshops and Tutorials on Practical Use of Coloured Petri Nets and the CPN Tools.