✦ LIBER ✦

A formalization and explication of the Michael Jackson method of program design

✍ Scribed by J. W. Hughes

Book ID: 118286410
Publisher: John Wiley and Sons
Year: 1979
Tongue: English
Weight: 595 KB
Volume: 9
Category: Article
ISSN: 0038-0644
DOI: 10.1002/spe.4380090304

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The use of formal program design methods

The use of formal program design methods in the teaching of computer science and data processing students

✍ Peter Smith; Barrie Thompson 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 900 KB

Use of the Program Explication Method to

Use of the Program Explication Method to Explore the Benefits of a Service for Homeless and Marginalized Young People

✍ John H. Bamberg; Melika Chiswell; John W. Toumbourou 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 179 KB

Generative Design Methods and the Explor

Generative Design Methods and the Exploration of Worlds of Formal Possibility

✍ Steadman, Philip 📂 Article 📅 2014 🏛 John Wiley and Sons 🌐 English ⚖ 869 KB

Formal mentoring programs: The relations

Formal mentoring programs: The relationship of program design and support to mentors’ perceptions of benefits and costs

✍ Marc R. Parise; Monica L. Forret 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 199 KB

Design and formal proof of a new optimal

Design and formal proof of a new optimal image segmentation program with hypermaps

✍ Jean-François Dufourd 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 278 KB

This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an optimal imperative program. The planar subdivisions are modeled by hypermaps. The formal specifications of hypermaps and seg

Toward a wider use of formal methods for

Toward a wider use of formal methods for aerospace systems design and verification

✍ Yamine Ait Ameur; Frédéric Boniol; Virginie Wiels 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 135 KB