| Last modified: 20070430:153249/added explanation and progress indicator | CSE4213 AJH-2007-27 |
Lecture 17: Structuring Specifications
Structuring Specifications
Structuring Specifications
| presentation | slides as given in lectures, with multiple slides per points | 174 pages |
| notes | the slides reduced to note form, even more suitable for printing | 36 pages |
A case study extending the Simple Library Specification to the point of our first implementation. A key objective in this lecture is to explore how structuring issues affect the system specification.
Covered in this lecture: slides 1-75 (presentation).
previous lecture next lecture
Document History
| 20070430:153249 | 6.0.1 | ajh | added explanation and progress indicator |
| 20070425:124832 | 6.0.0 | ajh | version for 2007 |