CONSTRAINED EXPRESSIONS - ADDING ANALYSIS CAPABILITIES TO DESIGN METHODS FOR CONCURRENT SOFTWARE SYSTEMS

被引：17

作者：

AVRUNIN, GS ^{[1
]}

DILLON, LK ^{[1
]}

WILEDEN, JC ^{[1
]}

RIDDLE, WE ^{[1
]}

机构：

[1] UNIV MASSACHUSETTS,DEPT COMP & INFORMAT SCI,AMHERST,MA 01003

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1986年 / 12卷 / 02期

关键词：

D O I：

10.1109/TSE.1986.6312944

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 [计算机软件与理论]; 0835 [软件工程];

摘要：

引用

页码：278 / 291

页数：14

共 39 条

[1]

AVERY S, 1984, SDLM842 U MASS DEP C

[2]

DESCRIBING AND ANALYZING DISTRIBUTED SOFTWARE SYSTEM DESIGNS [J].

AVRUNIN, GS ;

WILEDEN, JC .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (03) :380-403

[3]

AVRUNIN GS, 1983, 16TH P ANN HAW INT C, P51

[4]

HIGH-LEVEL DEBUGGING OF DISTRIBUTED SYSTEMS - THE BEHAVIORAL ABSTRACTION APPROACH [J].

BATES, PC ;

WILEDEN, JC .

JOURNAL OF SYSTEMS AND SOFTWARE, 1983, 3 (04) :255-264

[5]

CAMPBELL RH, 1974, LECTURE NOTES COMPUT, V16, P89

[6]

CHEN BS, 1983, IEEE T SOFTWARE ENG, V9, P710, DOI 10.1109/TSE.1983.235434

[7]

TASK SUPPORT IN AN OFFICE SYSTEM [J].

CROFT, WB ;

LEFKOWITZ, LS .

ACM TRANSACTIONS ON OFFICE INFORMATION SYSTEMS, 1984, 2 (03) :197-212

[8]

CUNY J, 1977, RSSM48 U MICH DEP CO

[9]

DILLON L, 1984, TR8418 U MASS DEP CO

[10]

DILLON L, 1985, TR8517 U MASS DEP CO

← 1 2 3 4 →