 |
|
|
|
|
|
| Tutorial 9 slides published | | --Course Staff. |
|
| Created on 13/5/2012, 10:55:34 |
|
|
|
|
|
|
|
|
|
|
|
|
| Tutorial 8 slides published | | --Course Staff. |
|
| Created on 6/5/2012, 09:09:30 |
|
|
|
|
|
|
|
|
|
|
|
|
| Lecture Slides Published | | --Course Staff. |
|
| Created on 3/5/2012, 12:07:30 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW3 is published | Due date: 29/05
In order to avoid any technical problems, we highly recommend you check that you can use rhapsody and do the examples of the tutorial during this and the following week.
In addition, the differences between statecharts theory and rhapsody are explained in the tutorial. For any questions, you can ask the course staff.
Good luck! |
|
| Created on 1/5/2012, 14:23:31 |
|
|
|
|
|
|
|
|
|
|
|
|
| Tutorial 7 slides published | | --Course Staff. |
|
| Created on 29/4/2012, 01:22:45 |
|
|
|
|
|
|
|
|
|
|
|
|
| Statechart material added | The original paper by David Harel on Statecharts is now in the Course Materials. This is intended as general background for those interested, since some details differ from modern tools for
Statecharts or State diagrams.
-- Course staff |
|
| Created on 23/4/2012, 17:59:50 |
|
|
|
|
|
|
|
|
|
|
|
|
| For the tutorial group on Wednesdays: | The tirgul hashlama (Tutorial 6 - Statecharts) will be on Sunday 29/04 16:30 Taub 4.
The next tutorial will be as usual on Wednesday 02/05 09:30
If you can't come on Sunday, you can ask during the reception hours.
-- Course staff
|
|
| Created on 23/4/2012, 12:32:12 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW1 is checked | Will be returned to the cells tomorrow.
You can find a (possible!) solution for HW1 in the assignments section, please take a look as it also contains common errors.
--Course staff. |
|
| Created on 22/4/2012, 17:02:43 |
|
|
|
|
|
|
|
|
|
|
|
|
| Tutorial 6 slides published | | -- Course Staff. |
|
| Created on 22/4/2012, 14:49:52 |
|
|
|
|
|
|
|
|
|
|
|
|
| [Update] For the tutorial group on Wednesdays: | Given that there are students who cannot on Sunday, and others who cannot on Wednesday morning, the tutorial would be on Wednesday 02/05 12:30 (there shouldn't be other classes at that time).
Please, let me know if anyone can't come, and we'll try to see how to solve it.
Cynthia |
|
| Created on 18/4/2012, 14:25:28 |
|
|
|
|
|
|
|
|
|
|
|
|
| For the tutorial group on Wednesdays: | Next Wednesday there is no tutorial, to compensate we can meet either on Sunday 29/04 at 16:30 or the following Wednesday (02/05) before the tutorial (08:30) and have a two-hour tutorial.
Please, send Cynthia an email if anyone has a problem meeting on Sunday 29/04, in that case it will be on Wednesday 02/05.
|
|
| Created on 18/4/2012, 11:47:51 |
|
|
|
|
|
|
|
|
|
|
|
|
| Tutorial 5 slides published | | --Course Staff
|
|
| Created on 15/4/2012, 15:04:44 |
|
|
|
|
|
|
|
|
|
|
|
|
| Lecture Slides + Homework 2 Published | Due date: 30/4.
Happy Holidays,
--Course Staff. |
|
| Created on 2/4/2012, 19:41:40 |
|
|
|
|
|
|
|
|
|
|
|
|
| Tutorial 4 slides published | | --Course Staff
|
|
| Created on 1/4/2012, 12:00:20 |
|
|
|
|
|
|
|
|
|
|
|
|
| Updated version of HW1 published & FAQ opened | The update contains slight changes, these are addressed in the FAQ as well.
--Course Staff. |
|
| Created on 25/3/2012, 19:26:23 |
|
|
|
|
|
|
|
|
|
|
|
|
| Tutorial 3 slides published | | --Course Staff |
|
| Created on 24/3/2012, 20:00:23 |
|
|
|
|
|
|
|
|
|
|
|
|
| Slightly updated version of tutorial 2 is published | For those of you who already printed the previous version, you need only print out the last 2 slides and make a small correction in slide 5.
--Course Staff. |
|
| Created on 20/3/2012, 13:53:23 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework 1 is published. | Due date: 2/4/2012 23:55.
--Course Staff. |
|
| Created on 18/3/2012, 17:18:46 |
|
|
|
|
|
|
|
|
|
|
|
|
| Tutorial 2 has been published | | --Course staff |
|
| Created on 18/3/2012, 09:23:14 |
|
|
|
|
|
|
|
|
|
|
|
|
| Tutorial 1 slides published | | --Course Staff |
|
| Created on 11/3/2012, 11:25:50 |
|
|
|
|
|
|
|
|
|
|
|
|
| Welcome + First lectures published | Dear students,
Welcome to the Formal Specifications course!
The first lectures have already been published, we recommend you bring and annotate the material to be taught in each class.
See you there,
Course staff. |
|
| Created on 7/3/2012, 17:17:14 |
|
|
|
|
|
|
Technion - Israel Institute of Technology 
