SE547 INTRODUCTION TO FORMAL SPECIFICATIONS
| Course Code: | 8670547 |
| METU Credit (Theoretical-Laboratory hours/week): | 3 (3.00 - 0.00) |
| ECTS Credit: | 8.0 |
| Department: | Software Engineering |
| Language of Instruction: | English |
| Level of Study: | Graduate |
| Course Coordinator: | Prof.Dr. MEHMET HALİT S. OĞUZTÜZÜN |
| Offered Semester: | Fall or Spring Semesters. |
Course Objectives
Course Content
Overview of logical and set theoretic foundations. State of the art specification formalisms, such as Z, VDM, Larch, state charts, algebraic specifications, and related tools. Formal specification case studies.