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 条
  • [41] SOFTWARE-DEVELOPMENT IN LDM
    BALOGH, K
    FARKAS, Z
    SANTANETOTH, E
    SZEREDY, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1983, 152 : 56 - 83
  • [42] INTUITION IN SOFTWARE-DEVELOPMENT
    NAUR, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 186 : 60 - 79
  • [43] DSP SOFTWARE-DEVELOPMENT
    JAGADEESH, JM
    [J]. COMPUTER, 1993, 26 (10) : 75 - 77
  • [44] SOFTWARE-DEVELOPMENT WITH PCS
    DUNN, WF
    [J]. MACHINE DESIGN, 1985, 57 (01) : 134 - 134
  • [45] A SUCCESSFUL SOFTWARE-DEVELOPMENT
    WONG, C
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (06) : 714 - 727
  • [46] SOFTWARE-DEVELOPMENT ENVIRONMENTS
    DART, SA
    ELLISON, RJ
    FEILER, PH
    HABERMANN, AN
    [J]. COMPUTER, 1987, 20 (11) : 18 - 28
  • [47] THE CENTER FOR SOFTWARE-DEVELOPMENT
    SWAINE, M
    [J]. DR DOBBS JOURNAL, 1994, 19 (01): : 48 - 48
  • [48] ALGEBRAIC CONCEPTS FOR SOFTWARE-DEVELOPMENT IN ACT ONE, ACT-2, AND LOTOS
    EHRIG, H
    CLASSEN, I
    BOEHM, P
    FEY, W
    KORFF, M
    LOWE, M
    [J]. SYSTEMS ANALYSIS MODELLING SIMULATION, 1991, 8 (4-5): : 353 - 373
  • [49] SOFTWARE-DEVELOPMENT FOR RELIABLE SOFTWARE SYSTEMS
    JOSHI, RD
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1983, 3 (02) : 107 - 121
  • [50] SOFTWARE PRIMER - MANAGING SOFTWARE-DEVELOPMENT
    BEACH, LM
    [J]. INFORMATION MANAGEMENT, 1984, 18 (01): : 20 - +
12345