High-pressure steam engines and computer software

No abstract is available for this paper.

• Publication year

  1994

• Venue

  Computer

• Publication date

  1994-10-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/2.318597
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Safeware: System Safety and Computers

  1995cited by this paper
• An investigation of the Therac-25 accidents

  1993cited by this paper
• Power from Steam: A History of the Stationary Steam Engine

  1992cited by this paper
• Comparison of program testing strategies

  1991cited by this paper
• A critical look at software capability evaluations

  1991cited by this paper
• National Aeronautics and

  1990cited by this paper
• Analysis of Faults in an N-Version Software Experiment

  1990cited by this paper
• Edison and the Business of Innovation

  1990cited by this paper
• Why Engineers Should Not Use Artificial Intelligence

  1988cited by this paper
• Cognitive Control and Human Error Mechanisms

  1987cited by this paper
• Fault-Tolerant SoFtware Reliability Modeling

  1987cited by this paper
• A Technological Lag: Diffusion of Electrical Technology in England, 1879-1914

  1987cited by this paper
• An experimental evaluation of the assumption of independence in multiversion programming

  1986cited by this paper
• Axiomatizing software test data adequacy

  1986cited by this paper
• Technology Assessment : A Historical Approach

  1985cited by this paper
• Software aspects of strategic defense systems

  1985cited by this paper
• A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors

  1985cited by this paper
• Accident at Three Mile Island: The Human Dimensions

  1982cited by this paper
• The Power of Steam

  1982cited by this paper
• Mort Safety Assurance Systems

  1980cited by this paper
• Toward a theory of test data selection

  1975cited by this paper
• Early Stationary Steam Engines in America: A Study in the Migration of a Technology by Carroll W. Pursell, Jr (review)

  1970cited by this paper
• Bursting Boilers and the Federal Power

  1966cited by this paper
• REPORT OF THE PRESIDENT'S COMMISSION.

  1965cited by this paper
• A Short History of the Steam Engine

  1939cited by this paper
• Wise after the event

  1874cited by this paper

• Argument for Convergence: Sustainability Diaspora to Corrective Transdiscipline

  2024cites this paper
• Classification of Microsoft Office Vulnerabilities: A Step Ahead for Secure Software Development

  2020cites this paper
• Four presumed gaps in the software engineering research community's knowledge

  2019cites this paper
• On the Automation of Intelligence, Sensing, and Reconnaissance Systems in Low UDR Operations

  2016cites this paper
• Ethics Aspects of Embedded and Cyber-Physical Systems

  2015cites this paper
• Impediments for Automated Software Test Execution

  2015cites this paper
• Panel Summary: The Future of Software Regulation

  2014cites this paper
• Replication and Knowledge Production in Empirical Software Engineering Research

  2014cites this paper
• Reliability Analysis of the Reykjavik Area Control Center Air Traffic Management System

  2013cites this paper
• Reliability of decision-support systems for nuclear emergency management

  2013cites this paper
• A formal model for automated software modularity and evolvability analysis

  2012cites this paper
• Programming Language Fragmentation and Developer Productivity: An Empirical Study

  2011cites this paper
• Strong Steam, Weak Patents, or the Myth of Watt’s Innovation-Blocking Monopoly, Exploded

  2011cites this paper
• Unsteady Ground: Certification to Unstable Criteria

  2010cites this paper
• Die Instandhaltung im Wandel

  2010cites this paper
• A Case for Replication : Synthesizing Research Methodologies in Software Engineering

  2010cites this paper
• Strong Steam, Weak Patents, or the Myth of Watt’s Innovation-Blocking Monopoly, Exploded

  2010cites this paper
• Methods for visualising complex water quality data

  2009cites this paper
• Towards A Comprehensive Consideration of Epistemic Questions in Software System Safety

  2009cites this paper
• Risks of faults intrinsic to software languages: Trade-off between design performance and application safety

  2009cites this paper
• Equivalence Arguments for Complex Systems Simulations – A Case-Study

  2009cites this paper
• Software maturity: design as dark art

  2009cites this paper
• '?3 I Finding out What Goes on in a Software Development Organization on the Management of Technology Finding out What Goes on in a Software Development Organization Received Acknowledgement

  2008cites this paper
• A cost effective methodology for quantitative evaluation of software reliability using static analysis

  2007cites this paper
• Is hydrogen safe ? An approach to the study of perceptions of risk among those who may have a stake in a future hydrogen economy

  2006cites this paper
• Reflections on software engineering education

  2006cites this paper
• Reflections on software engineering education

  2005cites this paper
• A New Approach To System Safety Engineering

  2005cites this paper
• Why Computer Security Fails – An Economic View

  2005cites this paper
• A new accident model for engineering safer systems

  2004cites this paper
• Computer security impaired by legitimate users

  2004cites this paper
• From Bridges and Rockets, Lessons for Software Systems

  2004cites this paper
• Software fault tolerance, reflection and the Ada programming language

  2003cites this paper
• BELIEF IN CORRECTNESS

  2003cites this paper
• Systems , Advisory Systems and Safety

  2002cites this paper
• Lessons from industrial design for software engineering through constraints identification, solution space optimisation and reuse

  2002cites this paper
• (Awarded Best Theory Paper!) A Probabilistic Approach to Estimating Computer System Reliability

  2001cites this paper
• A Probabilistic Approach to Estimating Computer System Reliability (Awarded Best Theory Paper!)

  2001cites this paper
• Bridging Industrial Design and Software Engineering Through Constraints Identification, Solution Space Optimisation and Reuse

  2001cites this paper
• Software quality and european law

  2001cites this paper
• Center for Research on Information Technology and Organizations

  2000cites this paper
• Benefits and Applications of Cross-Pollination - Guest Editors' Introduction

  2000cites this paper
• The principled design of computer system safety analyses

  1999cites this paper
• Modeling and analysis of software specifications for an autonomous aerial vehicle

  1999cites this paper
• Safe and Reliable Computer Control Systems Concepts and Methods

  1999influential citation
• Managing Errors to Reduce Accidents in High Consequence Networked Information Systems

  1999cites this paper
• Understanding Software Development Processes, Organizations, and Technologies

  1999cites this paper
• Software vulnerability analysis

  1998cites this paper
• A New Approach to the Specification of General Computer Security Policies

  1998cites this paper
• Framework for Small-Scale Experiments in Software Engineering Guidance and Control Software Project: Software Engineering Case Study

  1998cites this paper
• Practical computer security analysis

  1998cites this paper
• A Classi cation of Software Vulnerabilities That Result From Incorrect Environmental Assumptions

  1998cites this paper
• Web-based software engineering process management

  1997cites this paper
• Safety issues and the use of software-controlled equipment in the mining industry

  1997influential citation
• On the Economics of Mass-Marketed Software

  1997cites this paper
• Safe and Reliable Computer Control Systems an Overview

  1997cites this paper
• Evaluating Software Maintenance Technology

  1996cites this paper
• Experimental models for software diagnosis

  1996cites this paper
• The compleat software engineering professional-doing the right thing as well as doing it right: five steps on the road to an ethics curriculum

  1996cites this paper
• Critical digital systems and the ethic of expediency

  1996cites this paper
• Replication of experimental results in software

  1996cites this paper
• Refereed paper: Striving for correctness

  1995cites this paper
• Can Computer Science Solve Organizational Problems? The Case for Organizational Informatics

  1995cites this paper
• The 17th NCSC abstract: Belief in Correctness

  1995cites this paper
• Are formal methods relevant?

  1995cites this paper
• Computer-related accidental death: an empirical exploration

  1994cites this paper
• Transferring re-engineering technology to a software development and maintenance organization: an experience report

  1994cites this paper
• Formal Methods, EVES, and Safety Critical Systems

  1994cites this paper
• High Integrity Digital Systems And Nuclear Safety

  1993cites this paper
• Organizational Analysis in Computer Science

  1993cites this paper
• Ada Run-Time Environment Working Group: proceedings from the software safety symposium

  1993cites this paper
• Software-engineering research revisited

  1993cites this paper
• Software-Engineering Research Revisited

  1993cites this paper
• Software Requirements Specification and Analysis Using Zed and Statecharts

  year unknowncites this paper
• Replication of Experimental Results in Software Engineering

  year unknowncites this paper