Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
Bin Lei, Zhiming Liu, Charles Morisset, Xuandong L...
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
Heterogeneous wireless/wired networks and ubiquitous environments are gaining ever more attention by research community. To properly control and manage such puzzles a deep knowled...
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
For thin film transistor-liquid crystal displays (TFT-LCD) factories in Taiwan, yield performance had become as an important competitiveness determinant during the competitive env...