ELECTRICAL AND COMPUTER ENGINEERING

Communication Theory

Course Number: 055:150:EXW

Credit: 3 undergraduate or graduate credits

Tuition: $672 undergraduate, $1047 graduate

ARRANGED, WORLD WIDE WEB

   Random processes, source coding, digital transmission at baseband, optimum receiver design for Gaussian noise, error probability and power spectrum analysis, signal design for bandlimited channels, digital carrier modulation, bandwidth/energy/error probability tradeoffs, coding for error detection and correction.

Prerequisites: 055:050 and 055:051

Instructor: Soura Dasgupta

 For information contact www.continuetolearn.uiowa.edu/ccp/, The University of Iowa Division of Continuing Education, Center for Credit Programs, 116 International Center, Iowa City, IA 52242-1802. Call toll-free 1-800-272-6430 or (319) 335-2575. Fax: (319) 335-2740.

To register visit: http://www.continuetolearn.uiowa.edu/ccp/de/regform.htm

Formal Methods in Software Engineering

Course Number: 055:181:EXW

Credit: 3 undergraduate or graduate credits

Tuition: $672 undergraduate, $1047 graduate

ARRANGED, WORLD WIDE WEB PLUS MEETING

   This course introduces formal models, methods, and their application in various phases of software engineering process. The purpose of formal methods is to enable the construction of large, highly reliable software. Their foundation is the precise specification of the run-time properties that a software system is expected to satisfy. The course presents a collection of techniques for formal software development including operational, algebraic, model-based, property-based specification methods; for the verification of consistency and completeness of specifications; for the verification of software properties. Course work includes exercises in specification construction and verification, both on paper and using formal method-based tools. The course is taught by a faculty member. This course is being offered via a virtual classroom which will require students to be logged into their computer from 2:30-3:45pm Tuesdays & Thursdays.

Computer Requirements: This course utilizes Virtual Classroom software. To learn more and see if your computer is compatible go to the following address: http://www.continuetolearn.uiowa.edu/ccp/tech-support/breeze/

Prerequisites: grade of C- or higher in 22C:180 or 055:180

Instructor: Cesare Tinelli

For information contact www.continuetolearn.uiowa.edu/ccp/, The University of Iowa Division of Continuing Education, Center for Credit Programs, 116 International Center, Iowa City, IA 52242-1802. Call toll-free 1-800-272-6430 or (319) 335-2575. Fax: (319) 335-2740.

To register visit: http://www.continuetolearn.uiowa.edu/ccp/de/regform.htm

Southwest Iowa Regents Resource Center
3501 Harry Langdon Blvd
ISD Campus, Careers Bldg
Council Bluffs, Iowa 51503
Phone: 712-366-3647
Fax: 712-366-1723
E-mail: swirrc@iastate.edu