Incremental software construction with refinement diagrams

被引：0
|
作者：
Back, Ralph-Johan [1 ]
机构：
[1] Abo Akad Univ, Dept Comp Sci, SF-20520 Turku, Finland
来源：
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS | 2006年 / 4019卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [1] Incremental software construction with refinement diagrams
    Back, RJ
    ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS, 2005, 195 : 3 - 46
  • [2] The Overlay of Minimization Diagrams in a Randomized Incremental Construction
    Haim Kaplan
    Edgar Ramos
    Micha Sharir
    Discrete & Computational Geometry, 2011, 45 : 371 - 382
  • [3] The Overlay of Minimization Diagrams in a Randomized Incremental Construction
    Kaplan, Haim
    Ramos, Edgar
    Sharir, Micha
    DISCRETE & COMPUTATIONAL GEOMETRY, 2011, 45 (03) : 371 - 382
  • [4] RANDOMIZED INCREMENTAL CONSTRUCTION OF ABSTRACT VORONOI DIAGRAMS
    KLEIN, R
    MEHLHORN, K
    MEISER, S
    COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 1993, 3 (03): : 157 - 184
  • [5] RANDOMIZED INCREMENTAL CONSTRUCTION OF DELAUNAY AND VORONOI DIAGRAMS
    GUIBAS, LJ
    KNUTH, DE
    SHARIR, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 443 : 414 - 431
  • [6] RANDOMIZED INCREMENTAL CONSTRUCTION OF DELAUNAY AND VORONOI DIAGRAMS
    GUIBAS, LJ
    KNUTH, DE
    SHARIR, M
    ALGORITHMICA, 1992, 7 (04) : 381 - 413
  • [7] Refinement and validation of software requirements using incremental simulation
    Kang, KC
    Lee, KW
    Lee, JY
    Kim, JH
    Kim, HJ
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1998, E81D (02) : 171 - 182
  • [8] Incremental Construction of Generalized Voronoi Diagrams on Pointerless Quadtrees
    Yin, Quanjun
    Qin, Long
    Liu, Xiaocheng
    Zha, Yabing
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2014, 2014
  • [9] Incremental Construction: A Study of Refinement and Composition Based Approaches
    Rana, Tauseef
    2014 NATIONAL SOFTWARE ENGINEERING CONFERENCE (NSEC - 2014), 2014, : 13 - 18
  • [10] Software Designs of Image Processing Tasks With Incremental Refinement of Computation
    Anastasia, Davide
    Andreopoulos, Yiannis
    IEEE TRANSACTIONS ON IMAGE PROCESSING, 2010, 19 (08) : 2099 - 2114
12345