Dan Craigen  Home/Search
Context
Related
| belllabs.com/netlib/spi...ug090001.pdf 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: belllabs.com/netlib/...program99 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Drawing from the author's twenty years of experience in formal methods research and development, and, particularly, with the EVES-based systems, this paper provides personal impressions on what is and what is not working with regards to the adoption and application of formal methods. As both the community's understanding of technology transfer issues and formal methods technology improve, one is optimistic that formal methods will play an increasingly important role in industry.... (Update)
Active bibliography (related documents): More All
0.6: Z and EVES - Saaltink (1991) (Correct)
0.3: A Tutorial on EVES using s-Verdi - Kromodimoeljo, Saaltink, Craigen.. (1995) (Correct)
0.2: Why Engineers Should Consider Formal Methods - Holloway (1997) (Correct)
Similar documents based on text: More All
0.5: The Z/EVES Reference Manual - For Version Tr- (Correct)
0.2: Final Report: Development of a Practical Computer Software.. - Craigen (1990) (Correct)
0.2: An International Survey of Industrial Applications of.. - Craigen, Gerhart.. (1993) (Correct)
BibTeX entry: (Update)
@inproceedings{ craigen99formal,
author = "Dan Craigen",
title = "Formal Methods Adoption: What's Working, What's Not!",
booktitle = "{SPIN}",
pages = "77-91",
year = "1999",
url = "citeseer.ist.psu.edu/craigen99formal.html" }
Citations (may not include all citations):20 EVES System (context) - Saaltink
18 Crossing the Chasm (context) - rey, Moore - 1991
15 Observations on Industrial Practice Using Formal Methods (context) - Gerhart, Craigen et al. - 1993
13 Verification Assessment Study: Final Report (context) - Kemmerer - 1986
10 usion of Innovations (context) - Rogers - 1983
7 Simple Type Theory in EVES (context) - Craigen, Saaltink - 1990
6 EVES: A Tool for Verifying Software (context) - Craigen, Kromodimoeljo et al. - 1988
6 ORA Canada Technical Report TR-97-5493-03d (context) - Saaltink, Meisels et al. - 1995
4 Formal Methods Technology Transfer: Impediments and Innovati.. (context) - Craigen, Gerhart et al. - 1995
2 EVES Verification System (context) - Craigen, of - 1988
1 EVES GUI Design and API (context) - Saaltink, Kromodimoeljo et al.
1 Bill Pase and Mark Saaltink (context) - Craigen, Kromodimoeljo et al. - 1991
1 Presented at the 4th NASA LaRC Formal Methods Workshop (context) - Saaltink, Specifications - 1997
1 Zeus: A Comprehensive Tool for Developing Formal Specificati.. (context) - Virginia, Group - 1999
1 Tools Support for Production Use of Formal Methods (context) - Knight, Fletcher et al.
1 EVES with Word Processors (context) - Saaltink
Documents on the same site (http://netlib.bell-labs.com/netlib/spin/ws99b/program99.html): More
dSPIN: A Dynamic Extension of SPIN - Demartini, Iosif, Sisto (1999) (Correct)
Assume-Guarantee Model Checking of Software: A Comparative .. - Pasareanu, Dwyer, Huth (1999) (Correct)
VIP: A Visual Interface for Promela - Kamel, Leue (1999) (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