SYNTHESIS OF NETWORK STRUCTURE DESIGN PROGRAMS.

被引：0

作者：

Kikot, P.B.

机构：

来源：

Programming and Computer Software (English Translation of Programmirovanie) | 1983年 / 9卷 / 04期

关键词：

LOGIC DESIGN - Computer Aided Design;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

A program synthesis system is proposed for objects with a network structure. Facilities are discussed for specifying synthesis information and for describing the object domain and configuration. Principal instructions for system operation are given.

引用

页码：178 / 184

共 50 条

[1] SYNTHESIS OF NETWORK STRUCTURE DESIGN PROGRAMS
KIKOT, PB
PROGRAMMING AND COMPUTER SOFTWARE, 1983, 9 (04) : 178 - 184
[2] ON THE DESIGN OF CONCURRENT PROGRAMS.
Hehner, Eric C.R.
INFOR Journal, 1980, 18 (04): : 289 - 299
[3] AUTOMATED DESIGN OF CONTROL PROGRAMS.
Poplavskii, V.S.
Teitel'man, B.L.
1600, (04):
[4] METHODOLOGY FOR THE DESIGN OF PARALLEL PROGRAMS.
Mattheyses, R.M.
Conry, S.E.
1978, : 651 - 655
[5] ALGORITHMS OF STRUCTURED SYNTHESIS OF PROGRAMS.
Tyugyu, E.Kh.
Kharf, M.Ya.
Programming and Computer Software (English Translation of Programmirovanie), 1980, 6 (04): : 165 - 175
[6] FORMAL STRUCTURE OF THE DESIGN PROCESS AND SOFTWARE IN INDUSTRIAL COMPUTER-AIDED DESIGN PROGRAMS.
Gakh, V.Ya.
Krutitskii, A.Yu.
1600,
[7] Techniques for the Design of Industrial Application Programs.
Oesterle, H.
Angewandte Informatik/Applied Informatics, 1977, 19 (06): : 249 - 257
[8] ANALYZING THE MODULAR DESIGN OF FORTRAN PROGRAMS.
Self, Linda E.
Davis, Edward W.
1977, : 554 - 560
[9] SYNTHESIS AND STRUCTURAL ANALYSIS OF ABSTRACT PROGRAMS.
Cowell, D.F.
Gillies, D.F.
Kaposi, A.A.
1600, (23):
[10] SYNTHESIS OF RESOURCE INVARIANTS FOR CONCURRENT PROGRAMS.
Clarke Jr., Edmund Nelson
1979, : 211 - 222

← 1 2 3 4 5 →