Shriram Krishnamurthi - Computer Science Department - Brown University
| Time |
Theme |
Leader |
Location |
| 08:00-08:40 |
|
PauloBorba |
Hotel to CIn |
| 09:00-10:00 |
A Refinement Theory for Alloy |
RohitGheyi |
Room D222 |
| 10:00-11:00 |
Formal model-driven program refactoring |
TiagoMassoni |
Room D222 |
| 11:15-12:00 |
Representing Variability Management as Crosscutting Mechanisms |
RodrigoBonifacio |
Room D222 |
| 12:00-13:20 |
Lunch |
|
Talude Restaurant |
| 13:40-14:20 |
Visit to the Brennand Institute |
PauloBorba |
|
| 14:30-15:30 |
Modular Verification of Feature-Rich Software |
Shriram Krishnamurthi |
CIn Auditorium |
| 15:45-16:30 |
LSD: A Language for Specifying Design Rules in Aspect-Oriented Systems |
AlbertoNeto |
CIn Auditorium |
| 17:00 |
|
TiagoMassoni |
CIn to Airport |
--
MarcioRibeiro - 03 Nov 2008
Copyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback 
Edit | Attach | Print version | History: %REVISIONS% | Backlinks | Raw View | Raw edit | More topic actions