Recombining changes to software specifications

被引：0
|
作者：
Berzins, V [1 ]
机构：
[1] USN, Postgrad Sch, Dept Comp Sci, Monterey, CA 93943 USA
来源：
SEKE '96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS | 1996年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper proposes a model of software changes for supporting the evolution of software prototypes. We decompose software evolution steps into primitive substeps that correspond to monotonic specification changes. This structure is used to rearrange chronological derivation sequences into idealized conceptual derivation structures containing only meaning-preserving (refining) changes. We indicate how this structure can be used to automatically combine different changes to a specification. A set of examples illustrates the ideas.
引用
收藏
页码：136 / 144
页数：9
相关论文
共 50 条
  • [31] Integrating software specifications into intrusion detection
    Mohammad Zulkernine
    Mathews Graves
    Muhammad Umair Ahmed Khan
    International Journal of Information Security, 2007, 6 : 345 - 357
  • [32] Assessing the Quality of Software Requirements Specifications for Automotive Software Systems
    Takoshima, Akiyuki
    Aoyama, Mikio
    2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015), 2015, : 393 - 400
  • [33] Pushing requirements changes through to changes in specifications
    Lin L.
    Poore J.H.
    Frontiers of Computer Science in China, 2008, 2 (4): : 331 - 343
  • [34] Pushing requirements changes through to changes in specifications
    Lin, Lan
    Poore, Jesse H.
    TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 289 - 296
  • [35] Changes to analytical reagents specifications
    不详
    CHEMICAL & ENGINEERING NEWS, 1998, 76 (10) : 55 - 55
  • [36] Allowing state changes in specifications
    Barnett, Mike
    Naumann, David A.
    Schulte, Wolfram
    Sun, Qi
    EMERGING TRENDS IN INFORMATION AND COMMUNICATION SECURITY, PROCEEDINGS, 2006, 3995 : 321 - 336
  • [37] PROPAGATING CHANGES IN ALGEBRAIC SPECIFICATIONS
    NAKAGAWA, AT
    FUTATSUGI, K
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (06): : 476 - 486
  • [38] Processing natural language software requirement specifications
    Osborne, M
    MacNish, CK
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, 1996, : 229 - 236
  • [39] An example of risk assessment of software systems specifications
    Ammar, HH
    Nikzadeh, T
    Dugan, JB
    EIGHTH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 1997, : 156 - 167
  • [40] Calculating software generators from solution specifications
    Kieburtz, RB
    Bellegarde, F
    Bell, J
    Hook, J
    Lewis, J
    Oliva, D
    Sheard, T
    Walton, L
    Zhou, T
    TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 546 - 560
12345