My Saved Searches

To save your searches,
please sign in.
Not a member yet?
Register now.

OER Matters

Learn more about the worldwide movement to make teaching and learning materials free and accessible for use and re-use by everyone.
 

Keywords: formal analysis

Displaying 1-2 of 2 results.

Sort by:
 

Advanced Software Engineering, Fall 2002

Rating:
Type: Course Related Materials
Subject: Science and Technology
Collection: MIT OpenCourseWare
Grade Level: Post-secondary

Abstract: A reading and discussion subject on advanced topics in the engineering of software systems. Focus on software development. Topics differ but are chosen from: software process and lifecycle; requirements development, specification and analysis; design principles; testing, formal analysis, and reviews; ... More »

Software Engineering Concepts, Fall 2005

Rating:
Type: Course Related Materials
Subject: Science and Technology
Collection: MIT OpenCourseWare
Grade Level: Post-secondary

Abstract: A reading and discussion subject on advanced topics in the engineering of software systems. Focus on software development. Topics differ but are chosen from: software process and lifecycle; requirements development, specification and analysis; design principles; testing, formal analysis, and reviews; ... More »