A Refinement Driven Component-Based Design

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Zhenbang Chen Articles by Zhiming Liu Articles by Volker Stolz Articles by Lu Yang Articles by Anders P. Ravn

12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)

Auckland, New Zealand

July 11-July 14

ISBN: 0-7695-2895-3

	ASCII Text	x
	Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn, "A Refinement Driven Component-Based Design," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 277-289, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007.

	BibTex	x
	@article{ 10.1109/ICECCS.2007.12, author = {Zhenbang Chen and Zhiming Liu and Volker Stolz and Lu Yang and Anders P. Ravn}, title = {A Refinement Driven Component-Based Design}, journal ={Engineering of Complex Computer Systems, IEEE International Conference on}, volume = {0}, year = {2007}, isbn = {0-7695-2895-3}, pages = {277-289}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.12}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Engineering of Complex Computer Systems, IEEE International Conference on TI - A Refinement Driven Component-Based Design SN - 0-7695-2895-3 SP277 EP289 A1 - Zhenbang Chen, A1 - Zhiming Liu, A1 - Volker Stolz, A1 - Lu Yang, A1 - Anders P. Ravn, PY - 2007 KW - Software development process KW - object-orientation KW - component-based modeling KW - refinement. VL - 0 JA - Engineering of Complex Computer Systems, IEEE International Conference on ER -

Zhenbang Chen, United Nations University

Zhiming Liu, United Nations University

Volker Stolz, United Nations University

Lu Yang, United Nations University

Anders P. Ravn, University of Aalborg, Denmark

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.12

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.

Index Terms:

Software development process, object-orientation, component-based modeling, refinement.

Citation:

Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn, "A Refinement Driven Component-Based Design," iceccs, pp.277-289, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.