| ||||||||||
| ||||||||||
Case Studies in the DFG Focus Area Program | ||||||||||
| ||||||||||
12:30 | Lunch | |||||||||
Specification, Verification, and Analysis | ||||||||||
| ||||||||||
15:30 | Coffee | |||||||||
General Approaches to Integrated Software Engineering | ||||||||||
| ||||||||||
| ||||||||||
Integration of Specification Techniques I | ||||||||||
| ||||||||||
10:30 | Coffee | |||||||||
Description Techniques and Integration | ||||||||||
| ||||||||||
12:30 | Lunch | |||||||||
Integration of Specification Techniques II | ||||||||||
| ||||||||||
15:30 | Coffee | |||||||||
Rewriting Logic as Semantic Framework | ||||||||||
| ||||||||||
|