Betty H. C. Cheng Michigan State University Department of Computer Science...  Home/Search
Context
Related
| csufresno.edu/Personal...phase_plane.ps csufresno.edu/~brent/phase_plane.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: csufresno.edu/Personal/CSci/Fa... (more) From: csufresno.edu/~brent/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Correctness is an important issue in safety-critical software control systems. Unfortunately, failures in critical segments of software for medical equipment, communications, and defense are familiar to the public. Such incidents motivate the use of software development techniques that reduce errors and detect defects. The benefits of applying formal methods in requirements-driven software development (forward engineering) are well-documented; formal notations are precise, verifiable, and... (Update)
Similar documents (at the sentence level):
7.6%: Applying Formal Methods and Object-Oriented Analysis to.. - Betty Cheng (1993) (Correct)
Active bibliography (related documents): More All
0.2: The Application of Formal Methods to the Reverse Engineering of.. - Gannod (1994) (Correct)
0.2: An Integrated Development Environment for Formal.. - Laux, Bourdeau, Cheng (1993) (Correct)
0.2: Strongest Postcondition Semantics as the Formal Basis for.. - Gannod, Cheng (1996) (Correct)
Similar documents based on text: More All
0.3: Physiological Data Feedback for Application in Distance.. - Crosby, Auernheimer (2001) (Correct)
0.2: Automated Categorization of Real-time Newswire Stories or.. - Stephen Mitchell (Correct)
0.1: Visual Depictions of Decision Statements: What's Best for .. - Kiper, Auernheimer, al. (Correct)
BibTeX entry: (Update)
@misc{ cheng-using,
author = "Betty Cheng",
title = "Using Formal Methods and Object-Oriented Analysis to Reverse Engineer Shuttle
Software",
url = "citeseer.ist.psu.edu/64597.html" }
Citations (may not include all citations):689 Systematic Software Development Using VDM - Jones - 1990
154 A Specifier's Introduction to Formal Methods (context) - Wing - 1990
51 Formal methods and the certification of critical systems - Rushby - 1993
48 Experience with Formal Methods in Critical Systems (context) - Gerhart, Craigen et al. - 1994
29 Abstracting a specification from code - Ward - 1993
12 New Jersey: Prentice Hall (context) - Rumbaugh, Blaha et al. - 1991
5 Risks to the public (context) - Neumann - 1993
5 Facilitating the maintenance of safety-critical systems - Gannod, Cheng - 1994
2 An Assessment of Space Shuttle Flight Software Development P.. (context) - Space, National - 1993
1 Results of a formal methods demonstration project (context) - Kelly, Covington et al. - 1994
1 Formal Methods Demonstration Project for Space Applications:.. (context) - Laboratory, Center et al. - 1993
1 The PVS specification language and tools (context) - Shankar, Owre et al. - 1993
Documents on the same site (http://www.engr.csufresno.edu/Personal/CSci/Faculty/Brent_Auernheimer/): More
Research Writing in Computer Science - Korb (Correct)
Automating Testbed Documentation and Database Access.. - Ames, Auernheimer, lee (Correct)
Visual Depictions of Decision Statements: What's Best for .. - Kiper, Auernheimer, al. (Correct)
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