Cover Image

Formal Methods in Systems Engineering /

Show other versions (1)

As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctn...

Full description

Bibliographic Details
Main Author:	Ryan, Peter
Corporate Author:	SpringerLink (Online service)
Other Authors:	Sennett, C. T.
Format:	eBook
Language:	English
Published:	London : Springer London, 1993.
Subjects:	Computer science. Computer network architectures. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Guide to Web Application and Platform Architectures /
by: Jablonski, Stefan
Published: (2004)

Patterns and Skeletons for Parallel and Distributed Computing /
by: Rabhi, Fethi A.
Published: (2003)

OSS for Telecom Networks : an Introduction to Network Management /
by: Misra, Kundan
Published: (2004)

Workload Characterization of Emerging Computer Applications /
by: John, Lizy Kurian
Published: (2001)

Interaction between Compilers and Computer Architectures /
by: Lee, Gyungho
Published: (2001)

Formal Methods in Standards : a Report from the BCS Working Group /
by: Ruggles, C. L. N.
Published: (1990)

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

Frontiers of Computing Systems Research : Essays on Emerging Technologies, Architectures, and Theories /
by: Tewksbury, S. K.
Published: (1992)

Frontiers of Computing Systems Research : Essays on Emerging Technologies, Architectures, and Theories /
by: Tewksbury, S. K.
Published: (1990)

Formal Specification Techniques for Engineering Modular C Programs /
by: Tan, Yang Meng
Published: (1996)

Industrial Cultures and Production : Understanding Competitiveness /
by: Rasmussen, Lauge
Published: (1996)

Research Directions in Parallel Functional Programming /
by: Hammond, Kevin
Published: (1999)

Environmental Online Communication /
by: Scharl, Arno
Published: (2004)

On Concurrent Programming /
by: Schneider, Fred B.
Published: (1997)

The Use of Formal Specification of Software : June 25-27, 1979, Berlin /
by: Berg, H. K. (Helmut K.)
Published: (1980)

Theory and Formal Methods 1993 : Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 /
by: Burn, Geoffrey
Published: (1993)

Multiple-Criteria Decision Making : Concepts, Techniques, and Extensions /
by: Yu, Po-Lung
Published: (1985)

Multithreaded Computer Architecture : a Summary of the State of the ART /
by: Iannucci, Robert A.
Published: (1994)

Data Organization in Parallel Computers /
by: Wijshoff, Harry A. G.
Published: (1988)

Software Engineering in C /
by: Darnell, Peter A.
Published: (1988)

Architecture of Systems Problem Solving /
by: Klir, George J.
Published: (1985)

Object Oriented Computer Systems Engineering /
by: Morris, Derrick, 1934-
Published: (1996)

Software Engineering for Large Software Systems /
by: Kitchenham, B. A.
Published: (1990)

C A Software Engineering Approach /
by: Darnell, Peter A.
Published: (1996)

C: A Software Engineering Approach /
by: Darnell, Peter A.
Published: (1991)

Formal Aspects of Measurement : Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 /
by: Denvir, Tim
Published: (1992)

Picture Engineering /
by: Fu, King Sun
Published: (1982)

Experimentation in Software Engineering : an Introduction /
by: Wohlin, Claes
Published: (2000)

IFM'99 : Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 /
by: Araki, Keijiro
Published: (1999)

Advances in Software Engineering : Comprehension, Evaluation, and Evolution /
by: Erdogmus, Hakan
Published: (2002)

Software Engineering on Sun Workstations® /
by: Cureton, Bill
Published: (1993)

An Integrated Approach to Software Engineering /
by: Jalote, Pankaj
Published: (1997)

Software Engineering with Reusable Components /
by: Sametinger, Johannes
Published: (1997)

Issues in Software Engineering Education /
by: Fairley, Richard
Published: (1989)

Software Engineering Education : The Educational Needs of the Software Community /
by: Gibbs, Norman E.
Published: (1987)

Business Component-Based Software Engineering /
by: Barbier, Franck
Published: (2003)

The Renaissance of Legacy Systems : Method Support for Software-System Evolution /
by: Warren, Ian
Published: (1999)

Pioneers and Their Contributions to Software Engineering : sd & m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions /
by: Broy, Manfred
Published: (2001)

Shifting Paradigms in Software Engineering : Proceedings of the 7th Joint Conference of the Austrian Computer Society (OCG) and the John von Neumann Society for Computing Sciences (NJSZT) in Klagenfurt, Austria, 1992 /
by: Mittermeir, Roland
Published: (1992)

Industrial-Strength Formal Methods in Practice /
by: Hinchey, Michael G.
Published: (1999)