Computer Science

News and events

28 January 2011

rCOS: Model-driven method for component software

Presented By Dr Zhiming Liu, United Nations University, Macao
  • 2.30pm
  • Room N225, Haslegrave Building

About this event

AbstractThis talk will reflect on the ongoing development of the rCOS method of component-based and model-driven software development. Instead of going into technical details, the discussion will focus on what it is, the main ideas behind it, and where it is heading. The theme of rCOS is "harnassing theories for tool and application development;" it is part of a global quest for making software engineering more predictable and reliable. The objective is to integrate different formal techniques and their tool support in software design process.