The mystery of formal methods disuse

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The mystery of formal methods disuse

Full text

Html (13 KB), Pdf

Pdf (64 KB)

Source

Communications of the ACM archive
Volume 47 , Issue 8 (August 2004) table of contents
Interactive immersion in 3D graphics

COLUMN: Practical programmer table of contents

Pages: 15 - 17

Year of Publication: 2004

ISSN:0001-0782

Author

Robert L. Glass

The Software Practitioner

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 71, Citation Count: 1

Additional Information:

abstract references cited by index terms

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1012037.1012052 What is a DOI?

ABSTRACT

A story of zealotry and chicanery.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

Wordsworth, J.B. Getting the best from formal methods. Information and Software Technology 41, 14 (Nov. 1999), 1027--1032.

CITED BY

Colin Snook , Michael Butler, UML-B: Formal modeling and design aided by UML, ACM Transactions on Software Engineering and Methodology (TOSEM), v.15 n.1, p.92-122, January 2006

INDEX TERMS

Primary Classification:
D. Software
D.3 PROGRAMMING LANGUAGES
D.3.2 Language Classifications