Allan M. Stavely  Home/Search
Context
Related
| nmt.edu/~al/lfmpaper.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: nmt.edu/~al/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe an approach to integrating the Z specification notation into Cleanroom-style specification and verification. In a previous attempt, a group at IBM used formal refinement of the Z in their development. They concluded that this was not cost-effective in a commercial environment, and the attempt was not judged successful. The current approach avoids formal refinement, and instead begins by converting the Z to a fully constructive form, expressing all state changes using an assignment... (Update)
Active bibliography (related documents): More All
0.5: Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1993) (Correct)
0.5: An Overview of Reflection and Its Use in Cooperation - Edmond, Papazoglou, Tari (1995) (Correct)
0.5: Life-Cycle Models for Survivable Systems - Lipson, McHugh, Mead, Sledge (2002) (Correct)
Similar documents based on text: More All
0.2: Cleanroom Software Engineering - Reference Model Version 1.0 - Linger, Trammell (1996) (Correct)
0.2: Towards Zero Defect Software: The Cleanroom Approach - Nascimento, Tanik (1994) (Correct)
0.1: A Review of Cleanroom Software Engineering - Murphy (Correct)
BibTeX entry: (Update)
@misc{ stavely-integrating,
author = "Allan M. Stavely",
title = "Integrating Z and Cleanroom",
url = "citeseer.ist.psu.edu/321835.html" }
Citations (may not include all citations):208 No silver bullet: Essence and accidents of software engineer.. (context) - Brooks - 1987 ACM
197 Literate programming (context) - Knuth - 1984 ACM DBLP
142 An Introduction to Formal Specification and Z (context) - Potter, Sinclair et al. - 1996 ACM
44 Using formal methods to develop an ATC information system (context) - Hall - 1996 ACM DBLP
43 Cleanroom software engineering (context) - Mills, Dyer et al. - 1987 ACM
31 CICS project report: Experiences and results from the use of.. (context) - Houston, King - 1991 DBLP
25 Software Development with Z: A Practical Approach to Formal .. (context) - Wordsworth - 1992
17 An invitation to formal methods (context) - Saiedian - 1996
16 Cleanroom process model (context) - Linger - 1994 ACM DBLP
13 The new math of computer programming (context) - Mills - 1975 ACM DBLP
8 Adopting Cleanroom software engineering with a phased approa.. (context) - Hausler, Linger et al. - 1994 ACM DBLP
5 England: Cambridge University Press (context) - Jacky, of et al. - 1997
2 London: Prentice Hall International (context) - Hayes, Case - 1987
2 Cleanroom and Z (context) - Normington - 1992 ACM DBLP
2 England: Prentice Hall International (context) - Spivey, Notation et al. - 1992
2 Toward Zero-Defect Programming (context) - Stavely - 1999
1 England: Prentice Hall Europe (context) - Woodcock, Davies et al. - 1996
1 Constructive Z (context) - Mirian-Hosseinabadi, Turner - 1997 DBLP
1 Software Development with B: An Introduction (context) - Wordsworth - 1996
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