Software engineering and formal methods

Authors:
Mike Hinchey;Michael Jackson;Patrick Cousot;Byron Cook;Jonathan P. Bowen;Tiziana Margaria
Affiliations:
University of Limerick, Ireland;The Open University, Milton Keynes, England;Ecole Normale Supérieure;Cambridge University;London South Bank University;Institute of Informatics, Universität Potsdam, Germany
Venue:
Communications of the ACM - Enterprise information integration: and other tools for merging data
Year:
2008

Method engineering for real-life concurrent systems

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
High-Integrity System Specification and Design

High-Integrity System Specification and Design
Systematic design of program analysis frameworks

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Seven Myths of Formal Methods

IEEE Software
Seven More Myths of Formal Methods

IEEE Software
Recovery Oriented Computing (ROC): Motivation, Definition, Techniques,

Recovery Oriented Computing (ROC): Motivation, Definition, Techniques,
Termination proofs for systems code

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Thread-modular shape analysis

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Proving thread termination

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Varieties of Static Analyzers: A Comparison with ASTREE

TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Astrée: from research to industry

SAS'07 Proceedings of the 14th international conference on Static Analysis

The Singularity system

Communications of the ACM
Review of software abstractions: logic, language and analysis by Daniel Jackson M.I.T. Press, 2006

ACM SIGACT News
From a community of practice to a body of knowledge: a case study of the formal methods community

FM'11 Proceedings of the 17th international conference on Formal methods
UML/SysML semantic tunings

Innovations in Systems and Software Engineering
Coupling-based transformations of Z specifications into UML diagrams

Innovations in Systems and Software Engineering
Is there evolution before birth? deterioration effects of formal Z specifications

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
A theory of classes from the theoretical foundations of LePUS3

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Checking sanity of software requirements

SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Reasoning about conditional constraint specification problems and feature models

Artificial Intelligence for Engineering Design, Analysis and Manufacturing

Hi-index	0.02

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