PPT Slide

SPECL: A Formal Specification Language

Kendra Cooper

October 8, 1997

1. Introduction to Role of Requirements

2. Research Problem

3. Expected Results and Current Status

Thesis Committee

Dr. Ito, Co-Supervisor, UBC

Dr. Joyce, Co-Supervisor, Hughes Aircraft of Canada Limited & UBC

Dr. Bond, Committee Member, UBC

Dr. Hoffman, Committee Member, UVic

Dr. Krutchen, Committee Member, Rational Software Corporation

Next slide

Back to first slide

View graphic version