Desert Island Column

Authors:
Mike Hinchey
Affiliations:
Lero---the Irish Software Engineering Research Centre, University of Limerick, Limerick, Ireland
Venue:
Automated Software Engineering
Year:
2008

Citing 16
Cited 0

Systematic software development using VDM

Systematic software development using VDM
No Silver Bullet Essence and Accidents of Software Engineering

Computer
Methodology: the experts speak

BYTE
Software engineering mathematics

Software engineering mathematics
A Specifier's Introduction to Formal Methods

Computer
Biting the Silver Bullet: Toward a Brighter Future for System Development

Computer
Experience with Formal Methods in Critical Systems

IEEE Software
Communicating sequential processes

Communications of the ACM
High-Integrity System Specification and Design

High-Integrity System Specification and Design
The Correctness Problem in Computer Science

The Correctness Problem in Computer Science
Ten Commandments of Formal Methods

Computer
Seven Myths of Formal Methods

IEEE Software
Seven More Myths of Formal Methods

IEEE Software
Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation

ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Confessions of a formal methodist

SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Ten Commandments of Formal Methods ...Ten Years Later

Computer

Quantified Score

Hi-index	0.00

Visualization

Abstract