GRAPHICAL OBJECT ORIENTED EXECUTABLE SPECIFICATION FOR AN AUTOMATION ORIENTED PARADIGM OF SOFTWARE-DEVELOPMENT

被引：0

作者：

RUSSI, V

ZOMPI, R

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：225 / 234

页数：10

共 31 条

[1] BALDASSARI M, LECTURE NOTES COMPUT, V387, P424
[2] BALZER R, 1983, COMPUTER, V16, P39, DOI 10.1109/MC.1983.1654237
[3] BALZER R, 1981, IEEE T SOFTWARE JAN, P3
[4] ANALYSIS AND DESIGN IN MSG 84 - FORMALIZING FUNCTIONAL SPECIFICATIONS
BERZINS, V
GRAY, M
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (08) : 657 - 670
[5] BIGELOW J, 1988, IEEE SOFTWARE MAR, P23
[6] OBJECT-ORIENTED DEVELOPMENT
BOOCH, G
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (02) : 211 - 221
[7] BROWNSTON L, 1985, PROGRAMMING EXPERT S
[8] PROCESS-TRANSLATABLE PETRI NETS FOR THE RAPID PROTOTYPING OF PROCESS-CONTROL SYSTEMS
BRUNO, G
MARCHETTO, G
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (02) : 346 - 357
[9] BRUNO G, 1986, OCT ACM C OBJ OR PRO, P284
[10] BRUNO G, 1986, 5TH INT C ENT REL AP, P327