CS 5381 Topics in Software Engineering/CS 4390 Special Topics - Introduction to Formal Methods, Fall 2016

This is the home page of the Fall 2016 offering of CS 5381 Topics in Software Engineering/CS 4390 Special Topics at The University of Texas at El Paso, as taught by Yoonsik Cheon.

Date News
new news item 12/06 Final letter grades are posted on the Grades page. If you have questions regarding your grade, see me tomorrow (Wednesday, December 7) at 3-4 p.m.
11/16 The last homework assignment (HW4) is available from the Assignments page.
10/31 You can find an updated lecture notes of the tabular notation (including sample solutions) from the Lecture notes page.
10/31 CS 5381 students: The proposal reviews are due on Wednesday, November 2. You can download a soft-copy of the review form from the Assignments page.
10/19 CS 5381 students: A project proposal is due on Monday, October 24th. You will need to prepare a 2-page written proposal and a 5-minute in-class presentation; refer to the Assignments page.
10/13 HW2 scores are posted on the Grades page; use the login name and password given in class.
9/27 HW2 is out and available from the Assignments page.
9/14 The first homework (HW1) is available from the Assignments page; refer to the Misc page for many freely available Z resources such as slides, textbooks, and editing tools.
8/31 You can find an updated version of class diagram lecture notes from the Lecture notes page.
8/24 As you may already know, a course mailing list, cs4390c@listserv.utep.edu, was created to facilitate course-related discussions and to make important announcements. Your UTEP e-mail address was added to the list; you can also subscribe to the mailing with a different e-mail address at http://listserv.utep.edu/mailman/listinfo/cs4390c. Please, feel free to send course-related messages to the mailing list.
8/22 As announced today, we will meet in CCSB 1.0510 starting this Wednesday.
8/22 Today's lecture notes are available from the Lecture notes page.
8/17 A draft course syllabus is available [syllabus.pdf].

Last modified by Yoonsik Cheon: $Id: news.html,v 1.43 2016/12/06 21:37:41 cheon Exp $