Fundamentals of Algebraic Specification 2, Hartmut Ehrig; Bernd Mahr
Автор: Hartmut Ehrig; Bernd Mahr Название: Fundamentals of Algebraic Specification 2 ISBN: 3540517995 ISBN-13(EAN): 9783540517993 Издательство: Springer Рейтинг: Цена: 9776.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since the early seventies concepts of specification have become central in the whole area of computer science. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of computer science where algebraic techniques are the subject or are used with advantage on a conceptual level.
Автор: Hartmut Ehrig; Bernd Mahr Название: Fundamentals of Algebraic Specification 1 ISBN: 3642699642 ISBN-13(EAN): 9783642699641 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of this book is to present fundamentals of algebraicspecifications with respect to the following three aspects:fundamentals in the sense of a carefully motivatedintroduction to algebraic specifications, which is easy tounderstand for computer scientists and mathematicians;
Автор: Jens Palsberg Название: Semantics and Algebraic Specification ISBN: 3642041639 ISBN-13(EAN): 9783642041631 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Topics addressed by the papers are action semantics, security policy design, colored petri nets, order-sorted parameterization and induction, object-oriented action semantics, structural operational semantics, model transformations, the scheme programming language, type checking, action algebras, and denotational semantics.
Автор: Michel Bidoit; Hans-J?rg Kreowski; Pierre Lescanne Название: Algebraic System Specification and Development ISBN: 3540540601 ISBN-13(EAN): 9783540540601 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is an annotated bibliography providing an up-to-date overview of past and present work on algebraic specification. Some indications of how the different approaches are related are included, together with some ideas concerning possible future developments.
Автор: Egidio Astesiano; Hans-J?rg Kreowski; Bernd Krieg- Название: Algebraic Foundations of Systems Specification ISBN: 3642641512 ISBN-13(EAN): 9783642641510 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch- er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab- stract data types and the formal development of first-order applicative pro- grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming languages, and to the stepwise development of correct systems from the requirement definitions to the running programs. The activities in the last 25 years have led to an abundance of concepts, methods, approaches, theories, languages and tools, which are mathemati- cally founded in universal algebra, category theory and logic.
Автор: Dines Bj?rner; Martin C. Henson Название: Logics of Specification Languages ISBN: 3642093450 ISBN-13(EAN): 9783642093456 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents comprehensive studies on nine specification languages and their logics of reasoning. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
Автор: 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.
Автор: Friedrich L. Bauer; Wilfried Brauer; Helmut Schwic Название: Logic and Algebra of Specification ISBN: 3642634486 ISBN-13(EAN): 9783642634482 Издательство: Springer Рейтинг: Цена: 26552.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991
Описание: 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.
Описание: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
