CourseBook :: Class Search
Search Results (item)
Course Title:Mathematical Foundations of Software Engineering
Class Info.:
Class Section:SE3306.001.13S Activity Type:Lecture
Class Level:Undergraduate Class Number:23320
Class Credits:3 Credits Inst. Mode:Face-to-Face
Grading:Graded - Undergraduate Session Type:Regular Academic Session (1)
Status:Section Status: OPEN    Available Seats: 6    Enrolled Total: 54   
Description:
SE 3306 - Mathematical Foundations of Software Engineering (3 semester hours) Boolean logic, first-order logic, models of first-order logic. Introduction to program verification, applications in software engineering. Completeness Theorem. Regular expressions, regular sets, finite-state machines, and applications in software engineering. Graph Theory, graph algorithms. Statecharts, Petri Nets and their role in software engineering. Prerequisite: CE/CS/TE 2305 or equivalent. (3-0) S
Instructor(s):
Alvaro Cardenas      email: axc127431@utdallas.edu
Schedule:

Class Location and Times

Location: UT Dallas - Main Campus

Monday & Wednesday:  11:30am-12:45pm   ECSS 2.311

Term: Spring 2013
Session Type: Regular Academic Session (1)
Starts: January 14, 2013
Ends: May 13, 2013

ECSS Building - Floor 2 - Room 2.311
Exams:Date: May 13, 2013   Time: 11:00am-1:45pm   Location: ECSS 2.311
College:Erik Jonsson School of Engineering and Computer Science
Syllabus:Syllabus for Mathematical Foundations of Software Engineering (se3306.001.13s) taught by Alvaro Cardenas.
Class Evaluation:A class evaluation for Mathematical Foundations of Software Engineering (se3306.001.13s) taught by Alvaro Cardenas hasn't been posted.
The direct link to this class is: http://go.utdallas.edu/se3306.001.13s
Register for this class on Orion: http://orion.utdallas.edu