International Telecommunication Union ITU-T Study Group 17, Geneva, 5-14 October 2005 An Introduction to version 3 Dr. Michael Ebner University Göttingen,
Specific, Measurable, Assignable, Realistic, Time-related 1 THEORACTICE Applying Contextual Design to Studio Project Team Name : THEORACTICE KangWoon Hong.
Specification and Description Language Lecture 5 SDL Department of Software Engineering.
Slide 1. Slide 2 Outline Protocol Verification / Conformance Testing TTCN Automated validation Formal design and specification Traffic Theory Application.