Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Model checking
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Separation of Concerns and Consistent Integration in Requirements Modelling
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Refinement and verification in component-based model-driven design
Science of Computer Programming
A model of component-based programming
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
rCOS: a formal model-driven engineering method for component-based software
Frontiers of Computer Science in China
Hi-index | 0.00 |
Developing an advanced medical informatics system is a grand challenge in the 21st century. In this paper, we construct and analyze a trustable medical system by Refinement Calculus of Object Systems (rCOS) in a model-driven development process. Our method greatly improves the dependability and efficiency of the complicate system. This implies that the formal techniques developed in rCOS can be integrated into a model-driven development process. For the verification, a tool, called UPPAAL, is used to ensure the safety and correctness of the medical system. Our result suggests a way to corporate design and verification in system development process.