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

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

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

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

High-Integrity System Specification and Design

Jonathan P Bowen, Michael G Hinchey

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA de... Lees meer

Software Specification Methods

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• Software Specification Methods provides the formal methods practitioner with a survey of the key software specification methods. Each technique is dem... Lees meer

Proof in VDM: Case Studies

• Paperback | Engels | Formal Approaches to Computing and Information Technology (F
• Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, t... 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

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

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

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

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

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