Formal Specification Level, Mathias Soeken; Rolf Drechsler

Автор: Arturo Sanchez
Название: Formal Specification and Synthesis of Procedural Controllers for Process Systems
ISBN: 3540760210 ISBN-13(EAN): 9783540760214
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The operation of process plants involves a large number of event-driven activities, such as the start-up and shut-down of the plant, the execution of emergency procedures and equipment interlocking. Despite the extent to which these control systems are used in practice, limited theoretical frameworks exist to support their analysis and design.

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

Автор: Sorin Alexander Huss
Название: Advances in Design and Specification Languages for Embedded Systems
ISBN: 9048175496 ISBN-13(EAN): 9789048175499
Издательство: Springer
Рейтинг:
Цена: 194730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL`06), in September 2006. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages.

Автор: Eugenio Villar; Jean Mermet
Название: System Specification & Design Languages
ISBN: 1441953485 ISBN-13(EAN): 9781441953483
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The UML-based system specification and design contributions address latest results on hot-topic areas such as system profiling, performance analysis and UML application to complex, HW/SW embedded systems and SoC design.C/C++-for HW/SW systems design is entering standard industrial design flows.

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

Автор: Daniel D. Gajski; Jianwen Zhu; Rainer D?mer; Andre
Название: SPECC: Specification Language and Methodology
ISBN: 1461370361 ISBN-13(EAN): 9781461370369
Издательство: Springer
Рейтинг:
Цена: 148020.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: SpecC Specification Language and Methodology will be of interest to researchers, designers, and managers dealing with system-level design, design flows and methodologies as well as students learning system specification, modeling and design.

Автор: Friedrich L. Bauer; Wilfried Brauer; Helmut Schwic
Название: Logic and Algebra of Specification
ISBN: 3642634486 ISBN-13(EAN): 9783642634482
Издательство: Springer
Рейтинг:
Цена: 177010.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991

Автор: Randall S. Janka
Название: Specification and Design Methodology for Real-Time Embedded Systems
ISBN: 1461352630 ISBN-13(EAN): 9781461352631
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Specification and design methodology has seen significant growth as a research area over the last decade, tracking but lagging behind VLSI design technology in general and the CAD industry in particular.

Автор: Graham Birtwistle; P.A. Subrahmanyam
Название: VLSI Specification, Verification and Synthesis
ISBN: 1461291976 ISBN-13(EAN): 9781461291978
Издательство: Springer
Рейтинг:
Цена: 113190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16 January 1987.