Models of Software Systems

Table of Contents

Models of Software Systems

Lecture 1Course Introduction

General Information

Computing and Communication

Readings

Homework

Grading

Dates

Course Rationale

Relationship to Other Core Courses

Relationship to Studio

Some of the Models and LogicsUsed in Software Engineering

This Course

Objectives

Viewpoint

Example

The Problem

Testing

A Formal Model

Example : Reasoning

Moral

What is a Formal System?

Basic Elements

Syntax: Formal Languages

Example

Grammars

Semantics

Inference Systems

Proofs and Theorems

Example

Example (continued)

Example (continued)

Consistency and Completeness

Derivations

Example

For Next Time

Additional Readings(Mostly on Reserve)

Email: shawnh@cs.cmu.edu

Home Page: http://www.cs.cmu.edu/afs/cs/academic/class/15671-f97/www