A refinement driven component-based design

被引：3

作者：

Chen, Zhenbang ^{[1
]}

Liu, Zhiming ^{[1
]}

Stolz, Volker ^{[1
]}

Yang, Lu ^{[1
]}

Ravn, Anders P. ^{[2
]}

机构：

[1] United Nations Univ, Int Inst Software Technol, Tokyo, Japan

[2] Aalborg Univ, Dept Comp Sci, Aalborg, Denmark

来源：

12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS | 2007年

关键词：

software development process; object-orientation; component-based modeling; refinement;

D O I：

10.1109/ICECCS.2007.12

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Modem 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. Keywords: Software development process, object-orientation, component-based modeling, refinement.

引用

页码：277 / +

页数：3

共 19 条

[1]

[Anonymous], 2005, UN MOD LANG SUP VERS

[2]

[Anonymous], 2000, OBJECT ORIENTED ANAL

[3]

Bjorner D., 2006, DOMAINS REQUIREMENTS, V3

[4] An overview of JML tools and applications [J].

Burdy L. ;

Cheon Y. ;

Cok D.R. ;

Ernst M.D. ;

Kiniry J.R. ;

Leavens G.T. ;

Leino K.R.M. ;

Poll E. .

International Journal on Software Tools for Technology Transfer, 2005, 7 (3) :212-232

[5]

Chalin P, 2006, LECT NOTES COMPUT SC, V4111, P342

[6]

Chandy K.M., 1988, Parallel Program Design: A Foundation

[7]

CHEN X, 2006, 350 UNU IIST

[8]

CHEN X, 2007, P CURR TRENDS THEOR, V4362

[9] A Theory of Reactive Components [J].

He Jifeng ;

Li, Xiaoshan ;

Liu, Zhiming .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 160 (01) :173-195

[10] rCOS: A refinement calculus of object systems [J].

He Jifeng ;

Li, Xiaoshan ;

Liu, Zhiming .

THEORETICAL COMPUTER SCIENCE, 2006, 365 (1-2) :109-142

← 1 2 →