Courses


40-314 : Information Storage and Retrieval , BSc.
40-384 : Database 1 , BSc.
40-404 : Software Engineering Lab , BSc.
40-474 : Software Engineering , BSc.
40-684 : Program Development from Formal Specifications , MSc.
40-745 : Formal Specification and Verification of Programs , MSc.
40-828 : Software Testing , MSc.
40-924 : Advanced Software Engineering , MSc.

02-03-Summer: 40-404, Software Engineering Lab, BSc, SUT.
02-03-Spring: 40-404, Software Engineering Lab, BSc, SUT.
02-03-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
02-03-Spring: 40-828, Software Testing, MSc, SUT.
02-03-Spring: 40-828, Software Testing, MSc, KH.
02-03-Fall: 40-828, Software Testing, MSc, SUT.
02-03-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
02-03-Fall: 40-404, Software Engineering Lab, BSc, SUT.
02-03-Fall: 40-924, Advanced Software Engineering, MSc, KH.
01-02-Summer: 40-404, Software Engineering Lab, BSc, SUT.
01-02-Spring: 40-404, Software Engineering Lab, BSc, SUT.
01-02-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
01-02-Spring: 40-828, Software Testing, MSc, SUT.
01-02-Spring: 40-828, Software Testing, MSc, KH.
01-02-Fall: 40-828, Software Testing, MSc, SUT.
01-02-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
01-02-Fall: 40-404, Software Engineering Lab, BSc, SUT.
01-02-Fall: 40-924, Advanced Software Engineering, MSc, KH.
00-01-Summer: 40-404, Software Engineering Lab, BSc, SUT.
00-01-Spring: 40-404, Software Engineering Lab, BSc, SUT.
00-01-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
00-01-Spring: 40-828, Software Testing, MSc, SUT.
00-01-Spring: 40-828, Software Testing, MSc, KH.
00-01-Fall: 40-828, Software Testing, MSc, SUT.
00-01-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
00-01-Fall: 40-404, Software Engineering Lab, BSc, SUT.
00-01-Fall: 40-924, Advanced Software Engineering, MSc, KH.
99-00-Summer: 40-404, Software Engineering Lab, BSc, SUT.
99-00-Spring: 40-404, Software Engineering Lab, BSc, SUT.
99-00-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
99-00-Spring: 40-828, Software Testing, MSc, SUT.
99-00-Spring: 40-828, Software Testing, MSc, KH.
99-00-Fall: 40-828, Software Testing, MSc, SUT.
99-00-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
99-00-Fall: 40-404, Software Engineering Lab, BSc, SUT.
99-00-Fall: 40-924, Advanced Software Engineering, MSc, KH.
98-99-Summer: 40-404, Software Engineering Lab, BSc, SUT.
98-99-Spring: 40-404, Software Engineering Lab, BSc, SUT.
98-99-Spring: 40-404, Software Engineering Lab, BSc, SUT.
98-99-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
98-99-Spring: 40-474, Software Engineering, BSc, SUT.
98-99-Spring: 40-828, Software Testing, MSc, KH.
98-99-Fall: 40-828, Software Testing, MSc, SUT.
98-99-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
98-99-Fall: 40-404, Software Engineering Lab, BSc, SUT.
98-99-Fall: 40-404, Software Engineering Lab, BSc, SUT.
98-99-Fall: 40-924, Advanced Software Engineering, MSc, KH.
97-98-Summer: 40-404, Software Engineering Lab, BSc, SUT.
97-98-Spring: 40-404, Software Engineering Lab, BSc, SUT.
97-98-Spring: 40-404, Software Engineering Lab, BSc, SUT.
97-98-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
97-98-Spring: 40-474, Software Engineering, BSc, SUT.
97-98-Spring: 40-828, Software Testing, MSc, KH.
97-98-Fall: 40-828, Software Testing, MSc, SUT.
97-98-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
97-98-Fall: 40-404, Software Engineering Lab, BSc, SUT.
97-98-Fall: 40-404, Software Engineering Lab, BSc, SUT.
97-98-Fall: 40-924, Advanced Software Engineering, MSc, KH.
96-97-Summer: 40-404, Software Engineering Lab, BSc, SUT.
96-97-Spring: 40-404, Software Engineering Lab, BSc, SUT.
96-97-Spring: 40-404, Software Engineering Lab, BSc, SUT.
96-97-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
96-97-Spring: 40-474, Software Engineering, BSc, SUT.
96-97-Spring: 40-828, Software Testing, MSc, KH.
96-97-Fall: 40-828, Software Testing, MSc, SUT.
96-97-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
96-97-Fall: 40-404, Software Engineering Lab, BSc, SUT.
96-97-Fall: 40-924, Advanced Software Engineering, MSc, KH.
95-96-Summer: 40-404, Software Engineering Lab, BSc, SUT.
95-96-Spring: 40-404, Software Engineering Lab, BSc, SUT.
95-96-Spring: 40-404, Software Engineering Lab, BSc, SUT.
95-96-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
95-96-Spring: 40-474, Software Engineering, BSc, SUT.
95-96-Spring: 40-828, Software Testing, MSc, KH.
95-96-Fall: 40-828, Software Testing, MSc, SUT.
95-96-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
95-96-Fall: 40-404, Software Engineering Lab, BSc, SUT.
95-96-Fall: 40-924, Advanced Software Engineering, MSc, KH.
94-95-Fall: 40-404, Software Engineering Lab, BSc, SUT.
94-95-Summer: 40-404, Software Engineering Lab, BSc, SUT.
94-95-Spring: 40-404, Software Engineering Lab, BSc, SUT.
94-95-Spring: 40-404, Software Engineering Lab, BSc, SUT.
94-95-Spring: 40-404, Software Engineering Lab, BSc, SUT.
94-95-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
94-95-Spring: 40-474, Software Engineering, BSc, SUT.
94-95-Fall: 40-828, Software Testing, MSc, SUT.
94-95-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
94-95-Fall: 40-404, Software Engineering Lab, BSc, SUT.
94-95-Fall: 40-924, Advanced Software Engineering, MSc, KH.
93-94-Fall: 40-404, Software Engineering Lab, BSc, SUT.
93-94-Summer: 40-404, Software Engineering Lab, BSc, SUT.
93-94-Spring: 40-404, Software Engineering Lab, BSc, SUT.
93-94-Spring: 40-404, Software Engineering Lab, BSc, SUT.
93-94-Spring: 40-404, Software Engineering Lab, BSc, SUT.
93-94-Spring: 40-404, Software Engineering Lab, BSc, SUT.
93-94-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
93-94-Spring: 40-474, Software Engineering, BSc, SUT.
93-94-Spring: 40-828, Software Testing, MSc, KH.
93-94-Fall: 40-828, Software Testing, MSc, SUT.
93-94-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
93-94-Fall: 40-404, Software Engineering Lab, BSc, SUT.
93-94-Fall: 40-924, Advanced Software Engineering, MSc, KH.
92-93-Summer: 40-404, Software Engineering Lab, BSc, SUT.
92-93-Spring: 40-404, Software Engineering Lab, BSc, SUT.
92-93-Spring: 40-404, Software Engineering Lab, BSc, SUT.
92-93-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
92-93-Spring: 40-474, Software Engineering, BSc, SUT.
92-93-Fall: 40-474, Software Engineering, BSc, SUT.
92-93-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
92-93-Fall: 40-404, Software Engineering Lab, BSc, SUT.
91-92-Summer: 40-404, Software Engineering Lab, BSc, SUT.
91-92-Spring: 40-404, Software Engineering Lab, BSc, SUT.
91-92-Spring: 40-404, Software Engineering Lab, BSc, SUT.
91-92-Spring: 40-404, Software Engineering Lab, BSc, SUT.
91-92-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
91-92-Spring: 40-474, Software Engineering, BSc, SUT.
91-92-Fall: 40-474, Software Engineering, BSc, SUT.
91-92-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
91-92-Fall: 40-828, Software Testing, MSc, SUT.
91-92-Fall: 40-404, Software Engineering Lab, BSc, SUT.
90-91-Summer: 40-404, Software Engineering Lab, BSc, SUT.
90-91-Spring: 40-404, Software Engineering Lab, BSc, SUT.
90-91-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
90-91-Spring: 40-474, Software Engineering, BSc, SUT.
90-91-Fall: 40-474, Software Engineering, BSc, SUT.
90-91-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
90-91-Fall: 40-828, Software Testing, MSc, SUT.
89-90-Summer: 40-404, Software Engineering Lab, BSc, SUT.
89-90-Spring: 40-404, Software Engineering Lab, BSc, SUT.
89-90-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
89-90-Spring: 40-924, Advanced Software Engineering, MSc, SUT.
89-90-Fall: 40-474, Software Engineering, BSc, SUT.
89-90-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
89-90-Fall: 40-828, Software Testing, MSc, SUT.
88-89-Summer: 40-404, Software Engineering Lab, BSc, SUT.
88-89-Spring: 40-474, Software Engineering, BSc, SUT.
88-89-Spring: 40-404, Software Engineering Lab, BSc, SUT.
88-89-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
88-89-Fall: 40-474, Software Engineering, BSc, SUT.
88-89-Fall: 40-404, Software Engineering Lab, BSc, SUT.
88-89-Fall: 40-828, Software Testing, MSc, SUT.
88-89-Fall: 40-828, Software Testing, MSc, SBU.
88-89-Fall: 40-828, Software Testing, MSc, IAU(S&R).
87-88-Summer: 40-404, Software Engineering Lab, BSc, SUT.
87-88-Spring: 40-474, Software Engineering, BSc, SUT.
87-88-Spring: 40-404, Software Engineering Lab, BSc, SUT.
87-88-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
87-88-Fall: 40-474, Software Engineering, BSc, SUT.
87-88-Fall: 40-404, Software Engineering Lab, BSc, SUT.
87-88-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SBU.
87-88-Fall: 40-828, Software Testing, MSc, SUT.
86-87-Summer: 40-404, Software Engineering Lab, BSc, SUT.
86-87-Spring: 40-474, Software Engineering, BSc, SUT.
86-87-Spring: 40-404, Software Engineering Lab, BSc, SUT.
86-87-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
86-87-Fall: 40-384, Database 1, BSc, SUT(Kish).
86-87-Fall: 40-474, Software Engineering, BSc, SUT.
86-87-Fall: 40-404, Software Engineering Lab, BSc, SUT.
86-87-Fall: 40-924, Advanced Software Engineering, MSc, SUT.
86-87-Fall: 40-924, Advanced Software Engineering, MSc, (Kish).
86-87-Spring: 40-745, Formal Specification and Verification of Programs, BSc, SBU.
85-86-Summer: 40-404, Software Engineering Lab, BSc, SUT.
85-86-Spring: 40-474, Software Engineering, BSc, SUT.
85-86-Spring: 40-404, Software Engineering Lab, BSc, SUT.
85-86-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
85-86-Fall: 40-384, Database 1, BSc, SUT(Kish).
85-86-Fall: 40-474, Software Engineering, BSc, SUT.
85-86-Fall: 40-404, Software Engineering Lab, BSc, SUT.
85-86-Fall: 40-924, Advanced Software Engineering, MSc, SUT(Kish).
85-86-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
84-85-Summer: 40-404, Software Engineering Lab, BSc, SUT.
84-85-Spring: 40-474, Software Engineering, BSc, SUT.
84-85-Spring: 40-404, Software Engineering Lab, BSc, SUT.
84-85-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
84-85-Fall: 40-474, Software Engineering, BSc, SUT.
84-85-Fall: 40-404, Software Engineering Lab, BSc, SUT.
84-85-Fall: 40-924, Advanced Software Engineering, MSc, SUT.
83-84-Summer: 40-404, Software Engineering Lab, BSc, SUT.
83-84-Spring: 40-404, Software Engineering Lab, BSc, SUT.
83-84-Fall: 40-404, Software Engineering Lab, BSc, SUT.
83-84-Fall: 40-924, Advanced Software Engineering, MSc, SUT.
83-84-Fall: 40-924, Advanced Software Engineering, MSc, SUT.
83-84-Spring: 40-745, Formal Specification and Verification of Programs, BSc, SUT.
83-84-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
83-84-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
83-84-Fall: 40-745, Formal Specification and Verification of Programs, BSc, SUT.
82-83-Summer: 40-404, Software Engineering Lab, BSc, SUT.
82-83-Spring: 40-404, Software Engineering Lab, BSc, SUT.
82-83-Spring: 40-745, Formal Specification and Verification of Programs, BSc, SUT.
82-83-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
82-83-Spring: 40-924, Advanced Software Engineering, MSc, SUT.
82-83-Fall: 40-474, Software Engineering, BSc, SUT.
82-83-Fall: 40-404, Software Engineering Lab, BSc, SUT.
82-83-Fall: 40-924, Advanced Software Engineering, MSc, SUT.
81-82-Spring: 40-474, Software Engineering, BSc, SUT.
81-82-Spring: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
81-82-Fall: 40-474, Software Engineering, BSc, SUT.
81-82-Fall: 40-684, Program Development from Formal Specifications, MSc, SUT.
81-82-Spring: 40-924, Advanced Software Engineering, MSc, SUT.
80-81-Spring: 40-474, Software Engineering, BSc, SUT.
80-81-Spring: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
80-81-Fall: 40-474, Software Engineering, BSc, SUT.
80-81-Fall: 40-684, Program Development from Formal Specifications, MSc, SUT.
79-80-Spring: 40-314, Information Storage and Retrieval, BSc, SUT.
79-80-Spring: 40-384, Database 1, BSc, SUT.
79-80-Spring: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
79-80-Fall: 40-474, Software Engineering, BSc, SUT.
79-80-Fall: 40-404, Software Engineering Lab, BSc, SUT.
79-80-Fall: 40-924, Advanced Software Engineering, MSc, SUT.
78-79-Spring: 40-384, Database 1, BSc, SUT.
78-79-Spring: 40-404, Software Engineering Lab, BSc, SUT.
78-79-Spring: 40-924, Advanced Software Engineering, MSc, SUT.
78-79-Fall: 40-474, Software Engineering, BSc, SUT.
78-79-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
77-78-Spring: 40-384, Database 1, BSc, SUT.
77-78-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
77-78-Fall: 40-314, Information Storage and Retrieval, BSc, SUT.
77-78-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.
76-77-Spring: 40-314, Information Storage and Retrieval, BSc, SUT.
76-77-Fall: 40-314, Information Storage and Retrieval, BSc, SUT.
76-77-Fall: 40-745, Formal Specification and Verification of Programs, MSc, SUT.