Presents a comparison of formal specification methods, including algebraic specification, state-model specification using the Vienna development method (VDM), and the specification of concurrent systems (using Milner's CCS)
Complex high-technology devices are in growing use in industry, service sectors, and everyday life. Their reliability and maintenance is of utmost importance in view of their cost and critical functions. This book focuses on this theme and is intended to serve as a graduate-level textbook and reference book for scientists and academics in the field. The chapters are grouped into five complementary parts that cover the most important aspects of reliability and maintenance: stochastic models of reliability and maintenance, decision models involving optimal replacement and repair, stochastic methods in software engineering, computational methods and simulation, and maintenance management systems. This wide range of topics provides the reader with a complete picture in a self-contained volume.
This document describes the beginnings of a methodology for requirements specification and traceability of real-time, large-scale, complex computer-intensive systems. The method is aimed at better understanding, the top-level system requirements and how they relate to the system under design. The methodology will cover the requirements aspects of system development over the entire system development life cycle, beginning with the specification of the requirements and tracing those requirements to the design and final implementation.