CS 501: Software Engineering Fall 1999

9/16/99


Click here to start


Table of Contents

CS 501: Software Engineering Fall 1999

Administration

Example from Lecture 6

Example from Lecture 6

Formal Specification

Formal Specification

Mathematical Specification

Specification of Programming Languages

Formal Specification Using Diagrams

Two Rules

Example: Specification

Example: Algorithm

Example: Program

Finite State Machine

Finite State Machine

State Transition Diagram

State Transition Table

Z Specification

Z Specification (continued)

Reading

Author: payette