The ethics of safety-critical systems

Authors:
Jonathan Bowen
Affiliations:
South Bank Univ., London, UK
Venue:
Communications of the ACM
Year:
2000

Citing 6
Cited 6

An Investigation of the Therac-25 Accidents

Computer
Safeware: system safety and computers

Safeware: system safety and computers
Computer related risks

Computer related risks
Software engineering code of ethics is approved

Communications of the ACM
High-Integrity System Specification and Design

High-Integrity System Specification and Design
Seven Myths of Formal Methods

IEEE Software

Experience teaching Z with tool and web support

ACM SIGSOFT Software Engineering Notes
An Approach to the Specification and Verification of a Hardware Compilation Scheme

The Journal of Supercomputing
Towards a Computer-Aided Design of Reactive Systems

Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net

Rigorous Methods for Software Construction and Analysis
Proactive health computing

Artificial Intelligence in Medicine

Quantified Score

Hi-index	48.22

Visualization

Abstract