Cover Image

Aspects of Safety Management : Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001 /

Show other versions (1)

Aspects of Safety Management contains the invited papers presented at the ninth annual Safety-critical Systems Symposium, held in Bristol, February 2001. For some time, it has been recognised that technical issues are only one side of the safety coin. The other, often dominant feature, is active, in...

Full description

Bibliographic Details
Main Author:	Redmill, Felix
Corporate Author:	SpringerLink (Online service)
Other Authors:	Anderson, Tom
Format:	eBook
Language:	English
Published:	London : Springer London, 2001.
Subjects:	Computer science. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Achievement and Assurance of Safety : Proceedings of the Third Safety-critical Systems Symposium /
by: Redmill, Felix
Published: (1995)

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)

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

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)

Semantics for Concurrency : Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK /
by: Kwiatkowska, Marta Zofia
Published: (1990)

TRON Project 1987 Open-Architecture Computer Systems : Proceedings of the Third TRON Project Symposium /
by: Sakamura, Ken
Published: (1987)

RIMS Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan /
by: Goto, Eiichi
Published: (1986)

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)

VDM '88. VDM - The Way Ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings /
by: Bloomfield, R.
Published: (1988)

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

Managing Your Software Project : a Student's Guide /
by: Ricketts, Ian
Published: (1998)

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)

Responsive Computing : a Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No. 3 (1994) /
by: Malek, Miroslaw
Published: (1994)

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

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

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

Functional Programming, Glasgow 1990 : Proceedings of the 1990 Glasgow Workshop on Functional Programming 13-15 August 1990, Ullapool, Scotland /
by: Jones, Simon L. Peyton
Published: (1991)

Software Re-use, Utrecht 1989 : Proceedings of the Software Re-use Workshop, 23-24 November 1989, Utrecht, The Netherlands /
by: Dusink, Liesbeth M.
Published: (1991)

Functional Programming, Glasgow 1994 : Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 /
by: Hammond, Kevin
Published: (1995)

5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 /
by: Jones, Cliff B.
Published: (1992)

Functional Programming, Glasgow 1991 : Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 /
by: Heldal, Rogardt
Published: (1992)

4th Refinement Workshop : Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge /
by: Morris, Joseph M.
Published: (1991)

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

Semantics of Specification Languages (SoSL) : Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 /
by: Andrews, D. J.
Published: (1994)

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)

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

IV Higher Order Workshop, Banff 1990 : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990 /
by: Birtwistle, G. M. (Graham M.)
Published: (1991)

Systematic Reuse: Issues in Initiating and Improving a Reuse Program : Proceedings of the International Workshop on Systematic Reuse, Liverpool, 8-9 January 1996 /
by: Sarshar, Marjan
Published: (1996)

Persistent Object Systems : Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September 1992 /
by: Albano, Antonio
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)

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)

APL2 in Depth /
by: Thomson, Norman D.
Published: (1995)

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

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

Subrecursive Programming Systems : Complexity & Succinctness /
by: Royer, James S.
Published: (1994)

The Science of Programming /
by: Gries, David
Published: (1981)

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

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

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

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