High-Integrity System Specification and Design, Jonathan P. Bowen; Michael G. Hinchey

Автор: Francois Bodart; Jean Vanderdonckt
Название: Design, Specification and Verification of Interactive Systems `96
ISBN: 3211829008 ISBN-13(EAN): 9783211829004
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These revised papers from the Eurographics workshop in Namur, Belgium review the design, specification and verification of interactive systems, comparing the different existing approaches to this field in order to identify the principal requirements and the most suitable notation.

Автор: Stephen H. Hall
Название: High-Speed Digital System Design: A Handbook of Interconnect Theory and Design Practices
ISBN: 0471360902 ISBN-13(EAN): 9780471360902
Издательство: Wiley
Рейтинг:
Цена: 146730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An understanding of high speed interconnect phenomena is necessary for modern designs such as routing and layout of computer motherboards. Computers have reached speeds where digital design must provide for these effects. The problem is that most engineers active today have not been trained in this subject.

Автор: Panos Markopoulos; Peter Johnson
Название: Design, Specification and Verification of Interactive Systems `98
ISBN: 3211832122 ISBN-13(EAN): 9783211832127
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Does modelling, formal or otherwise, play a role in designing interactive systems? This development poses a significant challenge to modelling approaches used for the design of interactive systems.

Автор: Philippe Palanque; Remi Bastide
Название: Design, Specification and Verification of Interactive Systems `95
ISBN: 3211827390 ISBN-13(EAN): 9783211827390
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains 21 contributions which cover the different aspects of interactive systems, from formal user modelling to formal techniques for prototyping, and describes state-of-the-art developments in these topics, also giving new directions for future research.

Автор: Michael D. Harrison; Juan C. Torres
Название: Design, Specification and Verification of Interactive Systems `97
ISBN: 3211830553 ISBN-13(EAN): 9783211830550
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.

Автор: Joaquim Jorge; Nuno Jardim Nunes; Joao Falcao e Cu
Название: Interactive Systems. Design, Specification, and Verification
ISBN: 3540201599 ISBN-13(EAN): 9783540201595
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

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

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

Автор: Hartmut Ehrig; Werner Damm; J?rg Desel; Martin Gro
Название: Integration of Software Specification Techniques for Applications in Engineering
ISBN: 3540231358 ISBN-13(EAN): 9783540231356
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is a documentation of the main results in the research area "In- gration of Software Speci?cation Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken der Softwarespezi?kation fur ] ingenieurwissenschaftliche Anwendungen", short Soft- Spez, oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on "Integration of Sp- i?cation Techniques for Applications in Engineering". INT 2004 was launched as a satellite event of ETAPS in Barcelona, the "European Joint Conferences on Theory and Practice of Software". The Priority Program SoftSpez was initiated by W. Brauer, M. Broy, H. Ehrig, H. J. Kreowski, H. Reichel, and H. Weber concerning di?erent aspects from computer science, and by E. Schnieder and E. Westk] amper concerning two main application areas in engineering, namely "Tra?c Control Systems" and "Production Automation". After acceptance of SoftSpez by the German Research Council for the period of 1998-2004 a call for speci?c projects within this priority program was launched, where 11 projects from about 75 project proposals were accepted for a period of two years. Since 1998 each year the main research proposals and results of the projects have been presented at an annual colloquium of the priority program, and every two years the projects have been evaluated by an independent group of referees appointed by the G- man Research Council. At this point we would like to thank A.

Автор: Manfred Broy; Stephan Merz; Katharina Spies
Название: Formal Systems Specification
ISBN: 3540619844 ISBN-13(EAN): 9783540619840
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. This volume presents refereed papers discussing solutions to the problem. A problem statement and synopsis are also included.