4010-420 - Methods of Specifi cation and Design

Institution:

Rochester Institute of Technology

Subject:

Description:

Introduction to the development of mathematical models of software systems, and the application of such models to the analysis of system properties and verifi cation of design and implementation decisions. Topics include a brief review of logic and set theory, the use of formalism such as Z or VDM, the development of models using the formalism and analysis via simulation or proof of a model's properties. The application of other formalisms, such as state machines and regular expressions, is also surveyed. (1016-366, 4010-362) Class 4, Credit 4

Credits:

4.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.rit.edu/

Phone Number:

(585) 475-2411

Regional Accreditation:

Middle States Association of Colleges and Schools

Calendar System:

Quarter

The Course Profile information is provided and updated by third parties including the respective institutions. While the institutions are able to update their information at any time, the information is not independently validated, and no party associated with this website can accept responsibility for its accuracy.