Formal Model Driven Design

时间：2008-03-28 分类：学术报告

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.