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 条
  • [41] Component-based design: A complete worked example
    Daniels, J
    TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS, 2000, : 470 - 470
  • [42] Secure Architecture and Design of Component-Based Systems
    Goertzel, Karen Mercedes
    Insight, 2009, 12 (02) : 23 - 26
  • [43] Protocol reconfiguration using component-based design
    Foukalas, F
    Ntarladimas, Y
    Glentis, A
    Boufidis, Z
    DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, 2005, 3543 : 148 - 156
  • [44] Component-based design: Towards guided composition
    Moschoyiannis, S
    Shields, MW
    THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 122 - 131
  • [45] Component-based design of application server based on JMX
    Yan, Bo
    Zhan, Shouyi
    Jisuanji Gongcheng/Computer Engineering, 2003, 29 (21):
  • [46] Component-Based Design Optimization of Multirotor Aircraft
    Renkert, Philip M.
    Alleyne, Andrew G.
    2022 AMERICAN CONTROL CONFERENCE, ACC, 2022, : 3985 - 3990
  • [47] Towards Component-Based Design and Verification of a μ-Controller
    Choi, Yunja
    Bunse, Christian
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5282 : 196 - +
  • [48] Generative Component-Based IP Camera Design
    Garcia, P.
    Cardoso, N.
    Gomes, T.
    Salgado, F.
    Cardoso, P.
    Mendes, J.
    Tavares, A.
    2013 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), 2013,
  • [49] Design of a component-based augmented reality framework
    Bauer, M
    Bruegge, B
    Klinker, G
    MacWilliams, A
    Reicher, T
    Riss, S
    Sandor, C
    Wagner, M
    IEEE AND ACM INTERNATIONAL SYMPOSIUM ON AUGMENTED REALITY, PROCEEDINGS, 2001, : 45 - 54
  • [50] Component-based design and analysis: A case study
    Jin, Y
    Lakos, C
    Esser, R
    FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 126 - 135
12345