What are Formal Methods?
Formal Specification in Software Development
Goals and Objectives
Specification and Design
Benefits of Using Formal Specifications and Methods
Formal Specifications are not yet widely used
Formal Specification Languages
Desirable Properties
Types of Formal Specifications
Characteristics
Basic Specification Language Types
Formal Specification Languages: Clock Example
Abstract Model Specifications
Abstract Model Specifications: the Z Notation
Abstract Model Specifications: Z Clock - 1
Abstract Model Specifications: Z Clock - 2
Algebraic Specification
Algebraic Specifications - 2
Algebraic Specifications: a simple notation
Algebraic Specifications: Algebraic CLOCK
Algebraic Specifications: Algebraic CLOCK - 2
Algebraic Specifications: Algebraic CLOCK - 3
State Transition Specifications
State Transition Specifications: State Charts Clock
State Transition Specifications: ASLAN Clock
State Transition Specifications: ASLAN Clock - 2
Axiomatic Specifications
Axiomatic Specifications: VDM Clock
Axiomatic Specifications: VDM Clock - 2
Email: redmiles@ics.uci.edu
Home Page: http://www.ics.uci.edu/~redmiles/