Index of /~RedVerst/RedVerst/Lectures and training courses/MSU course Formal specification of software
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory 19-Dec-2005 13:09 -
![[ ]](/icons/unknown.gif)
Exam-2000-27.xls 28-Apr-2004 18:31 36k
Exam-2000.xls 28-Apr-2004 18:31 42k
Exam00-2.doc 28-Apr-2004 18:31 54k
![[TXT]](/icons/text.gif)
Program.html 28-Apr-2004 18:31 3k
Exam-Solutions99-1.doc 28-Apr-2004 18:31 85k
Lec-3-.doc 28-Apr-2004 18:31 64k
LectureSlides-1.html 28-Apr-2004 18:31 5k
LectureSlides-2.doc 28-Apr-2004 18:31 21k
LectureSlides-2.html 28-Apr-2004 18:31 6k
LectureSlides-4.htm 28-Apr-2004 18:31 23k
Bilety00.doc 28-Apr-2004 18:31 78k
![[ ]](/icons/compressed.gif)
Posobie1999.zip 28-Apr-2004 18:31 61k
RSL-00.DOC 28-Apr-2004 18:31 50k
raise_course4.ps.gz 28-Apr-2004 18:31 172k
Slides-1.doc 28-Apr-2004 18:31 43k
Test_drivers.doc 28-Apr-2004 18:31 54k
Testing-1.doc 28-Apr-2004 18:31 229k
Testing-11-00.doc 28-Apr-2004 18:31 558k
Testing-1-3-2001.doc 28-Apr-2004 18:31 642k
Testing-3.doc 28-Apr-2004 18:31 82k
ExampleExam2001.doc 28-Apr-2004 18:31 69k
Testing-2.doc 28-Apr-2004 18:31 402k
Bilety01-4.doc 28-Apr-2004 18:31 59k
LectureTypesVars.doc 28-Apr-2004 18:31 42k
Exam-2001.xls 28-Apr-2004 18:31 42k
![[DIR]](/icons/folder.gif)
RSL2CPP/ 28-Apr-2004 18:31 -
Colloquium231002-Sol..> 28-Apr-2004 18:31 70k
Exam-2001-26.xls 28-Apr-2004 18:31 49k
Possible Students Wo..> 28-Apr-2004 18:31 60k
RSL14_2.zip 28-Apr-2004 18:31 138k
Colloquium-2002.xls 28-Apr-2004 18:31 37k
Lecture2.doc 28-Apr-2004 18:31 122k
Lecture3.doc 28-Apr-2004 18:31 159k
Bilety-2002-sol-type..> 28-Apr-2004 18:31 166k
JatvaChecker.zip 28-Apr-2004 18:31 2.3M
Zachet-2002-18-1.xls 28-Apr-2004 18:31 45k
Bilety-2002-2-types.doc 28-Apr-2004 18:31 89k
Bilety02-12-25-sol.doc 28-Apr-2004 18:31 109k
Bilety03-4.doc 28-Apr-2004 18:31 57k
Lecture1.doc 28-Apr-2004 18:31 108k
Questions_mart03.doc 28-Apr-2004 18:31 37k
Tutorial.doc 28-Apr-2004 18:31 56k
Lecture 2 - Requirem..> 28-Apr-2004 18:31 160k
Lecture 3 - Formal S..> 28-Apr-2004 18:31 72k
Lecture 4 - RSL Type..> 28-Apr-2004 18:31 206k
Exam-2003.xls 28-Apr-2004 18:31 29k
Lecture-Analytical V..> 28-Apr-2004 18:31 139k
Lecture-PL Semantics..> 28-Apr-2004 18:31 334k
Lecture-PL Semantics..> 28-Apr-2004 18:31 107k
IMP-AST.ppt 10-May-2004 16:34 35k
SIL-Attribute.ppt 10-May-2004 16:34 73k
Examples.ppt 11-May-2004 11:35 26k
Tasks.ppt 11-May-2004 11:35 26k
Result_20040512.xls 21-May-2004 09:35 33k
Result-12-05-2004.xls 09-Jun-2004 13:53 33k
Result_20031222.xls 09-Jun-2004 13:53 43k
Result-31-05-2004.xls 09-Jun-2004 13:53 37k
Colloquium-2004-10-2..> 07-Dec-2004 15:35 36k
Staff.htm 09-Dec-2004 11:14 2k
Zachet-15-12-2004.xls 21-Dec-2004 13:04 72k
Colloquium-2004-11-3..> 23-Dec-2004 17:51 37k
Conspects2004.zip 02-Mar-2005 07:48 144k
~$cture1.doc 02-Mar-2005 07:48 1k
Lekciya_1-2005.doc 02-Mar-2005 07:48 49k
~$sting-1-3-2001.doc 02-Mar-2005 07:48 1k
Testing-3-2004-05.doc 02-Mar-2005 07:48 379k
readme 02-Mar-2005 18:45 1k
ctesk-docs.zip 02-Mar-2005 18:45 4.7M
![[ ]](/icons/binary.gif)
ctesk-setup.exe 02-Mar-2005 18:45 6.5M
posix.zip 02-Mar-2005 18:45 5.7M
table.xls 02-Mar-2005 18:45 254k
![[ ]](/icons/tar.gif)
ctesk-setup.tar 02-Mar-2005 18:46 6.3M
~$cture3.doc 12-Apr-2005 14:10 1k
24-Zachet-20-12-2004..> 10-May-2005 17:58 74k
Lecture-PL Semantics..> 10-May-2005 17:58 289k
Lecture-PL Semantics..> 10-May-2005 17:58 46k
Bilety-23-03-2005-co..> 10-May-2005 17:58 330k
Exam-04-05-2005.xls 10-May-2005 17:58 69k
Exam_20040121.xls 08-Jun-2005 15:16 18k
Exam-04-05-2005-1.xls 08-Jun-2005 15:16 100k
Exam-11-05-2005.xls 08-Jun-2005 15:16 73k
Exam-03-06-2005.xls 08-Jun-2005 15:16 98k
Results 20050608.xls 08-Jun-2005 15:16 93k
IMP-Attribute.ppt 03-Aug-2005 08:44 64k
FSofS-lec-1.ppt 27-Sep-2005 16:54 79k
FSofS-lec-10.ppt 27-Sep-2005 16:54 94k
FSofS-lec-3.ppt 27-Sep-2005 16:54 105k
LectureLists.doc 27-Sep-2005 16:54 57k
LectureMaps.doc 27-Sep-2005 16:54 31k
~$ctureLists.doc 27-Sep-2005 16:54 1k
FSofS-lec-Maps.ppt 27-Sep-2005 16:54 53k
Styrin/ 27-Sep-2005 17:27 -
Student-lectures-04-05/ 27-Sep-2005 17:27 -
FSofS-lec-4.ppt 04-Oct-2005 17:34 71k
FSofS-lec-5.ppt 04-Oct-2005 17:34 94k
FSofS-lec-6.ppt 04-Oct-2005 17:34 54k
Goals.html 04-Oct-2005 17:34 3k
Programme.html 04-Oct-2005 17:34 3k
![[ ]](/icons/a.gif)
raise_course4.ps 25-Oct-2005 10:09 1.2M
![[ ]](/icons/layout.gif)
raise_course4.pdf 25-Oct-2005 10:09 331k
Bilety-2004-colloq-s..> 11-Nov-2005 09:19 62k
Mutilin/ 11-Nov-2005 09:19 -
Zachet-2002-18-2.xls 11-Nov-2005 09:19 47k
Colloquium-2005-11-2..> 18-Nov-2005 15:28 1k
Result_20031229.xls 18-Nov-2005 15:28 38k
Lecture2.ppt 29-Nov-2005 12:08 83k
~$sting-3-2004-05.doc 29-Nov-2005 12:08 1k
~$sting-3.doc 29-Nov-2005 12:08 1k
Colloquium-2005-11-2..> 19-Dec-2005 13:09 47k
~$lety-2004-colloq-s..> 19-Dec-2005 13:09 1k
~$lety-23-03-2005-co..> 19-Dec-2005 13:09 1k
Консультация14-12-20..> 19-Dec-2005 13:09 346k
~$нсультация14-12-20..> 19-Dec-2005 13:09 1k
Colloquium-23-03-200..> 28-Dec-2005 12:46 69k
Final_Marks_05032003..> 28-Dec-2005 12:46 43k
IMP-wf.ppt 06-Apr-2006 19:04 87k
IMP-AST2006.ppt 12-May-2006 20:02 33k
IMP-BNF.ppt 12-May-2006 20:02 44k
SIL-Operational.ppt 12-May-2006 20:02 37k
Bilety(SDL-MSC-Gramm..> 12-May-2006 20:02 77k
IMP-wf2006.ppt 12-May-2006 20:02 57k
RMain.html 23-May-2006 12:58 16k
Colloquium-2005-12-2..> 23-May-2006 12:58 48k
Colloquium-2006-05-1..> 23-May-2006 12:58 45k
Colloquium-2005-12-1..> 23-Aug-2006 19:43 48k
FSofS-lec-2.ppt 22-Sep-2006 16:11 147k
Apache/1.3.29 Server at www.ispras.ru Port 80