17-651 Models of Software Systems

Units: 12.0 Department: Software Engineering Special permission: Yes Related URLs: http://www.cs.cmu.edu/afs/cs/project/mse Sections D and G are NOT available for on-campus students. Scientific foundations for software engineering depend on the use of precise, abstract models for characterizing and reasoning about properties of software systems. This course considers many of the standard models for representing sequential and concurrent systems, such as state machines, algebras, and traces. It shows how different logics can be used to specify properties of software systems, such as functional correctness, deadlock freedom, and internal consistency. Concepts such as composition mechanisms, abstraction relations, invariants, non-determinism, inductive definitions and denotational descriptions are recurrent themes throughout the course. This course provides the formal foundations for the other core courses. Notations are not emphasized, although some are introduced for concreteness. Examples are drawn from software applications. After completing this course, students will: 1. understand the strengths and weaknesses of certain models and logics including state machines, algebraic and process models, and temporal logic 2. be able to select and describe appropriate abstract formal models for certain classes of systems, describe abstraction relations between different levels of description, and reason about the correctness of refinements 3. be able to prove elementary properties about systems described by the models introduced in the course PREREQUISITE: Undergraduate discrete math including first-order logic, sets, functions, relations, proof techniques (such as induction). Please send mail to the instructor, David Garlan , for permission to enroll. The letter should indicate something about your background, whether you have taken an undergraduate discrete math course, and why you would like to take the course.

Popularity index Rank for this semester: #0 Rank in this department: #0   Students also scheduled 15-441 Computer Networks 70-371 Production I 70-364 Business Law 15-393 Special Topic: Software Engineering... 69-134 Beginning Golf 69-136 Basketball Skills 39-200 Business for Engineers 15-451 Algorithm Design and Analysis 21-301 Combinatorics 17-652 Methods: Deciding What to Design

Spring 2005 times

No sections available for semester Spring 2005.