SOFTWARE CAD - A REVOLUTIONARY APPROACH

被引：13
作者：
BUHR, RJA
KARAM, GM
HAYES, CJ
WOODSIDE, CM
机构：
[1] CARLETON UNIV,REAL TIME & DISTRIBUTED SYST GRP,OTTAWA K1S 5B6,ONTARIO,CANADA
[2] SUN MICROSYST,GRAPH STANDARDS GRP,MT VIEW,CA 94043
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1989年 / 15卷 / 03期
关键词：
D O I：
10.1109/32.21752
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：235 / 249
页数：15
相关论文
共 58 条
[1]  
ALFORD MW, 1977, IEEE T SOFTWARE ENG, V3
[2]   A 15 YEAR PERSPECTIVE ON AUTOMATIC PROGRAMMING [J].
BALZER, R .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (11) :1257-1268
[3]   DOMAIN-SPECIFIC AUTOMATIC PROGRAMMING [J].
BARSTOW, DR .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (11) :1321-1336
[4]  
BISHOP J, 1986, ADA LETT, V6
[5]   IF PROLOG IS THE ANSWER, WHAT IS THE QUESTION - OR WHAT IT TAKES TO SUPPORT AI PROGRAMMING PARADIGMS [J].
BOBROW, DG .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (11) :1401-1408
[6]   FINITE STATE DESCRIPTION OF COMMUNICATION PROTOCOLS [J].
BOCHMANN, GV .
COMPUTER NETWORKS AND ISDN SYSTEMS, 1978, 2 (4-5) :361-372
[7]   PROGRAM VISUALIZATION - GRAPHICAL SUPPORT FOR SOFTWARE-DEVELOPMENT [J].
BROWN, GP ;
CARLING, RT ;
HEROT, CF ;
KRAMLICH, DA ;
SOUZA, P .
COMPUTER, 1985, 18 (08) :27-35
[8]   PROCESS-TRANSLATABLE PETRI NETS FOR THE RAPID PROTOTYPING OF PROCESS-CONTROL SYSTEMS [J].
BRUNO, G ;
MARCHETTO, G .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (02) :346-357
[9]   COMBINING MASCOT WITH MODULA-2 TO AID THE ENGINEERING OF REAL-TIME SYSTEMS [J].
BUDGEN, D .
SOFTWARE-PRACTICE & EXPERIENCE, 1985, 15 (08) :767-793
[10]  
Buhr R., 1984, SYSTEM DESIGN ADA
123456