BEHAVIOR SPECIFICATION IN A SOFTWARE-DESIGN SYSTEM

被引：2
|
作者：
WILEDEN, JC
SAYLER, JH
RIDDLE, WE
SEGAL, AR
STAVELY, AM
机构：
[1] UNIV MICHIGAN,ANN ARBOR,MI 48109
[2] NEW MEXICO INST MIN & TECHNOL,SOCORRO,NM 87801
[3] NBI INC,BOULDER,CO
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 1983年 / 3卷 / 02期
关键词：
D O I：
10.1016/0164-1212(83)90025-0
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：123 / 135
页数：13
相关论文
共 50 条
  • [21] A SOFTWARE-DESIGN MANIFESTO
    KAPOR, M
    [J]. DR DOBBS JOURNAL, 1991, 16 (01): : 62 - &
  • [22] THE FUTURE OF SOFTWARE-DESIGN
    GATES, W
    [J]. BYTE, 1983, 8 (08): : 401 - 403
  • [23] ACCREDITATION FOR SOFTWARE-DESIGN
    不详
    [J]. CME-CHARTERED MECHANICAL ENGINEER, 1985, 32 (06): : 102 - 102
  • [24] DESIGNING SOFTWARE-DESIGN
    MAITLAND, M
    [J]. DR DOBBS JOURNAL, 1991, 16 (04): : 8 - 8
  • [25] EXERCISES IN SOFTWARE-DESIGN
    BENTLEY, JL
    DALLEN, JA
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (11) : 1164 - 1169
  • [26] A COMPOSITE SOFTWARE-DESIGN FOR THE ELECTRONIC SWITCHING-SYSTEM
    FUTAMI, K
    OTA, T
    HARA, T
    [J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1982, 30 (06) : 1290 - 1296
  • [27] A METHODOLOGY FOR THE SOFTWARE-DESIGN OF A MEDICAL INFORMATION-SYSTEM
    FARRELL, MW
    MYERS, JR
    [J]. IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, 1981, 28 (08) : 604 - 604
  • [28] SOFTWARE-DESIGN FOR DIGITAL DATA SWITCHING-SYSTEM
    FUTAMI, K
    OTA, T
    HARA, T
    IMAI, K
    [J]. REVIEW OF THE ELECTRICAL COMMUNICATIONS LABORATORIES, 1980, 28 (5-6): : 350 - 360
  • [29] DIGITAL LOCAL SWITCHING-SYSTEM SOFTWARE-DESIGN
    WATANABE, H
    KAWABE, K
    SAITO, K
    [J]. REVIEW OF THE ELECTRICAL COMMUNICATIONS LABORATORIES, 1983, 31 (01): : 48 - 57
  • [30] CASE - SOFTWARE-DESIGN TECHNOLOGIES
    KALYANOV, GN
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 1993, 29 (05) : 760 - 770
12345