Table of Contents
CS 501: Software Engineering Fall 1999
Administration
Schemas
LibSys: An Example of Z
LibSys: Operations
LibSys
Domain and Range
LibSys: Schema for Abstract States
Schema Inclusion
Schema Inclusion (continued)
Schemas Describing Operations
Operation: Issue a Book
Operation: Issue a Book
Operation: Issue a Book (continued)
Schema Decoration
Schema Decoration
The Schema Calculus
Requirements Definition and Analysis
The Requirements Process
|