K. Wong, J.J. Joyce  Home/Search
Context
Related
| intrepidcs.com/publicatio...room97.pdf cs.ubc.ca/formalWARE/abstra...room97.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: intrepidcs.com...ublicationsbody (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper identifies the software information that must be represented in a formal specification of source code level "safety verification conditions" (SVCs) for an object-oriented software system. The formalization does not necessarily require a notation with object-oriented constructs. In particular, a semantically simpler notation based on typed predicate logic is adequate for representing these conditions. The formal source code level SVCs are used as input into software safety... (Update)
Active bibliography (related documents): More All
0.4: Using a Formal Description Technique to Model Aspects of a.. - Andrews Day (1997) (Correct)
0.2: Safety Verification Conditions For Software-Intensive Critical.. - Wong (1998) (Correct)
0.2: Practical Experience Applying Formal Methods to Air Traffic.. - Richard Yates (Correct)
Similar documents based on text: More All
1.0: A Representation Scheme and Database for German Support-Verb.. - Krenn (Correct)
0.7: Hypothesis Scoring over Theta Grids Information - In Parsing Chinese (Correct)
0.2: Refinement of Safety-Related Hazards into Verifiable Code.. - Wong, Joyce (1998) (Correct)
BibTeX entry: (Update)
@misc{ wong-formal,
author = "K. Wong and J.J. Joyce",
title = "Formal Representation of Safety Verification Conditions",
url = "citeseer.ist.psu.edu/269041.html" }
Citations (may not include all citations):653 Object-Oriented Analysis and Design with Applications (Secon.. (context) - Booch - 1994
592 Introduction to HOL: A Theorem Proving Environment for Highe.. (context) - Gordon, Melham - 1993
173 Safeware: System Safety and Computers (context) - Leveson - 1995 ACM
167 Structured Analysis and System Specification (context) - DeMarco - 1979 ACM
55 Software Components with Ada (context) - Booch - 1987
43 Object Orientation in Z (context) - Stepney, Barden et al. - 1992 ACM DBLP
6 Department of Computer Science (context) - Wong, Sc - 1998
6 A Model Checker for Statecharts (context) - Day - 1993 ACM
5 Formalization and Analysis of the Separation Minima for Airc.. - Day, Joyce et al. - 1997
4 S: A Machine Readable Specification Notation Based on Higher.. - Joyce, Day et al. - 1994 DBLP
Documents on the same site (http://www.intrepid-cs.com/publicationsbody.html): More
Automatically Generated Test Frames from a Q Specification of ICAO .. - Donat (1998) (Correct)
Automating Formal Specification-Based Testing - Donat (1997) (Correct)
Refinement of Safety-Related Hazards into Verifiable Code.. - Wong, Joyce (1998) (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