A Framework for Multi-notation Model-oriented Requirements Analysis

Nancy Day

PhD Thesis Defense presentation, University of British Columbia, 5 October 1998

Examiners: Jeff Joyce, CS; Paul Gilmore, CS; Peter Lawrence, ECE; Jim Little, CS; Jose Marti, ECE

External examiner: Jo Atlee

Thesis

Click here to start

Table of Contents

• Title Slide
• Context
• The Problem
• Characteristics of a Solution
• Existing Approaches
• Solution
• Foundations
• Overview of sub-problems
• Symbolic functional evaluation (SFE)
• Examples
• Example #1: Home Heating System
• Several slides showing parts of the example and sample output (missing)
• Example #2: Separation Minima for Aircraft
• Example #3: Aeronautical Telecommunications Network
• Summary

This page was last updated 17 Dec 1998.

Send questions or comments to Nancy Day < nday@cse.ogi.edu >