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 条
  • [31] A TABULATION OF TOPICS WHERE SOFTWARE PRACTICE LEADS SOFTWARE THEORY
    GLASS, RL
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 25 (03) : 219 - 222
  • [32] The theory and practice of development
    King, VT
    [J]. RURAL DEVELOPMENT AND SOCIAL SCIENCE RESEARCH: CASE STUDIES FROM BORNEO, 1999, (06): : 1 - 33
  • [33] Development theory and practice
    Bullion, A
    [J]. POLITICAL STUDIES, 2002, 50 (05) : 1054 - 1055
  • [34] INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE-DEVELOPMENT, PISA, MARCH 1987
    LEVI, G
    MONTANARI, U
    [J]. THEORETICAL COMPUTER SCIENCE, 1988, 59 (1-2) : 1 - 1
  • [35] Putting the Sec in DevSecOps: Using Social Practice Theory to Improve Secure Software Development
    Ashenden, Debi
    Ollis, Gail
    [J]. NEW SECURITY PARADIGMS WORKSHOP (NSPW 2020), 2020, : 34 - 44
  • [36] Technique and Practice on Simulation Engineering Based on Agile Software Development Process
    Liu Baohong
    Li Lin
    [J]. PROCEEDINGS OF THE 2013 INTERNATIONAL CONFERENCE ON MATERIAL SCIENCE AND ENVIRONMENTAL ENGINEERING (MSEE 2013), 2013, : 556 - 559
  • [37] Balancing Theory and Practice in Software Engineering Education - A PBL, toolset based approach
    Fontao, Awdren
    Gadelha, Bruno
    Castro Junior, Alberto
    [J]. 2019 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE 2019), 2019,
  • [38] Problem-Based Learning to Align Theory and Practice in Software Testing Teaching
    Cheiran, Jean Felipe P.
    Rodrigues, Elder de M.
    Carvalho, Ewerson Luiz de S.
    da Silva, Joao Pablo S.
    [J]. XXXI BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2017), 2017, : 328 - 337
  • [39] The Individual Practice Development Theory: an individually focused practice development theory that helps target practice development resources
    Melton, Jane
    Forsyth, Kirsty
    Freeth, Della
    [J]. JOURNAL OF EVALUATION IN CLINICAL PRACTICE, 2012, 18 (03) : 542 - 546
  • [40] Software Development Practice as Baradian Entanglement
    Prior, Julia
    Leaney, John
    [J]. HUMAN ORGANIZATION, 2023, 82 (01) : 25 - 35
12345