We found 28 results for “


Showing 1 - 12 of 28 Results

In stock online

Not available in stores

Formal Specification provides the reader with a practical and versatile approach to constructing program specifications. It includes both model-based (Z/VDM) and algebraic (CLEAR) paradigms of specification and emphasizes the range of languages and approaches…

Hardcover

$128.03 online

$141.95

save 9%

In stock online

Not available in stores

Object-Process Methodology (OPM) is an intuitive approach to systems engineering. This book presents the theory and practice of OPM with examples from various industry segments and engineering disciplines, as well as daily life. OPM is a generic, domain…

In stock online

Not available in stores

Hardcover

$302.95

In stock online

Not available in stores

In stock online

Not available in stores

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or…

In stock online

Not available in stores

A study of one of the key issues in the design and development of IT systems: the fact that the bulk of system development projects undertaken will fail to meet originally defined objectives. Using a number of case studies, the book analyses the reasons for this…

In stock online

Not available in stores

This book is about increasing team performance. It focuses on building system dynamics models when tackling a mix of interrelated strategic problems to enhance team learning, foster consensus, and create commitment. The book is intended to be applied in the…

Hardcover

$209.93

In stock online

Not available in stores

Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and…

In stock online

Not available in stores

This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996. The book presents 26 revised full papers selected from a total of 66 submissions based on the reviews of 146…

Paperback

$116.33

In stock online

Not available in stores

Computer-based diagnostic systems are among the most successful applications of knowledge-based systems (KBS) technology. Chris Price shows the best way to build effective diagnostic systems for different types of diagnostic problems by: - giving examples of…

In stock online

Not available in stores

This book focuses on several issues in the essence of information systems and their development, as well as advanced utilization of new information technology. It includes both theoretical foundations and practical approaches for each topic and will prove useful…

In stock online

Not available in stores

Ultimately, every theoretical `mathematical machine' needs translation into a physical form, and this is what hardware is all about. The invention of hardware description languages (HDLs) in the early 1960s was an attempt to remain at an abstract level in the…