Formal Specification and Verification of Programmes 40-745 
  CE Department- Sharif University of Technology 1 - Group 1 

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1390-01-16 April 05, 2011 08:59 AM  
Grades are Passed to Amoozesh on 90/1/14. See Grades

  1389-12-22 March 13, 2011 03:36 PM  
Final grades are ready. Please check your Exercise, quizes and project
grades and let me know any inconsistencies till Tuesday 89/12/24.
I will pass the grade to Amoozesh on 89/12/25.

Note that: Two projects and one assignment 3 grades are missing from this list

  1389-11-19 February 08, 2011 04:42 AM  
IMPORTANT: The project deadline is extended until 89/11/23. The hard copies MUST be delivered the same day to TA. Delayed projects will be ignored.

  1389-11-09 January 29, 2011 05:45 PM  
Final Exam, quizes, exercise 1 and the presentation grades are ready. see
Grades. To see your Final exam paper send me an Email and I will assign you a time.

  1389-11-03 January 23, 2011 05:10 PM  
The project deadline is 89/11/14. This deadline is firm.

  1389-10-28 January 18, 2011 08:14 AM  
The Exercise 3 deadline is extended until 89/11/6.

  1389-10-19 January 09, 2011 11:26 AM  
You can pick your quiz 4 & quiz 5 papers from Dr. Mirian's office.

  1389-10-06 December 27, 2010 08:08 PM  
Check Assignments section.

  1389-10-01 December 22, 2010 08:06 PM  
The Exercise 2 deadline is extended until 89/10/5.

  1389-09-23 December 14, 2010 03:21 PM  
Check the resources for new timetable

  1389-09-16 December 07, 2010 10:08 PM  
Check Assignments section.

  1389-08-19 November 10, 2010 04:33 PM  
The Exercise 1 deadline is extended until 89/8/30. This deadline is firm an delayed exercises are ignored.

  1389-08-19 November 10, 2010 10:34 AM  
Check the Grades section (Quiz 3).

  1389-08-11 November 02, 2010 02:04 PM  
Assignment 1 is revised.

  1389-08-11 November 02, 2010 10:08 AM  
The Assignments file is updated. Check Resources.

  1389-08-11 November 02, 2010 09:18 AM  
Check the Grades section.

  1389-08-10 November 01, 2010 06:58 PM  
See the new version of Timetable in Resources.

  1389-08-08 October 30, 2010 05:35 PM  
Assignment 1 is uploaded. Check the Assignments section.

  1389-08-03 October 25, 2010 09:52 PM  
First & second programs should be finalized until 89/08/10. Otherwise these two programs will be ignored.

  1389-07-25 October 17, 2010 05:35 PM  
Check the Resources section for some presentation topics.

  1389-07-28 October 20, 2010 10:06 AM  
Check the Resources section. Your accepted programs are listed there. The cells with ? are conditionally accepted. You should send a detailed specification for these programs.

  1389-07-24 October 16, 2010 11:51 AM  
Check the Grades section.

  1389-07-04 September 26, 2010 05:11 PM  
Presentation used on  89/07/03 is uploaded. check the Resources

  1389-06-28 September 19, 2010 06:46 PM  
Check the timetable in Resources.

Instructor:
Seyed-Hassan Mirian-Hosseinabadi
(hmirian at sharif domain name)

3 Units
Saturday and Monday 10:30-12
Room: 204

 This website is visited 5315 times since September 2010. Updated Tuesday 2015-04-07 12:10