pop up description layer
Last modified: 20090603:154737/first version for 2009

FIT3013 AJH-2009-33

LM10: Refinement Revisited

The Queue Machine

The Queue Machine

presentation slides used in the presentation (actually an updated version) 238 slides
notes the slides reduced to note form, even more suitable for printing 34 pages

Refinements as a lattice: a series of refinements to a full specification

previous: LM9: The Bridge Problem next: LM11: Sorting

Document History

20090603:154737 8.0.0 ajh first version for 2009
This page maintained by John Hurst.
Copyright Monash University Copyright Policy
54 accesses since
14 May 2009
My PhotoTrain Photo

Generated at 20090716:2314 from an XML file modified on 20090603:1600
Maintainer use only; not generally accessible: Local Server Work Server CSSE Server

404 accesses since 18 Jul 2009, HTML cache rendered at 20120523:1358