Models and Calculi for Software Components

• Aine kood: MTAT.05.095
• Lektor: Dr. Luis Soares Barbosa
• Ainepunkte: 1
• Loengute toimumise aeg/koht:
• Esmaspäev, kell 16.15 - 18.00, Liivi 2 - 611
• Esmaspäev, kell 18.15 - 20.00, Liivi 2 - 611
• Kolmapäev, kell 14.15 - 16.00, Liivi 2 - 612
• Kolmapäev, kell 16.15 - 18.00, Liivi 2 - 612
• Reede, kell 12.15 - 14.00, Liivi 2 - 612
• Reede, kell 14.15 - 16.00, Liivi 2 - 612

• Overview
• Coalgebraic Sructures in Program Construction
• Processes and Transition Systems
• Processes As Coalgebras
• Components As Coalgebras
• Refinement
• Connectors as Relations
• Monads
• Bicategories
• Exercises