Algebraic Specifications in Software Engineering, Ivo Van Horebeek; Johan Lewi

Автор: Rierson
Название: Developing Safety-Critical Software
ISBN: 143981368X ISBN-13(EAN): 9781439813683
Издательство: Taylor&Francis
Рейтинг:
Цена: 86760.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to develop software faster and more cheaply, and the software is being used in more critical ways. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance equips you with the information you need to effectively and efficiently develop safety-critical, life-critical, and mission-critical software for aviation. The principles also apply to software for automotive, medical, nuclear, and other safety-critical domains. An international authority on safety-critical software, the author helped write DO-178C and the U.S. Federal Aviation Administration’s policy and guidance on safety-critical software. In this book, she draws on more than 20 years of experience as a certification authority, an avionics manufacturer, an aircraft integrator, and a software developer to present best practices, real-world examples, and concrete recommendations. The book includes: An overview of how software fits into the systems and safety processes Detailed examination of DO-178C and how to effectively apply the guidance Insight into the DO-178C-related documents on tool qualification (DO-330), model-based development (DO-331), object-oriented technology (DO-332), and formal methods (DO-333) Practical tips for the successful development of safety-critical software and certification Insightful coverage of some of the more challenging topics in safety-critical software development and verification, including real-time operating systems, partitioning, configuration data, software reuse, previously developed software, reverse engineering, and outsourcing and offshoring An invaluable reference for systems and software managers, developers, and quality assurance personnel, this book provides a wealth of information to help you develop, manage, and approve safety-critical software more confidently.

Автор: Shaoying Liu; Tom Maibaum; Keijiro Araki
Название: Formal Methods and Software Engineering
ISBN: 354088193X ISBN-13(EAN): 9783540881933
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. This book addresses various issues in formal methods and their applications in software engineering. It features sections on specification and verification, testing, and verification.

Автор: Martin Gro?e-Rhode
Название: Semantic Integration of Heterogeneous Software Specifications
ISBN: 3642073069 ISBN-13(EAN): 9783642073069
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The first book to integrate various model-based software specification approaches. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches.

Автор: D. Bjorner
Название: Abstract Software Specifications
ISBN: 3540100075 ISBN-13(EAN): 9783540100072
Издательство: Springer
Рейтинг:
Цена: 37260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Andr? M. van Tilborg; Gary M. Koob
Название: Foundations of Real-Time Computing: Formal Specifications and Methods
ISBN: 1461367964 ISBN-13(EAN): 9781461367963
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains a selection of papers that focus on the state-of- the-art in formal specification and verification of real-time computing systems.

Автор: David Luckham
Название: Programming with Specifications
ISBN: 1461396875 ISBN-13(EAN): 9781461396871
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Topics * what this book is about, * its intended audience, * what the reader ought to know, * how the book is organized, * acknowledgements. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications.

Автор: Haim Kilov; Ken Baclavski
Название: Practical Foundations of Business System Specifications
ISBN: 9048163676 ISBN-13(EAN): 9789048163670
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual.

Автор: Haim Kilov; William Harvey
Название: Object-Oriented Behavioral Specifications
ISBN: 0792397789 ISBN-13(EAN): 9780792397786
Издательство: Springer
Рейтинг:
Цена: 158340.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. This book deals with precise specifications of `what` is accomplished by the business and `what` is to be done by a system.

Автор: Haim Kilov; William Harvey
Название: Object-Oriented Behavioral Specifications
ISBN: 1475770405 ISBN-13(EAN): 9781475770407
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book does not take `reuse` of specifications or software for granted, but furnishes a foundation for taking as rigorous an approach to reuse decisions as to precise specifications in original developments.

Автор: Haim Kilov; Bernhard Rumpe; Ian Simmonds
Название: Behavioral Specifications of Businesses and Systems
ISBN: 1461373832 ISBN-13(EAN): 9781461373834
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications.

Автор: Haim Kilov; Bernhard Rumpe; Ian Simmonds
Название: Behavioral Specifications of Businesses and Systems
ISBN: 0792386299 ISBN-13(EAN): 9780792386292
Издательство: Springer
Рейтинг:
Цена: 167660.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text covers the reading, writing and understanding of specifications. It describes useful concepts and practices (in programming and in specifications) and solid underlying theory that is of interest to those who deal with complexity of business and systems.

Автор: Vaishnavi
Название: Design Science Research Methods and Patterns
ISBN: 1498715257 ISBN-13(EAN): 9781498715256
Издательство: Taylor&Francis
Рейтинг:
Цена: 112290.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Presenting innovative research methods, this second edition of a bestseller describes a simple and practical methodology for conducting cutting-edge design science research (DSR). It provides comprehensive guidance on how to conduct such research and supplies in-depth treatment of design science theory and the different types of theory that can be generated in design science research.

Making novel use of the concept of patterns, it presents 84 research patterns for conducting effective DSR. It emphasizes design science theory throughout and is filled with practical examples of using patterns to conduct information and communication technology research (ICT).

With a focus on reusing research activities to increase the effectiveness and efficiency of conducting design science research, the book relies on familiar patterns to provide the fundamentals of various research philosophies and techniques required to innovate ICT. It describes design science research in relation to other information systems research paradigms such as positivist and interpretivist research. New to this edition are relevant design science research patterns adapted from TRIZ, the widely regarded European engineering design and creativity method.

This edition also provides greatly expanded treatment of theory building in design science research (DSR), a topic of rapidly growing interest in addition to a new chapter presenting a framework for theory development in DSR. The book provides an expanded examination of patterns in DSR presented using a new pattern classification mechanism to group patterns with like functionality.

This book will be of value to those interested in learning to conduct design science research, particularly in the ICT disciplines the book focuses on.