A SURVEY OF SOFTWARE-DESIGN TECHNIQUES

被引：38
作者：
YAU, SS
TSAI, JJP
机构：
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1986年 / 12卷 / 06期
关键词：
D O I：
10.1109/TSE.1986.6312969
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：713 / 721
页数：9
相关论文
共 82 条
[1]   SOFTWARE FAULT TOLERANCE - AN EVALUATION [J].
ANDERSON, T ;
BARRETT, PA ;
HALLIWELL, DN ;
MOULDING, MR .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (12) :1502-1510
[2]   ABSTRACT DESIGN AND PROGRAM TRANSLATOR - NEW TOOLS FOR SOFTWARE-DESIGN [J].
ARCHIBALD, JL ;
LEAVENWORTH, BM ;
POWER, LR .
IBM SYSTEMS JOURNAL, 1983, 22 (03) :170-187
[3]   THE N-VERSION APPROACH TO FAULT-TOLERANT SOFTWARE [J].
AVIZIENIS, A .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (12) :1491-1501
[4]  
Baker F. T., 1975, IEEE Transactions on Software Engineering, VSE-1, P241, DOI 10.1109/TSE.1975.6312844
[5]   SLAN-4 - A SOFTWARE SPECIFICATION AND DESIGN LANGUAGE [J].
BEICHTER, FW ;
HERZOG, O ;
PETZSCH, H .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (02) :155-162
[6]   A GUIDED TOUR OF PROGRAM DESIGN METHODOLOGIES [J].
BERGLAND, GD .
COMPUTER, 1981, 14 (10) :13-37
[7]  
BERGLAND GD, 1981, TUTORIAL SOFTWARE DE, P79
[8]   VERIFYING AND VALIDATING SOFTWARE REQUIREMENTS AND DESIGN SPECIFICATIONS [J].
BOEHM, BW .
IEEE SOFTWARE, 1984, 1 (01) :75-88
[9]  
BOOCH G, 1983, TUTORIAL SOFTWARE DE, P420
[10]  
Borgida A., 1984, CONCEPTUAL MODELLING, P87, DOI [10.1007/978-1-4612-5196-5_4, DOI 10.1007/978-1-4612-5196-5_4]
123456789