CSE584: Software Engineering Lecture 6 (May 6, 1997)

5/7/97


Click here to start


Table of Contents

CSE584: Software Engineering Lecture 6 (May 6, 1997)

Lecture 6, Outline [approximate minutes]

Requirements specification

Ambiguity

Shoes and dogs

Optative vs. indicative moods

Optative and indicative

Optative or indicative?

Jackson examples: which mood?

Principle of Uniform Mood

Defining terms

“dog” (noun)

“shoe” (noun, Webster’s)

Designation

Using designations

Refutable descriptions

More designations?

Definitions

Designations in Z

More on designations

Which to use?

Term limits

Informal approaches

“Will” and “Shall”

Structured requirements

Formal methods

Potential benefits

Styles of formal specifications

Model oriented

Algebraic specifications

Process based specifications

Finite state based specifications

Examples we’ll look at

Telephone features in Z

Background

More background

Features

Features

Features

Appropriate level?

Basic model

Physical view

Logical alternative

Clusters

A scenario

Empty cluster…and

Z schemas

Statecharts

 Acrobat

Author: CSE

Email: notkin@cs.washington.edu

Home Page: http://www.cs.washington.edu/homes/notkin