CS 486 Software Specification

Total Credits: 3 cr

Course Coordinator: Jim Alves-Foss

URL: http://www2.cs.uidaho.edu/~jimaf

Current Catalog Description: Formal specification and analysis of software using a formal specification languag.

Textbook:  or equivalent text.

References: Additional course references are available on the course web site.

Course Goals: After completing this course a student should:

Prerequisites by Topic: List topics

Major Topics Covered in the Course:

Laboratory projects (specify number of weeks on each):

Estimated Curriculum Category Content:

Area	Core	Advanced	Area	Core	Advanced
Algorithms			Data Structures
Software Design			Prog. Languages
Computer Arch			Other

Oral and Written Communications:

Social and Ethical Issues:

Theoretical Content:

Problem Analysis:

Solution Design:

Course Outcomes: The following list documents the course outcomes and crossreferences them to the BSCS program outcomes. The letter at the beginning of each reference identifies the program outcome supported. The numbers sequentially identify the course outcome for this course. After completing CS 486 a student should be able to: