Cover Image

IFM'99 : Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 /

Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics sy...

Full description

Bibliographic Details
Main Author:	Araki, Keijiro
Corporate Author:	SpringerLink (Online service)
Other Authors:	Galloway, Andy, Taguchi, Kenji
Format:	eBook
Language:	English
Published:	London : Springer London, 1999.
Subjects:	Computer science. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Managing Interactions in Smart Environments : 1st International Workshop on Managing Interactions in Smart Environments (MANSE'99), Dublin, December 1999 /
by: Nixon, Paddy
Published: (2000)

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)

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)

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

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)

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

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

High-Integrity Software /
by: Sennett, C. T.
Published: (1990)

NAPAW 92 : Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 /
by: Purushothaman
Published: (1993)

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

Functional Integration : Theory and Applications /
by: Antoine, Jean Pierre
Published: (1980)

Intersensory Perception and Sensory Integration /
by: Walk, Richard D.
Published: (1981)

High-Integrity System Specification and Design /
by: Bowen, Jonathan P.
Published: (1999)

Case Technology : a Special Issue of the Journal of Systems Integration /
by: Yeh, Raymond T.
Published: (1992)

The Field Programming Environment: A Friendly Integrated Environment for Learning and Development /
by: Reiss, Steven P.
Published: (1995)

Reliability, Quality and Safety of Software-Intensive Systems : IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece /
by: Gritzalis, Dimitris
Published: (1997)

Application and Theory of Petri Nets : Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.-26. September 1980 Bad Honnef, 28.-30. September 1981 /
by: Girault, Claude
Published: (1982)

Software Engineering - ESEC '93 : 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings /
by: Sommerville, Ian, 1951-
Published: (1993)

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)

Proof in VDM: Case Studies /
by: Bicarregui, J. C.
Published: (1998)

A Programming Approach to Computability /
by: Kfoury, A. J.
Published: (1982)

Security and Persistence : Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8-11 May 1990, Bremen, West Germany /
by: Rosenberg, John
Published: (1990)

Programming with MotifTM /
by: Gregory, Keith D.
Published: (1992)

Introduction to Programming with Modula-2 /
by: Blaschek, Günther
Published: (1990)

Aspects of Safety Management : Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001 /
by: Redmill, Felix
Published: (2001)

Modula-2 : An Introduction /
by: Thalmann, Daniel
Published: (1985)

Software Pioneers : Contributions to Software Engineering /
by: Broy, Manfred
Published: (2002)

JSP for Practical Program Design /
by: Dudman, K. E.
Published: (1996)

The New User's Guide to the Sun Workstation /
by: Russo, Michael
Published: (1991)

The NeWS Book : an Introduction to the Network/Extensible Window System /
by: Gosling, James, 1955-
Published: (1989)

Using the STL : the C++ Standard Template Library /
by: Robson, Robert
Published: (2000)

Functional Programming : Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland /
by: Davis, Kei
Published: (1990)

Software Architectures and Component Technology /
by: Akşit, Mehmet
Published: (2002)

Visual Database Systems 4 (VDB4) : IFIP TC2 /
by: Ioannidis, Yannis
Published: (1998)

Approaches to Prototyping /
by: Budde, Reinhard
Published: (1984)

Object-Oriented Programming : with Prototypes /
by: Blaschek, Günther
Published: (1994)

Object-Oriented Programming in Oberon-2 /
by: Mössenböck, Hanspeter
Published: (1995)

Safety and Reliability of Software Based Systems : Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995) /
by: Shaw, Roger
Published: (1997)

Functional Programming, Glasgow 1992 : Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 /
by: Launchbury, John
Published: (1993)

Empirical Foundations of Information and Software Science III /
by: Rasmussen, Jens
Published: (1987)