On theory and practice of Assertion Based Software Development

被引：4
|
作者：
Toth, Herbert [1 ]
机构：
[1] SIEMENS AG Austria, PSE KB, Program & Syst Engn Dept, Polten, Austria
来源：
JOURNAL OF OBJECT TECHNOLOGY | 2005年 / 4卷 / 02期
关键词：
D O I：
10.5381/jot.2005.4.2.a2
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
It is common agreement that software engineering can meet its challenges only if disciplined reuse and composition mechanisms can be established in both theory and practice. In this paper we provide a thorough analysis of the percolation pattern and three alternatives to it. As result of this analysis we get that each of these alternative checking strategies ensures behavioral subtyping and therefore good reuse properties. However, none of them allows for modular reasoning due to missing success or failure conformance over class hierarchies.
引用
收藏
页码：109 / 129
页数：21
相关论文
共 50 条
  • [1] Synthesizable Assertion in Hardware and Software Development
    Hock, Ooi Ruey
    Bin Abd Aziz, Zulfiqar Ali
    Teh, J-Wing
    [J]. PROCEEDINGS OF 2017 INTERNATIONAL CONFERENCE ON IMAGING, SIGNAL PROCESSING AND COMMUNICATION, 2015, : 163 - 166
  • [2] RE theory meets software practice: Lessons from the software development trenches
    Heitmeyer, Constance
    Jeffords, Ralph
    Bharadwaj, Ramesh
    Archer, Myla
    [J]. 15TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 265 - +
  • [3] SoftContract: An assertion-based software development process that enables design-by-contract
    Brunel, JY
    Di Natale, M
    Ferrari, A
    Giusto, P
    Lavagno, L
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 358 - 363
  • [4] USE OF PSYCHOLOGICAL LEARNING THEORY IN DEVELOPMENT OF ASSERTION
    GELBER, H
    [J]. CANADIAN PSYCHIATRIC ASSOCIATION JOURNAL, 1967, 12 (02): : 207 - 208
  • [5] Towards method engineering for agile software development: Theory and practice
    Serour, Magdy Kodsy
    Younessi, Houman
    [J]. MANAGING INFORMATION IN THE DIGITAL ECONOMY: ISSUES & SOLUTIONS, 2006, : 531 - +
  • [6] Research of Software Development Model Based on the Theory of Software Engineering
    Wang, Lei
    [J]. PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION APPLICATIONS (ICCIA 2012), 2012, : 1171 - 1173
  • [7] Assertion and grounding: a theory of assertion for constructive type theory
    Maria van der Schaar
    [J]. Synthese, 2011, 183 : 187 - 210
  • [8] Assertion and grounding: a theory of assertion for constructive type theory
    van der Schaar, Maria
    [J]. SYNTHESE, 2011, 183 (02) : 187 - 210
  • [9] Theory and practice in software engineering
    Phoha, VV
    [J]. COMMUNICATIONS OF THE ACM, 1997, 40 (03) : 28 - 28
  • [10] Software engineering theory in practice
    Rost, J
    [J]. IEEE SOFTWARE, 2005, 22 (02) : 96 - +
12345