Desert Island column

Research output: Contribution to journalArticlepeer-review

Abstract

A collection of classic books and publications, which have extensively contributed to the success in software engineering researches, is discussed. A book on The Correctness Problem in Computer Science holds technical content on software engineering profession, which can change the direction of careers regarding this field. The Silver Bullets, one of the classics of software engineering, warns on complacency in software development, and emphasizes to concentrate on more appropriate development methods to software specifications, design and testing to achieve great advances in software productivity. Ten Commandments of Formal Methods brings a message of active application to a wider computing community fostering their interest in the field of formal methods, and also insights into the future role of the formal methods in developing critical systems. Other books included in the collection are Systematic Software Development using VDM and Software Engineering Mathematics.

Original languageEnglish
Pages (from-to)393-402
Number of pages10
JournalAutomated Software Engineering
Volume15
Issue number3-4 SPEC. ISS.
DOIs
Publication statusPublished - Dec 2008

Keywords

  • Desert Island Books

Fingerprint

Dive into the research topics of 'Desert Island column'. Together they form a unique fingerprint.

Cite this