16.355J | Fall 2005 | Graduate

Software Engineering Concepts

Lecture Notes



This resource includes the following topics - Requirements Specification, Design Specification, Attributes of a good requirements document, Ensuring a Successful Product, Types of Specifications, Input-Output Assertions, Abstract Model Specifications, and Example of a State Machine Model.

Resource Type:
Lecture Notes