Aspects of Safety Management : Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001 /
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...
| Main Author: | Redmill, Felix |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Anderson, Tom |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
2001.
|
| Subjects: | |
| 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)
by: Redmill, Felix
Published: (1995)
Safety and Reliability of Software Based Systems : Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995) /
by: Shaw, Roger
Published: (1997)
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)
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)
by: Kwiatkowska, Marta Zofia
Published: (1990)
Managing Your Software Project : a Student's Guide /
by: Ricketts, Ian
Published: (1998)
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)
by: Broy, Manfred
Published: (2001)
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)
by: Denvir, Tim
Published: (1992)
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)
by: Rosenberg, John
Published: (1990)
Programming with MotifTM /
by: Gregory, Keith D.
Published: (1992)
by: Gregory, Keith D.
Published: (1992)
Introduction to Programming with Modula-2 /
by: Blaschek, Günther
Published: (1990)
by: Blaschek, Günther
Published: (1990)
Modula-2 : An Introduction /
by: Thalmann, Daniel
Published: (1985)
by: Thalmann, Daniel
Published: (1985)
Software Pioneers : Contributions to Software Engineering /
by: Broy, Manfred
Published: (2002)
by: Broy, Manfred
Published: (2002)
The NeWS Book : an Introduction to the Network/Extensible Window System /
by: Gosling, James, 1955-
Published: (1989)
by: Gosling, James, 1955-
Published: (1989)
Functional Programming : Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland /
by: Davis, Kei
Published: (1990)
by: Davis, Kei
Published: (1990)
Visual Database Systems 4 (VDB4) : IFIP TC2 /
by: Ioannidis, Yannis
Published: (1998)
by: Ioannidis, Yannis
Published: (1998)
Approaches to Prototyping /
by: Budde, Reinhard
Published: (1984)
by: Budde, Reinhard
Published: (1984)
High-Integrity System Specification and Design /
by: Bowen, Jonathan P.
Published: (1999)
by: Bowen, Jonathan P.
Published: (1999)
Object-Oriented Programming : with Prototypes /
by: Blaschek, Günther
Published: (1994)
by: Blaschek, Günther
Published: (1994)
Object-Oriented Programming in Oberon-2 /
by: Mössenböck, Hanspeter
Published: (1995)
by: Mössenböck, Hanspeter
Published: (1995)
Functional Programming, Glasgow 1992 : Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 /
by: Launchbury, John
Published: (1993)
by: Launchbury, John
Published: (1993)
Empirical Foundations of Information and Software Science III /
by: Rasmussen, Jens
Published: (1987)
by: Rasmussen, Jens
Published: (1987)
The Modula-2 Software Component Library /
by: Lins, C. (Charles)
Published: (1989)
by: Lins, C. (Charles)
Published: (1989)
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)
by: Mittermeir, Roland
Published: (1992)
Algorithmic Language and Program Development /
by: Bauer, Friedrich L.
Published: (1982)
by: Bauer, Friedrich L.
Published: (1982)
IFM'99 : Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 /
by: Araki, Keijiro
Published: (1999)
by: Araki, Keijiro
Published: (1999)
Essential Dynamic HTML fast /
by: Ayesh, Aladdin
Published: (2000)
by: Ayesh, Aladdin
Published: (2000)
Into the Realm of Oberon : An Introduction to Programming and the Oberon-2 Programming Language /
by: Nikitin, Eric W.
Published: (1997)
by: Nikitin, Eric W.
Published: (1997)
Programming for Software Sharing /
by: Muxworthy, D. T.
Published: (1983)
by: Muxworthy, D. T.
Published: (1983)
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)
by: Sarshar, Marjan
Published: (1996)
The Synthesizer Generator Reference Manual /
by: Reps, Thomas W.
Published: (1989)
by: Reps, Thomas W.
Published: (1989)
An Integrated Approach to Software Engineering /
by: Jalote, Pankaj
Published: (1997)
by: Jalote, Pankaj
Published: (1997)
The Use of Formal Specification of Software : June 25-27, 1979, Berlin /
by: Berg, H. K. (Helmut K.)
Published: (1980)
by: Berg, H. K. (Helmut K.)
Published: (1980)
High-Integrity Software /
by: Sennett, C. T.
Published: (1990)
by: Sennett, C. T.
Published: (1990)
Prototyping-Oriented Software Development : Concepts and Tools /
by: Bischofberger, Walter R.
Published: (1992)
by: Bischofberger, Walter R.
Published: (1992)
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)
by: Andrews, D. J.
Published: (1994)
C: A Software Engineering Approach /
by: Darnell, Peter A.
Published: (1991)
by: Darnell, Peter A.
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)
by: Purushothaman
Published: (1993)
APL2 in Depth /
by: Thomson, Norman D.
Published: (1995)
by: Thomson, Norman D.
Published: (1995)
Case Technology : a Special Issue of the Journal of Systems Integration /
by: Yeh, Raymond T.
Published: (1992)
by: Yeh, Raymond T.
Published: (1992)
ISO 9000-3 : A Tool for Software Product and Process Improvement /
by: Kehoe, Raymond
Published: (1996)
by: Kehoe, Raymond
Published: (1996)