SE547 INTRODUCTION TO FORMAL SPECIFICATIONS
| Course Code: |
8670547 |
| METU Credit (Theoretical-Laboratory hours/week): |
3(3-0) |
| 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 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.
