Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Treating Design Patterns More Formally
Stc
Date: 29-04-2010 Time: 12:00 Room: [[http://www.cs.uu.nl/docs/reach/bbl.php][BBL]] [[http://www.cs.uu.nl/info/plan/bbl.php][023]] ----+++++ Speaker: Tim Breedveld ----+++++ Title: Treating Design Patterns More Formally ----+++++ Abstract Since the dawning of design patters, various attempts have been made to develop methods that can formalize these patterns. The benefits of formalization are know, but the challenge is to develop a method that is expressive enough to capture the abstract structure and behavior and at the same time is flexible enough to support instantiation of a pattern in various ways. In this talk I will introduce the formalization methods Disco (Distributed Co-operation) and PCL (Pattern Contract Language) and discuss the differences and similarities between them.
