Quick Index

• Models of Software Systems .
• Lecture 1 Course 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 Logics Used 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) .

These pages and the information above are (c)1996 copyright CMU Computer Science unless stated otherwise.