Preview Workflow

The CIM Courses system will be down temporarily undergoing routine maintenance.

Viewing: CSCI 6232 : Software Engineering Development

Last edit: Tue, 11 Apr 2017 15:28:59 GMT

Catalog Pages referencing this course
Other Courses referencing this course
School of Engineering and Applied Sciences
Computer Science (CSCI)
CSCI
6232
Software Engineering Development
Software Engr Development
3
Course Type
Lecture
Default Grading Method
Letter Grade

No
No
CSCI 6461, CSCI 6212
Corequisites



Frequency of Offering
Every Year
Term(s) Offered

Are there Course Equivalents?
No
 
No
Fee Type


No


Formal methods in software engineering. First-order logic, basic specification elements, rigorous proofs, formal development process, concurrency.

Uploaded a Course Syllabus

Course Attribute
CCAS - Professional

Key: 2182