Sciweavers

ICECCS
2007
IEEE

A Refinement Driven Component-Based Design

13 years 7 months ago
A Refinement Driven Component-Based Design
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effective means to handle complexity is separation of concerns and incremental development, and assurance of dependability requires formal methods. We report here our experience on these issues in an application of a formal calculus, rCOS, to a component-based design of the point of sale system (POS). We demonstrate the possibility in scaling-up correctness by design and discuss how rCOS may be integrated with current and emerging software engineering tools.
Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang,
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2007
Where ICECCS
Authors Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn
Comments (0)