Table of Contents
CS 501: Software EngineeringFall 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 |