Neumann, P.G., Editor, "Risks to the Public". Software Engineering Notes.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Safety Kernel Architecture - Kevin Wika John (1994) (1 citation) (Correct)
....restricted software complexity are rarely reached because of the remarkable hardware performance now available. Experience with safety critical systems has shown that significant software defects tend to remain in such systems after deployment despite extensive effort on the part of the developers [4, 11]. Building these systems to perform as desired is very difficult for a number of reasons. Even the best software development processes cannot ensure that faults are avoided completely during development. Similarly, fault detection techniques are imperfect. Research has shown, for example, that ....
Neumann, P.G., Editor, "Risks to the Public". Software Engineering Notes.
An Integrated Development Environment for Formal.. - Laux, Bourdeau, Cheng (1993) (1 citation) (Correct)
....This paper describes a development environment that facilitates the construction of LSL specifications, including a graphical interface to theorem proving and syntax checking tools. 1 Introduction As software is increasingly used to control critical systems, program correctness becomes paramount [1, 2, 3, 4, 5, 6, 7]. A small change in the implementation of software can have a large and perhaps disastrous impact on its behavior [8] Formal methods focus a software development effort on an accurate and precise specification of what a software system or component is to achieve. This type of specification, when ....
P.G. Neumann and Contributors. Risks to the Public. In P.G. Neumann, editor, Software Engineering Notes. ACM Press, July 1991.
Applying Formal Methods and Object-Oriented Analysis to.. - Betty Cheng (1993) (3 citations) (Correct)
....or imply its endorsement by the United States Government or the Jet Propulsion Laboratory, California Institute of Technology. z This author is also supported in part by NSF grant CCR9209873. significant quantity of software malfunctions regularly reported to the software engineering community [4], the laws concerning liability [5] and a recent NRC Aeronautics and Space Engineering Board report [6] additionally motivate the use of error reducing and defect detection software development techniques. The benefits of formal methods in requirementsdriven software development ( forward ....
P. G. Neumann and contributors. Risks to the public. In Software Engineering Notes. ACM Special Interest Group on Software Engineering, 1993. Regular column published on a monthly basis.
Using Formal Methods and Object-Oriented Analysis to Reverse.. - Betty Cheng (Correct)
....Correctness is necessary in safety critical software control systems [1] Critical software failures in medical equipment, communication networks, and defense systems are familiar to the public. The large number of software malfunctions regularly reported to the software engineering community [2], new statutes concerning liability for such failures, and a recent National Research Council Aeronautics and Space Engineering Board Report [3] additionally motivate the use of software development techniques that reduce errors and detect defects. The benefits of using formal methods in ....
P. G. Neumann and contributors, "Risks to the public," in Software Engineering Notes, ACM Special Interest Group on Software Engineering, 1993.
Safety Kernel Enforcement of Software Safety Policies - Wika (1995) (1 citation) (Correct)
....software complexity are rarely reached because of the remarkable hardware performance now available. Experience with safety critical systems has shown that significant software defects tend to remain in such systems after deployment despite extensive effort on the part of the developers [16,34,41]. Building these systems to perform as desired is very difficult for a number of reasons. Even the best software development processes cannot ensure that faults are avoided completely during development. Similarly, fault detection techniques are imperfect. Research has shown, for example, that ....
Neumann, P.G., Editor, "Risks to the Public," Software Engineering Notes. 106
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC