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 条

[1] A SOFTWARE-DESIGN SUPPORT SYSTEM WITH INTERFACE SPECIFICATION DICTIONARIES
SUGAI, M
UCHIYAMA, A
HAGIWARA, N
REKIMOTO, J
KOYAMADA, M
SHIGO, O
[J]. NEC RESEARCH & DEVELOPMENT, 1989, (92): : 121 - 129
[2] APL AS A SOFTWARE-DESIGN SPECIFICATION LANGUAGE
JONES, WT
KIRK, SA
[J]. COMPUTER JOURNAL, 1980, 23 (03): : 230 - 232
[3] APPLYING ABSTRACTION AND FORMAL SPECIFICATION IN NUMERICAL SOFTWARE-DESIGN
TENCATE, HH
[J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1995, 29 (12) : 81 - 102
[4] AN EXPERT SYSTEM FOR SOFTWARE-DESIGN AND DEVELOPMENT
KAISER, GE
BARGHOUTI, NS
KAISER, GE
[J]. AMERICAN STATISTICAL ASSOCIATION 1988 PROCEEDINGS OF THE STATISTICAL COMPUTING SECTION, 1988, : 10 - 19
[5] AN INTEGRATED SPECIFICATION SUPPORT SYSTEM FOR COMMUNICATION SOFTWARE-DESIGN BASED ON STEPWISE REFINEMENT AND GRAPHICAL REPRESENTATION
SARASHINA, K
ANDO, T
OHTA, M
TOKITA, Y
TAKAHASHI, K
[J]. FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 205 - 218
[6] TRENDS AID EMBEDDED SYSTEM SOFTWARE-DESIGN
READY, JF
[J]. ELECTRONIC DESIGN, 1988, 36 (27) : 59 - 59
[7] SWITCHING-SYSTEM SOFTWARE-DESIGN FOR ISDN
YAJIMA, T
SUDA, K
[J]. IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 1986, 4 (08) : 1222 - 1229
[8] DEVELOPMENT SYSTEM INTERFACE EXPEDITES SOFTWARE-DESIGN
BESEMER, J
[J]. ELECTRONIC DESIGN, 1982, 30 (18) : 167 - 173
[9] AN APPROACH TO DISTRIBUTED COMPUTING SYSTEM SOFTWARE-DESIGN
YAU, SS
YANG, CC
SHATZ, SM
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (04) : 427 - 436
[10] ON REGULARITY IN SOFTWARE-DESIGN
BANACH, R
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1995, 24 (03) : 221 - 248

← 1 2 3 4 5 →