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

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1391-12-27 March 17, 2013 08:30 AM  
The final grades are passed to AMOOZESH. See the Grades

  1391-12-08 February 26, 2013 06:01 PM  
Final Grades are ready. Check the Grades. If you want to see your final exam paper (if it is needed), send me an Email I will assign you a time.
Or come to my office in my free time (Check my Schedule).
I will pass the grades to Amoozesh on 91/12/20

  1391-11-30 February 18, 2013 02:20 PM  
Final project deadline will be on Friday, 91/12/04.
Your project report should include the specifications with comments and the changes you have made to your proposals.

  1391-11-29 February 17, 2013 11:08 AM  
Project presentations will be held on Sunday Bahman 91/11/29, at 16:00-18:00 in Room #403, Dr. Mirian's Lab.

Please pay attention to the timetable for project presentation.
Deadline extension requests will be considered in case of a good presentation.

  1391-11-01 January 20, 2013 07:24 PM  
Based on the written and signed request from all students, the final Exam date is changed to Monday 91/11/09 at 15. The room will be announced later.

  1391-10-28 January 17, 2013 12:44 PM  
Due to the delay in final exam, the deadline for HW3 is extended to Bahman 15th.

The project deadline can NOT be extended because of the deadline for passing the final grades to Amoozesh.

  1391-10-06 December 26, 2012 05:42 PM  
Grades of Quizes 4-8 are uploaded.

HW3 is added to Assignments section.
A sample file for HW3 is uploaded in Resources/Sample LaTeX HW/HW3 Sample/.

The details for the submission of your term project is added to Assignments section.
Please pay attention to the deadline and the timetable for project presentation.

  1391-09-29 December 19, 2012 10:12 AM  
Dear students,
You can collect your quizes on Wednesday(91/10/06, 16:00-18:00, Room #403, Dr. Mirian's Lab.)

  1391-09-22 December 12, 2012 02:16 PM  
The deadline for HW2 is extended to 1391/09/27.

  1391-09-22 December 12, 2012 02:09 PM  
Due to the requests, a sample file for HW2 is uploaded in Resources/Sample LaTeX HW/HW2 Sample/.

  1391-09-12 December 02, 2012 09:16 AM  
HW2 is added to Assignments section.

  1391-08-06 October 27, 2012 03:41 PM  
List of accepted project proposals until 91/08/06 is added to Resources section.

  1391-08-06 October 27, 2012 03:42 PM  
HW1 is added to Assignments section. Please read the file carefully.

Two sample LaTeX HWs are added to Resources section.

  1391-07-28 October 19, 2012 03:16 PM  
A file containing some suggested sources for your course presentations is added to Resources.

  1391-07-28 October 19, 2012 02:29 PM  
Grades of Quiz 3 are uploaded.
In this grades list you see some symbols:
1. Student with red CIRCLES haven't announced their groups yet. These students will be group-mates from now on.
2. Students with SQUARES of the same color are groups whose HW & project proposals are accepted.

Note that unless all of your three proposals are finalized, no solutions will be accepted. Also, there will be no extension to HWs due dates; Therefore, the later the acceptance, the shorter time you will have for HWs.

  1391-07-16 October 07, 2012 04:53 PM  
See the new time table in Resources.

  1391-07-14 October 05, 2012 03:08 PM  
Grades of Quiz 2 are uploaded.
The highlighted students have not sent their groups.
Send your groups and your HW proposals to TA's mail: siyari-at-ce.sharif.edu

  1391-06-30 September 20, 2012 08:11 PM  
Some hints about your HWs are uploaded in the Resources section.

  1391-06-30 September 20, 2012 08:09 PM  
Grades of Quiz 1 are uploaded.

  1391-06-26 September 16, 2012 05:47 PM  
See 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 5928 times since September 2012. Updated Tuesday 2015-04-07 12:05