Formal Model Driven Design
Title: Formal Model Driven Design
Speaker: Dr. Liu Zhiming The United Nations Unviersity,International Institute for Software and Technology
Time: 2：30pm, Friday，March 28
Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS
Abstract:We discuss how model driven design can help in improving dependability of complex software systems. Through its application to the benchmark CoCoME, we show how rCOS, a notation for Refinement of Component and Object System, is used to formalise the key engineering concepts and artifacts in model driven design. We discuss the problems and experience that we have learnt in this application.