The entire book, by Carroll Morgan, is available online.
The book teaches elementary programming using a formal approach. Programs begin as specifications, and are formally rewritten (or transformed) into executable code.
The specification is thus gradully refined. But the specification itself is no less formal then the end result.
Several chapters contain detailed case studies.
Posted to Software-Eng by Ehud Lamm on 12/22/01; 9:50:34 AM