Mark Lawford, Jeff McDougall, Peter Froebel, Greg Moum  Home/Search
Context Related
| uiowa.edu/pub/rus/AMASTpapers/p44.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: cas.mcmaster.ca/~lawf...AMAST2000 (more) Homepages: M.Lawford |
Rate this article:      (best)Comment on this article |
Abstract: . In this paper we describe how a functional version of the 4-variable model can be decomposed to improve its practical application to industrial software veri cation problems. An example is then used to illustrate the limitations of the functional model and motivate a modest extension of the 4-variable model to an 8-variable relational model. The 8-variable model is designed to allow the system requirements to be speci ed as functions with input and output tolerance relations, as is typically... (Update)
Context of citations to this paper: More
.... Design Verification This section provides an overview of the (functional) Systematic Design Verification (SDV) procedure used in [12, 6] that is the basis of the real time software verification problem posed in Section 5. The method makes use of a form of Parnas tabular...
.... translation Related work The work presented here is complemented by ongoing work at McMaster University by Lawford et al. [6]. Using a similar case study, their work concentrates on veri cation of the re nement of the requirements in the SRS into design elements, also...
Cited by: More
Formal System Development Using Method Integration: a Case Study - Aredo, Owe (2004) (Correct)
Formal Verification of Functional Properties of an.. - Kim, Stringer-Calvert, .. (2002) (Correct)
Right on Time: Pre-verified Software Components for.. - Lawford, Hu (Correct)
Active bibliography (related documents): More All
0.5: Coding Regulations for Safety Critical Software Development - Mazzanti (Correct)
0.2: Specialization: An Approach To Simplifying Tables In Software.. - Rastogi (1998) (Correct)
0.2: Structured Decision Table <=> Generalized Decision Table.. - Fu (Correct)
Similar documents based on text: More All
0.2: The Efficiency of Mixing in Turbulent Patches: Inferences.. - Smyth Moum And (Correct)
0.2: Hierarchical Interface-based Supervisory Control: AIP.. - Leduc, Lawford, Wonham (2001) (Correct)
0.2: Digital Manipulatives: New Toys to Think With - Resnick, Martin, Berg.. (1998) (Correct)
Related documents from co-citation: More All
2: Formal verification for fault-tolerant architectures: Prolegomena to the design .. - Owre, Rushby et al. - 1995
2: Tabular representations in relational documents - Janicki, Parnas et al. - 1996
2: Computer Science Laboratory (context) - Owre, Shankar et al. - 1997
BibTeX entry: (Update)
M. Lawford, J. McDougall, P. Froebel, and G. Moum, "Practical application of functional and relational methods for the specification and verification of safety critical software," in Algebraic Methodology and Software Technology, AMAST 2000. http://citeseer.ist.psu.edu/lawford00practical.html More
@inproceedings{ lawford00practical,
author = "Mark Lawford and Jeff McDougall and Peter Froebel and Greg Moum",
title = "Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software",
booktitle = "Proceedings of Algebraic Methodology and Software
Technology, 8th International Conference, AMAST
2000, Iowa City, Iowa, USA, May 2000",
editor = "T. Rus",
series = "Lecture Notes in Computer Science",
volume = "1816",
pages = "73--88",
publisher = "Springer",
year = "2000",
url = "citeseer.ist.psu.edu/lawford00practical.html" }
Citations (may not include all citations):47 Functional documentation for computer systems engineering (context) - Parnas, Madey - 1991
20 Also appears in Tutorial Notes (context) - Shankar, Owre et al. - 1993
16 Integration in PVS: Tables (context) - Owre, Rushby et al. - 1997
15 Communications Research Laboratory (context) - Parnas, of et al. - 1992
5 Procedure for the Specication of Software Requirements for S.. (context) - Jankowski, McDougall - 1995
4 Tabular representation of mathematical functions for the spe.. (context) - McDougall, Viola et al. - 1994
2 Standard for Software Engineering of Safety Critical Softwar.. (context) - Joannou - 1995
1 Procedure for the Software Design Description for Safety Cri.. (context) - McDougall, Lee - 1995
1 Procedure for the Systematic Design Verication of Safety Cri.. (context) - Moum - 1997
1 Application of tabular methods to the specication and verica.. (context) - Lawford, Froebel
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