Formal Approaches to Computing and Information Technology (FACIT) – serie
Visar alla böcker i serien Formal Approaches to Computing and Information Technology (FACIT). Handla med fri frakt och snabb leverans.
15 produkter
Program Development by Refinement
Case Studies Using the B Method
Av Kaisa Sere, Emil Sekerinski m. fl.
Häftad, 1998
2253 kr
Lägg i varukorg
The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequences this has. How can we cope with such complexity in a satisfactory way? An approach, advocated for …
Software Specification Methods
An Overview Using a Case Study
Av Marc Frappier, Henri Habrias
Häftad, 2000
1128 kr
Lägg i varukorg
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 to read pages of definitions in order to understand the basics of a method. The same case study is used to introduce each method, following a …
Specification Case Studies in RAISE
Av Hung Dang Van, Chris George m. fl.
Häftad, 2002
1128 kr
Lägg i varukorg
This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, …
Industrial-Strength Formal Methods in Practice
Av Michael G. Hinchey, Jonathan P. Bowen
Häftad, 1999
1692 kr
Lägg i varukorg
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, …
Systems, Models and Measures
Av Agnes Kaposi, Margaret Myers
Häftad, 1993
569 kr
Lägg i varukorg
Systems, Models and Measures seeks to bridge the gap between the 'classical' and the newer technologies by constructing a systematic measurement framework for both. The authors use their experience as consultants in systems, software and quality engineering to take the subject from concept and …
Proof in VDM: A Practitioner’s Guide
Av Juan C. Bicarregui, John Fitzgerald m. fl.
Häftad, 1993
551 kr
Lägg i varukorg
Formal specifications were first used in the description of program ming languages because of the central role that languages and their compilers play in causing a machine to perform the computations required by a programmer. In a relatively short time, specification notations have found their …
Notations for Software Design
Av Loe M.G. Feijs, Hans B.M. Jonkers m. fl.
Häftad, 1994
569 kr
Lägg i varukorg
Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process. It examines COLD-1, which is currently being implemented by Philips in many of its business centres. The fact …
On the Refinement Calculus
Av Carroll Morgan, Trevor Vickers
Häftad, 1994
569 kr
Lägg i varukorg
On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and …
Formal Methods and Object Technology
Av Stephen J. Goldsack, Stuart J.H. Kent
Häftad, 1996
1128 kr
Lägg i varukorg
Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using …
Formal Object-Oriented Development
Av Kevin Lano
Häftad, 1995
569 kr
Lägg i varukorg
Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them …
B Language and Method
A Guide to Practical Formal Development
Av Kevin Lano
Häftad, 1996
569 kr
Lägg i varukorg
B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support …
Formal Methods in Human-Computer Interaction
Av Philippe Palanque, Fabio Paterno
Häftad, 1997
569 kr
Lägg i varukorg
Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This is an examination of whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods can offer …
Theory and Practice of Program Development
Häftad, 1997
569 kr
Lägg i varukorg
A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the …
Proof in VDM: Case Studies
Häftad, 1998
1128 kr
Lägg i varukorg
This volume provides a companion to "Proof in VDM: a Practitioner's Guide". Using the proof theory presented in that volume, it examines a variety of realistic case studies which illustrate different aspects of the use of proof in formal development. Rather than concentrating on the construction of …
High-Integrity System Specification and Design
Av Jonathan P. Bowen, Michael G. Hinchey
Häftad, 1999
569 kr
Lägg i varukorg
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 detected in Taylor's Logarithms, for cos. 4° 18'3", read cos. 14° 18'2". - Nautical Almanac (1833) ERRATUM ofthe ERRATUM ofthe ERRATA of TAYLOR'S …
