Notations for Software Design

Loe M G Feijs, Hans B M Jonkers, Cornelis a Middelburg

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients... Lees meer

On the Refinement Calculus

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z spe... Lees meer

Formal Methods and Object Technology

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• Rationale Software engineering aims to develop software by using approaches which en- able large and complex program suites to be developed in a syste... Lees meer

Formal Methods in Human-Computer Interaction

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume exami... Lees meer

High-Integrity System Specification and Design

Jonathan P Bowen, Michael G Hinchey

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• That is, the failure of the system to produce correct results could result in the loss of human life, mass destruction of property (in the form of shi... Lees meer

The B Language and Method

Kevin Lano

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification throu... Lees meer

Software Specification Methods

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• Objectives of this Book This book is an introduction to a set of software specification methods. Its tar- geted audience are readers who do not wish t... Lees meer

Program Development by Refinement

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer ... Lees meer

Industrial-Strength Formal Methods in Practice

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in ... Lees meer

Proof in VDM: A Practitioner's Guide

Juan C Bicarregui, John Fitzgerald, Peter A Lindsay, Richard Moore, Brian Ritchie

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• Formal specifications were first used in the description of program- ming languages because of the central role that languages and their compilers pla... Lees meer

Proof in VDM: Case Studies

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• With contributions by numerous experts. Lees meer

A Theory and Practice of Program Development

Derek J Andrews

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development ... Lees meer

Specification Case Studies in Raise

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and ap... Lees meer

Systems, Models and Measures

Agnes Kaposi, Margaret Myers

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• Systems, Models and Measures seeks to bridge the gap between the 'classical' and the newer technologies by constructing a systematic measurement frame... Lees meer