SCADE | |
A pdf file of the SCADE lecture slides and another of the SCADE user experience are now in the Course Materials section, for the last seminar meeting, on Monday. |
פורסם ב-23/1/2011, 13:58:10 Created on 23/1/2011, 13:58:10 Создано23/1/2011, 13:58:10 تم النشر ب-23/1/2011, 13:58:10 |
UPPAAL | |
The pdf of the slides for UPPAAL, pdf explaning the user experience, and a zip of files for the user experience are now available in the Course Materials section. |
פורסם ב-16/1/2011, 16:52:26 Created on 16/1/2011, 16:52:26 Создано16/1/2011, 16:52:26 تم النشر ب-16/1/2011, 16:52:26 |
Double session: VCC and C++Test | |
Note that on January 10 the seminar has a double session, from 14:30--18:20, first on VCC, and then C++Test from Parasoft. The materials for both topics are in the Course Materials section of the Webpage. |
פורסם ב-9/1/2011, 09:46:53 Created on 9/1/2011, 09:46:53 Создано9/1/2011, 09:46:53 تم النشر ب-9/1/2011, 09:46:53 |
Spec# | |
The pdf of the slides for Spec#, pdf explaning the user experience, and a zip file with code for the user experience are now available in the Course Materials section. |
פורסם ב-2/1/2011, 08:25:56 Created on 2/1/2011, 08:25:56 Создано2/1/2011, 08:25:56 تم النشر ب-2/1/2011, 08:25:56 |
Boogie | |
The pdf of the slides for Boogie, pdf explaning the user experience, and a zip file with code for the user experience are now available in the Course Materials section. |
פורסם ב-26/12/2010, 17:33:06 Created on 26/12/2010, 17:33:06 Создано26/12/2010, 17:33:06 تم النشر ب-26/12/2010, 17:33:06 |
Spin | |
The pdf of the slides for Spin, the pdf explanation for the user exerience, and the zipped code for the user experience are now in the Course Materials section. |
פורסם ב-20/12/2010, 08:16:30 Created on 20/12/2010, 08:16:30 Создано20/12/2010, 08:16:30 تم النشر ب-20/12/2010, 08:16:30 |
SLAM/SDV now available | |
The slides, instructions for the user experience, and code for the user experience of SLAM/SDV are now in the Course Materials section. |
פורסם ב-12/12/2010, 16:54:55 Created on 12/12/2010, 16:54:55 Создано12/12/2010, 16:54:55 تم النشر ب-12/12/2010, 16:54:55 |
CBMC slides available | |
The pdf of the slides and the user experience for CBMC are now in the Course Materials section of the Webpage, for the lecture on November 29. |
פורסם ב-28/11/2010, 17:57:56 Created on 28/11/2010, 17:57:56 Создано28/11/2010, 17:57:56 تم النشر ب-28/11/2010, 17:57:56 |
Blast | |
The Course Materials part of the Webpage now has the pdf of the slides and the user experience for Blast, as well as the code segments needed for the user experience. Shmuel |
פורסם ב-22/11/2010, 07:56:57 Created on 22/11/2010, 07:56:57 Создано22/11/2010, 07:56:57 تم النشر ب-22/11/2010, 07:56:57 |
JML/ESC2 tools | |
The pdf of the slides and user experience for the Java Modelling Language and associated ESC2 tools are now available in the course materials section, for the lecture on Nov. 15. |
פורסם ב-14/11/2010, 15:28:18 Created on 14/11/2010, 15:28:18 Создано14/11/2010, 15:28:18 تم النشر ب-14/11/2010, 15:28:18 |
Java Pathfinder materials | |
The pdf of the slides and user experience for the Java Pathfinder presentation on Nov. 8 are now available in the Course Materials section of the Webpage. Shmuel |
פורסם ב-7/11/2010, 11:28:54 Created on 7/11/2010, 11:28:54 Создано7/11/2010, 11:28:54 تم النشر ب-7/11/2010, 11:28:54 |
Aspects and formal methods | |
The course materials section now has a pdf file with the slides from the lecture on aspects and formal methods, to be presented on Nov. 1. |
פורסם ב-31/10/2010, 15:42:05 Created on 31/10/2010, 15:42:05 Создано31/10/2010, 15:42:05 تم النشر ب-31/10/2010, 15:42:05 |
לוח זמנים מלא ל236800 | |
נע לעיין בלוח הזמנים המלא לסמינר, בחומרי הקורס ניתן לקבל הבהרות ממני ב שמואל ... |
פורסם ב-27/10/2010, 16:49:27 Created on 27/10/2010, 16:49:27 Создано27/10/2010, 16:49:27 تم النشر ب-27/10/2010, 16:49:27 |
Alloy materials available | |
The lecture slides and user experience for Alloy have been added to the Course Materials |
פורסם ב-25/10/2010, 08:16:29 Created on 25/10/2010, 08:16:29 Создано25/10/2010, 08:16:29 تم النشر ب-25/10/2010, 08:16:29 |
preliminary schedule for 236800 | |
The course materials section now has a preliminary schedule for the first several weeks. If you are listed, let me know if there is any problem with the schedule. On October 25, we will have Alloy. On November 1, I will give the talk, on tools for AspectJ, so everyone else has time to prepare their presentations. The rest of the topics start beginning on November 8. I will finish the schedule soon, after I get everyone's preferences. |
פורסם ב-21/10/2010, 17:20:39 Created on 21/10/2010, 17:20:39 Создано21/10/2010, 17:20:39 تم النشر ب-21/10/2010, 17:20:39 |
welcome to 236800 | |
I have set up the course webpage, and put under the course materials a pdf of the introductory lecture, explaining the organization, and the tools to be treated. There is also a document with pointers to all of the tools we will cover. Please be sure to attend the first lecture (actually attendance at all of the lectures is mandatory, except for miluim or illness.) L'hitraot, Shmuel |
פורסם ב-11/10/2010, 16:18:54 Created on 11/10/2010, 16:18:54 Создано11/10/2010, 16:18:54 تم النشر ب-11/10/2010, 16:18:54 |