Software Engineering and Formal Methods

The answer to software reliability concerns may lie in formal methods.

Saved in:
Bibliographic Details
Published in:Communications of the ACM 2008-09, Vol.51 (9), p.54-59
Main Authors: HINCHEY, Mike, JACKSON, Michael, COUSOT, Patrick, COOK, Byron, BOWEN, Jonathan P, MARGARIA, Tiziana
Format: Magazinearticle
Language:English
Subjects:
Applied sciences
CAE
Computer aided engineering
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Computer systems performance. Reliability
Exact sciences and technology
Software
Software engineering
Software reliability
Trends
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The answer to software reliability concerns may lie in formal methods.
ISSN:0001-0782
1557-7317
DOI:10.1145/1378727.1378742