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
相关论文
共 50 条
  • [21] Modal Contracts for Component-based Design
    Goessler, Gregor
    Raclet, Jean-Baptiste
    SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 295 - 303
  • [22] Component-based test specimen design
    Wimmer, SA
    DeGiorgi, VG
    SMALL SPECIMEN TEST TECHNIQUES: FOURTH VOLUME, 2002, 1418 : 251 - 266
  • [23] Design of extensible component-based groupware
    Hummes J.
    Merialdo B.
    Computer Supported Cooperative Work: CSCW: An International Journal, 2000, 9 (01): : 53 - 74
  • [24] Probabilistic Contracts for Component-Based Design
    Xu, Dana N.
    Goessler, Gregor
    Girault, Alain
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 325 - 340
  • [25] Systematic Refinement of Performance Models for Concurrent Component-based Systems
    Kapova, Lucia
    Becker, Steffen
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 264 (01) : 73 - 90
  • [26] Counterexample-guided Abstraction Refinement for Component-based Systems
    Zhang, Lianyi
    Meng, Qingdi
    Luo, Guiming
    2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 201 - 210
  • [27] Probabilistic contracts for component-based design
    Gregor Gössler
    Dana N. Xu
    Alain Girault
    Formal Methods in System Design, 2012, 41 : 211 - 231
  • [28] Component-based software design model
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 35 (05): : 451 - 454
  • [29] Component-Based Design of Embedded Systems
    Kopetz, Hermann
    SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 1 - 1
  • [30] Component-based Design for SCADA Architecture
    Phan Duy Anh
    Truong Dinh Chau
    INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2010, 8 (05) : 1141 - 1147
12345