Taylor & Francis Group, LLC., 2021. — 226 p. — ISBN: 978-0-367-35488-6. This book focuses on a specialized branch of the vast domain of software engineering: component-based software engineering (CBSE). Component-Based Software Engineering: Methods and Metrics enhances the basic understanding of components by defining categories, characteristics, repository, interaction,...
СПб.: БХВ-Петербург, 2010. — 560 с. — ISBN: 978-5-9775-0404-1 В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем,...
Hoboken: Wiley, 2018. — 616 p. This book introduces Software Quality Assurance (SQA) and provides an overview of standards used to implement SQA. It defines ways to assess the effectiveness of how one approaches software quality across key industry sectors such as telecommunications, transport, defense, and aerospace. Includes supplementary website with an instructor’s guide...
The MIT Press, 1999. — 314 p. — ISBN10: 0262032708, ISBN13: 978-0262032704. Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic...
В книге американских специалистов фирмы TRW рассмотрены возможные ошибки при разработке систем программного обеспечения и изложены методы выявления причин их возникновения. Основное внимание уделено построению математических моделей программного обеспечения, пзволяющих оценивать его надежность.
Книга предназначена для разработчиков ПО, инженеров-математиков, обслуживающих ЭВМ, а...
Комментарии