CS 386 Derivational Programming

Total Credits: 3 cr

Course Coordinator: Jim Alves-Foss

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

Current Catalog Description: Introduction of a practical approach based on methodically developing programs from their specifications; focus on developing reliable programs with attent to real issues.

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: CS 210 Programming Languages and the followin spedific 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 cross references 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 386 a student should be able to: