skip to main content
article
Free access

The mystery of formal methods disuse

Published: 01 August 2004 Publication History

Abstract

A story of zealotry and chicanery.

Reference

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

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Communications of the ACM
Communications of the ACM  Volume 47, Issue 8
Interactive immersion in 3D graphics
August 2004
93 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/1012037
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 2004
Published in CACM Volume 47, Issue 8

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)114
  • Downloads (Last 6 weeks)24
Reflects downloads up to 12 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2007)Balancing insight and effortFormal methods and hybrid real-time systems10.5555/1793874.1793884(237-254)Online publication date: 1-Jan-2007
  • (2007)Precise scenariosProceedings of the 6th international conference on Integrated formal methods10.5555/1770498.1770500(21-36)Online publication date: 2-Jul-2007
  • (2007)Balancing Insight and Effort: The Industrial Uptake of Formal MethodsFormal Methods and Hybrid Real-Time Systems10.1007/978-3-540-75221-9_10(237-254)Online publication date: 2007
  • (2007)Precise Scenarios – A Customer-Friendly Foundation for Formal SpecificationsIntegrated Formal Methods10.1007/978-3-540-73210-5_2(21-36)Online publication date: 2007
  • (2006)UML-BACM Transactions on Software Engineering and Methodology (TOSEM)10.1145/1125808.112581115:1(92-122)Online publication date: 1-Jan-2006
  • (2005)Professional licensing and the social transformation of software engineersIEEE Technology and Society Magazine10.1109/MTAS.2005.144238024:2(40-45)Online publication date: Oct-2006
  • (2005)Challenges in Software EvolutionProceedings of the Eighth International Workshop on Principles of Software Evolution10.1109/IWPSE.2005.7(13-22)Online publication date: 5-Sep-2005

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Full Access

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media