Cover Image

Safer Systems : Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997 /

Show other versions (1)

The field of safety-critical systems covers computer systems in hazardous applications. As traditional means of control such as relays are replaced by software, the field is rapidly expanding and increasing in importance. It is formed by the convergence of software engineering and safety engineering...

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, 1997.
Subjects:	Computer science. Computer system performance. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Industrial Perspectives of Safety-critical Systems : Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998 /
by: Redmill, Felix
Published: (1998)

Towards System Safety : Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK 1999 /
by: Redmill, Felix
Published: (1999)

Components of System Safety : Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK 2002 /
by: Redmill, Felix
Published: (2002)

Current Issues in Safety-Critical Systems : Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4-6 February 2003 /
by: Redmill, Felix
Published: (2003)

Technology and Assessment of Safety-Critical Systems : Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8-10 February 1994 /
by: Redmill, Felix
Published: (1994)

Practical Elements of Safety : Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004 /
by: Redmill, Felix
Published: (2004)

Directions in Safety-Critical Systems : Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9-11 February 1993 /
by: Redmill, Felix
Published: (1993)

Safety-Critical Systems: The Convergence of High Tech and Human Factors : Proceedings of the Fourth Safety-critical Systems Symposium /
by: Redmill, Felix
Published: (1996)

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

System Development : a Strategic Framework /
by: Bronzite, Michael
Published: (2000)

Guide to Applying Human Factors Methods : Human Error and Accident Management in Safety-Critical Systems /
by: Cacciabue, Pietro Carlo
Published: (2004)

Electronic Systems Effectiveness and Life Cycle Costing /
by: Skwirzynski, J. K.
Published: (1983)

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

Programming Environments for Massively Parallel Distributed Systems : Working Conference of the IFIP WG 10.3, April 25-29, 1994 /
by: Decker, Karsten M.
Published: (1994)

Safer C : developing software for in high-integrity and safety-critical systems /
by: Hatton, Les, 1948-
Published: (1995)

Safe Comp 97 : the 16th International Conference on Computer Safety, Reliability and Security /
by: Daniel, Peter
Published: (1997)

Safe Comp 96 : the 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria October 23-25 1996 /
by: Schoitsch, Erwin
Published: (1997)

Projects in the Computing Curriculum : Proceedings of the Project 98 Workshop, Sheffield 1998 /
by: Holcombe, Mike
Published: (1998)

Critical Issues in User Interface Systems Engineering /
by: Benyon, David
Published: (1996)

Safer systems : proceedings of the Fifth Safety-Critical Systems Symposium, Brighton 1997 /
Published: (1997)

Testing Safety-Related Software : a Practical Handbook /
by: Gardiner, Stewart N.
Published: (1999)

Abstract State Machines : A Method for High-Level System Design and Analysis /
by: Börger, Egon
Published: (2003)

User-Centred Requirements Engineering /
by: Sutcliffe, Alistair
Published: (2002)

Model-Based Design and Evaluation of Interactive Applications /
by: Paternò, Fabio, 1960-
Published: (2000)

E-Management : the Impact of e-Business on Today's IT Manager /
by: Gouge, Ian
Published: (2003)

User-Centred Design of Systems /
by: Noyes, Janet M.
Published: (1999)

Fault-Tolerant Computing Systems : Tests, Diagnosis, Fault Treatment 5th International GI/ITG/GMA Conference Nürnberg, September 25-27, 1991 Proceedings /
by: Cin, Mario Dal
Published: (1991)

Managing Software Quality : a Measurement Framework for Assesment and Prediction /
by: Nance, Richard E.
Published: (2002)

The Project Management Paradigm /
by: Burnett, Ken
Published: (1998)

Software Fault Tolerance : Achievement and Assessment Strategies /
by: Kersken, M. (Manfred)
Published: (1992)

Requirements Engineering /
by: Hull, Elizabeth
Published: (2002)

Parallel Processing: CONPAR 92 - VAPP V : Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992. Proceedings /
by: Bougé, L. (Luc)
Published: (1992)

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /
Published: (2019)

Safe Comp 95 : The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11-13 October 1995 /
by: Rabe, Gerhard
Published: (1995)

Performance evaluation of computer and communication systems /
by: Le Boudec, Jean-Yves, 1958-
Published: (2011)

Information Systems : The e-Business Challenge /
by: Traunmüller, R. (Roland)
Published: (2002)

PARLE '89 - Parallel Architectures and Languages Europe : Volume I: Parallel Architectures, Eindhoven, the Netherlands, June 12-16, 1989; Proceedings /
by: Odijk, E. (Eddy)
Published: (1989)

Systems programming : designing and developing distributed applications /
by: Anthony, Richard John
Published: (2015)

The integration of expert systems into mainstream software /
by: Gillies, Alan
Published: (1991)

Advanced Information Systems Engineering : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, Proceedings /
Published: (2023)