STEPWISE SOFTWARE-DEVELOPMENT WITH ALGEBRAIC SPECIFICATIONS

被引：0
|
作者：
BEIERLE, C
VOSS, A
机构：
[1] IBM DEUTSCHLAND GMBH,INST KNOWLEDGE BASED SYST,CTR SCI,W-7000 STUTTGART 80,GERMANY
[2] GESELL MATH & DATENVERARBEITUNG GMBH,F3 EXPERTENSYST,W-5205 ST AUGUSTIN,GERMANY
来源：
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES | 1991年 / 10卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：35 / 51
页数：17
相关论文
共 50 条
  • [21] SOFTWARE-DEVELOPMENT - PREFACE
    THIEL, CA
    IBM SYSTEMS JOURNAL, 1980, 19 (04) : 412 - 413
  • [22] CONTRACTING FOR SOFTWARE-DEVELOPMENT
    WHANG, SJ
    MANAGEMENT SCIENCE, 1992, 38 (03) : 307 - 324
  • [23] SOFTWARE-DEVELOPMENT STANDARDS
    HALL, PAV
    SOFTWARE ENGINEERING JOURNAL, 1989, 4 (03): : 143 - 147
  • [24] SOFTWARE-DEVELOPMENT SYSTEM
    HACK, TG
    HUANG, T
    STECHER, LC
    BELL SYSTEM TECHNICAL JOURNAL, 1983, 62 (03): : 859 - 884
  • [25] CHALLENGES IN SOFTWARE-DEVELOPMENT
    FLECKENSTEIN, WO
    COMPUTER, 1983, 16 (03) : 60 - 64
  • [26] SOFTWARE-DEVELOPMENT FOR LIBRARIES
    PHANEUF, RD
    LIBRARY SOFTWARE REVIEW, 1984, 3 (04): : 501 - 505
  • [27] SOFTWARE-DEVELOPMENT TOOLS
    DECUYPERE, HJM
    MICROPROCESSING AND MICROPROGRAMMING, 1989, 27 (1-5): : 625 - 625
  • [28] SOFTWARE-DEVELOPMENT IN BIOMECHANICS
    WOLTRING, HJ
    JOURNAL OF BIOMECHANICS, 1987, 20 (02) : 219 - 219
  • [29] CAD SOFTWARE-DEVELOPMENT
    CHERRY, J
    FRANKE, D
    NEWTON, R
    SEAQUIST, C
    WOLF, W
    RADKE, C
    KUKULA, J
    IEEE DESIGN & TEST OF COMPUTERS, 1988, 5 (04): : 49 - 58
  • [30] SOFTWARE-DEVELOPMENT SYSTEM
    ROWLAND, BR
    WELSCH, RJ
    BELL SYSTEM TECHNICAL JOURNAL, 1983, 62 (01): : 275 - 289
12345