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 条
  • [21] Integrated notation for software architecture specifications
    Bastarrica, MC
    Ochoa, SF
    Rossel, PO
    SCCC 2004: XXIV INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, 2004, : 26 - 35
  • [22] Model checking large software specifications
    Chan, W
    Anderson, RJ
    Beame, P
    Burns, S
    Modugno, F
    Notkin, D
    Reese, JD
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (07) : 498 - 520
  • [23] Parallel evaluation of software architecture specifications
    Tsai, JJP
    Li, B
    Juan, EYT
    COMMUNICATIONS OF THE ACM, 1997, 40 (01) : 83 - 86
  • [24] On a mereological system for relational software specifications
    Janicki, R
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2002, 2002, 2420 : 375 - 386
  • [25] From Software Specifications to Constraint Programming
    Hallerstede, Stefan
    Hasanagic, Miran
    Krings, Sebastian
    Larsen, Peter Gorm
    Leuschel, Michael
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2018, 2018, 10886 : 21 - 36
  • [26] Assessing the Quality of Software Requirements Specifications
    Knauss, Eric
    El Boustani, Christian
    PROCEEDINGS OF THE 16TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, 2008, : 341 - 342
  • [27] Composite Public Values and Software Specifications
    Garvanova, Magdalena
    Shishkov, Boris
    Janssen, Marijn
    BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2018, 2018, 319 : 412 - 420
  • [28] INDEXING AND CLUSTERING OF SOFTWARE REQUIREMENTS SPECIFICATIONS
    PALMER, JD
    LIANG, YQ
    INFORMATION AND DECISION TECHNOLOGIES, 1992, 18 (04): : 283 - 299
  • [29] Precise definition of software component specifications
    Horst, J
    Messina, E
    Kramer, T
    Huang, HM
    COMPUTER AIDED CONTROL SYSTEMS DESIGN (CACSD'97), 1997, : 145 - 150
  • [30] Integrating software specifications into intrusion detection
    Mohammad Zulkernine
    Mathews Graves
    Muhammad Umair Ahmed Khan
    International Journal of Information Security, 2007, 6 : 345 - 357
12345