A. Hall, "Seven myths of formal methods," IEEE Software, vol. 7, no. 5, pp. 11 -- 19, 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Composite Propositions: Toward Support for Formal.. - Mondragon, Gates, Roach (Correct)
Proving the Value of Formal Methods - Holzmann (1994) (1 citation) (Correct)
FOOM: A Diagrammatic Illustration of Object-Z Specifications - Wafula, Swatman (1995) (1 citation) (Correct)
Software Evolution as the Key to Productivity - Nierstrasz (Correct)
Formal Object-Oriented Method Sfoom - Swatman (Correct)
On Documenting the Requirements for Computer Programs Based.. - Kreyman, Parnas (Correct)
A Pragmatic Approach to Formalizing Object-Oriented Modeling and.. - Jia (1997) (1 citation) (Correct)
Formal Methods and Mechanical Verification applied to.. - Vos, Swierstra, Prasetya (1996) (Correct)
Structure and Hierarchy in Real-Time Systems - Möller (2002) (Correct)
A ProCoS-WG Working Group Final Report: ESPRIT.. - Bowen, Hoare.. (1998) (2 citations) (Correct)
Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1993) (11 citations) (Correct)
The Role Of Testing In The B Formal Development Process - Waeselynck, Boulanger (Correct)
Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1992) (11 citations) (Correct)
Experience Teaching Z with Tool and Web Support - Bowen (2001) (Correct)
The LAST Project - Jimenez, Jimemez (Correct)
The Ethics of Safety-Critical Systems - Bowen (2000) (1 citation) (Correct)
Software Engineering with Formal Methods: The.. - Tretmans, Wijbrans.. (2001) (Correct)
A Natural Language Front-End to Model Generation - Fuchs, Schwertel, Torge (2000) (Correct)
Goal-Driven Combination of Software Comprehension.. - Mittermeir.. (2001) (1 citation) (Correct)
Object Specification and Testing using VTL - Simons, Stannett, Bogdanov.. (Correct)
A Natural Language Front-End to Automatic Verification.. - Fuchs, Schwertel, Torge (Correct)
Appliances and Software: The Importance of the Buyer's Warranty.. - Berry (Correct)
Automatic Generation of Software Test Cases From Formal.. - Meudec (1998) (5 citations) (Correct)
Formal Methods in the 21'st Century: An Assessment of Today -.. - Bjørner (1998) (Correct)
Software Engineering II - Paulson (1999) (Correct)
Formal Methods: The very idea, some thoughts about why they work.. - Berry (1999) (Correct)
A Practical Approach to Security Assessment - Kienzle, Wulf (1997) (2 citations) (Correct)
Method Integration for Real-Time System Design and Verification - Priddin (2000) (Correct)
Validating Requirements: The Evolutionary Approach - Lemoine And Marre (Correct)
Experience Teaching Z with Tool and Web Support - Bowen (2001) (Correct)
Seven More Myths of Formal Methods: Dispelling Industrial.. - Bowen, Hinchey (1994) (9 citations) (Correct)
Challenges and Research Directions in Agent-Oriented Software.. - Zambonelli (2004) (2 citations) (Correct)
Accepted paper in Integrated Design and Process Technology .. - Dorian Petit Vincent (2003) (Correct)
How to Formalize It? Formalization Principles for.. - Hofstede, Proper (1998) (Correct)
Teaching ASMs, Teaching with ASMs: Opportunities in.. - Huggins, Mayo, Wallace (Correct)
Benefits and Problems of Formal Methods - Gogolla (2004) (Correct)
Unknown - Ning Iterative Programs (Correct)
The Use of Industrial-Strength Formal Methods - Bowen, Hinchey (1997) (1 citation) (Correct)
Towards an FCA based tool for visualising Formal Specifications - Tilley (2003) (Correct)
Attempto Controlled English - Not Just Another Logic.. - Fuchs, Schwertel.. (1999) (5 citations) (Correct)
Software Engineering II - Computer Science Tripos (2002) (Correct)
Formal Methods and the Certification of Critical Systems - Rushby (1993) (50 citations) (Correct)
Software Specification: A Comparison of Formal Methods - Gannon, Purtilo, Zelkowitz (2001) (9 citations) (Correct)
A Formal View of Multicomputers - Gallud, García, Quiles (Correct)
Pigs from Sausages? Reengineering from Assembler to C via FermaT.. - Ward (2004) (Correct)
Accepted paper in Integrated Design and Process Technology .. - Dorian Petit Vincent (2003) (Correct)
Requirements Engineering - Berztiss (Correct)
Practical Computer Security Analysis - Kienzle (1998) (Correct)
JML Reference Manual - Leavens, Poll, Clifton, Cheon, Ruby, .. (2004) (5 citations) Self-citation (Hall) (Correct)
JML Reference Manual - Draft Revision December Self-citation (Hall) (Correct)
First 50 documents Next 50
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