Cover Image

Industrial-Strength Formal Methods in Practice /

Show other versions (1)

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, introducti...

Full description

Bibliographic Details
Main Author:	Hinchey, Michael G.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bowen, Jonathan P.
Format:	eBook
Language:	English
Published:	London : Springer London : Imprint : Springer, 1999.
Series:	Formal Approaches to Computing and Information Technology (FACIT)
Subjects:	Computer science. Software engineering. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Formal Specification : Techniques and Applications /
by: Nissanke, Nimal
Published: (1999)

Programming and Mathematical Method : International Summer School /
by: Broy, Manfred
Published: (1992)

Duration Calculus : A Formal Approach to Real-Time Systems /
by: Chaochen, Zhou
Published: (2004)

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on Software Engineering (CSE) /
by: Ehrig, Hartmut
Published: (1985)

Computing in Horn Clause Theories /
by: Padawitz, Peter
Published: (1988)

Fairness /
by: Francez, Nissim
Published: (1986)

Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21-25 June 1993 /
by: Nivat, M.
Published: (1994)

Specification of Software Systems /
by: Alagar, Vangalur S., 1940-
Published: (1998)

TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 /
Published: (1987)

Z User Workshop, London 1992 : Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 /
by: Bowen, J. P.
Published: (1993)

Algebraic Specifications in Software Engineering : an Introduction /
by: Horebeek, Ivo
Published: (1989)

Z User Workshop, York 1991 : Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 /
by: Nicholls, J. E.
Published: (1992)

TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium /
by: Ehrig, Hartmut
Published: (1987)

Programming Languages and Systems - ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994. Proceedings /
by: Sannella, Donald
Published: (1994)

Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22-24, 1996. Proceedings /
by: Nielson, Hanne R.
Published: (1996)

MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics /
by: Blikle, Andrzej
Published: (1987)

Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
by: Hutter, Dieter
Published: (1999)

Mathematical Methods in Program Development /
by: Broy, Manfred
Published: (1997)

Algebraic Foundations of Systems Specification /
by: Astesiano, Egidio
Published: (1999)

Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints /
by: Ehrig, Hartmut
Published: (1990)

Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics /
by: Ehrig, Hartmut
Published: (1985)

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1989)

Logic, Algebra, and Computation : International Summer School /
by: Bauer, Friedrich L.
Published: (1991)

Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do /
by: Tofte, Mads
Published: (1990)

Categorical Methods in Computer Science : With Aspects from Topology /
by: Ehrig, Hartmut
Published: (1989)

Language Constructs for Describing Features : Proceedings of the FIREworks workshop /
by: Gilmore, Stephen
Published: (2001)

Mathematics of Program Construction : 375th Anniversary of the Groningen University. International Conference, Groningen, the Netherlands, June 26-30, 1989 Proceedings /
by: Snepscheut, Jan L. A. van de
Published: (1989)

Understanding formal methods /
by: Monin, Jean-François
Published: (2003)

Extreme Programming and Agile Methods - XP/Agile Universe 2003 : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings /
by: Maurer, F. (Frank)
Published: (2003)

Z User Workshop : Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989 /
by: Nicholls, John E.
Published: (1990)

Interactive Systems: Design, Specification, and Verification : 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 /
by: Paternó, Fabio
Published: (1995)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1991)

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 1: Colloquium on Trees in Algebra and /
by: Ehrig, Hartmut
Published: (1985)

Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings /
by: Bruynooghe, M. (Maurice)
Published: (1993)

Specification and Transformation of Programs : a Formal Approach to Software Development /
by: Partsch, Helmut A.
Published: (1990)

Finiteness and Regularity in Semigroups and Formal Languages /
by: Luca, Aldo
Published: (1999)

The Illiac IV : The First Supercomputer /
by: Hord, R. Michael
Published: (1982)

Introduction to Process Algebra /
by: Fokkink, Wan
Published: (2000)

Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions /
by: Bertot, Yves
Published: (2004)

STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986 /
by: Monien, B.
Published: (1986)