Автор: Marcus S. Fisher Название: Software Verification and Validation ISBN: 1441941002 ISBN-13(EAN): 9781441941008 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The World is lacking an in-depth technical book describing the meth- ods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in to- day's market, but private industry and academia are as well. The methods and techniques that provide such confidence are commonly called software verification and validation. Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need for an in-depth tech- nical reference providing the methods and techniques for building and maintaining confidence in many varieties of system software. The intent of this volume is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? 2) Are we building the software right? Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry.
Автор: Barbara Jobstmann; K. Rustan M. Leino Название: Verification, Model Checking, and Abstract Interpretation ISBN: 3662491214 ISBN-13(EAN): 9783662491218 Издательство: Springer Рейтинг: Цена: 67080.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016.
Автор: Alessandro Fantechi; Thierry Lecomte; Alexander Ro Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 3319684981 ISBN-13(EAN): 9783319684987 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. They are organized in topical sections named: communication challenges in railway systems;
Автор: Roberto Giacobazzi; Josh Berdine; Isabella Mastroe Название: Verification, Model Checking, and Abstract Interpretation ISBN: 3642358721 ISBN-13(EAN): 9783642358722 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013.
Автор: Erik Seligman Название: Formal Verification ISBN: 0128007273 ISBN-13(EAN): 9780128007273 Издательство: Elsevier Science Рейтинг: Цена: 81500.00 T Наличие на складе: Нет в наличии. Описание:
Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies. After reading this book, readers will be prepared to introduce FV in their organization and effectively deploy FV techniques to increase design and validation productivity.
Автор: P.K. Kapur; Hoang Pham; A. Gupta; P.C. Jha Название: Software Reliability Assessment with OR Applications ISBN: 1447126521 ISBN-13(EAN): 9781447126522 Издательство: Springer Рейтинг: Цена: 186330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Software Reliability Assessment with OR Applications provides a comprehensive guide to software reliability measurement, prediction, and control. Readers will find solutions to decision-making problems that software developers and engineers often face.
Автор: Bertrand Meyer; Jim Woodcock Название: Verified Software: Theories, Tools, Experiments ISBN: 3540691472 ISBN-13(EAN): 9783540691471 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A Step Towards Verified Software Worries about the reliability of software are as old as software itself;
Автор: Simona Bernardi; Jos? Merseguer; Dorina Corina Pet Название: Model-Driven Dependability Assessment of Software Systems ISBN: 3662509423 ISBN-13(EAN): 9783662509425 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It details the state of the art on UML profile proposals for dependability specification and rigorously describes the trade-off they accomplish.
Автор: Stuart H. Rubin; Thouraya Bouabana-Tebibel Название: Quality Software Through Reuse and Integration ISBN: 3319561561 ISBN-13(EAN): 9783319561561 Издательство: Springer Рейтинг: Цена: 186330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents 13 high-quality research articles that provide long sought-after answers to questions concerning various aspects of reuse and integration. What is new and evolving, however, is the idea of relative validation through testing and reuse, and the abstraction of code into frameworks for instantiation and reuse.
Автор: Wotawa Название: Testing Software and Systems ISBN: 3319474421 ISBN-13(EAN): 9783319474427 Издательство: Springer Рейтинг: Цена: 59630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016. The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
