Learning Module 5: Library Case Study

The Library Case Study

presentation	slides as given in lectures, with multiple slides per point	151? pages
older B slides	slides from the B Methods version	50? pages
pdf slides	slides reduced with multiple points per slide	50? pages

In this lecture, we develop a specification from scratch, showing how each of the specification components is motivated.

Improvement

Rewrite slides for Event-B

previous: LM4: Formal Definitions of Relations next: LM6: Refinement - The Square Root Machine

Document History

20100331:112044

9.0.0

ajh

version for 2010

This page maintained by John Hurst.
Copyright Monash University Copyright Policy

20 accesses since
12 Feb 2012

Generated at 20120523:1334 from an XML file modified on 20100427:1620
Maintainer use only; not generally accessible: Local Server Work Server CSSE Server

147 accesses since 22 Mar 2010, HTML cache rendered at 20120525:0446