IS527 SOFTWARE VERIFICATION
| Course Code: |
9010527 |
| METU Credit (Theoretical-Laboratory hours/week): |
3(3-0) |
| ECTS Credit: |
8.0 |
| Language of Instruction: |
English |
| Level of Study: |
Graduate |
| Course Coordinator: |
|
| Offered Semester: |
Fall Semesters. |
Course Content
The course introduces software verification processes that determine whether deliverables of a given activity conform to the requirements of that activity. The discussion includes review, inspection, walkthrough processes as well as independent verification. Issues related to the installation of these processes within an organization and to the impact of software quality are also investigated. Several examples are studied and verification meetings are organized to apply the techniques introduced.
