-
1
-
-
84918758244
-
-
(C), Prentice-Hall, Englewood Cliffs, N.J.
-
Gauthier, Richard, and Pont, Stephen. Designing Systems Programs, (C), Prentice-Hall, Englewood Cliffs, N.J., 1970.
-
(1970)
Designing Systems Programs
-
-
Gauthier1
Richard2
Pont3
Stephen4
-
2
-
-
0014973676
-
Proof of a program, FIND
-
Jan
-
Hoare, C. A. R. Proof of a program, FIND. Comm. ACM 14, 1 (Jan. 1971), 39-45.
-
(1971)
Comm. ACM
, vol.14
, Issue.1
, pp. 39-45
-
-
Hoare, C.A.R.1
-
3
-
-
0015346655
-
A technique for software module specification with examples
-
May
-
Parnas, D. L. A technique for software module specification with examples. Comm. ACM 15, 5 (May, 1972), 330-336.
-
(1972)
Comm. ACM
, vol.15
, Issue.5
, pp. 330-336
-
-
Parnas, D.L.1
-
4
-
-
0039232724
-
Information distribution aspects of design methodology
-
Carnegie-Mellon U., Pittsburgh, Pa., Also presented at the IFIP Congress 1971, Ljubljana, Yugoslavia
-
Parnas, D. L. Information distribution aspects of design methodology. Tech. Rept., Depart. Computer Science, Carnegie-Mellon U., Pittsburgh, Pa., 1971. Also presented at the IFIP Congress 1971, Ljubljana, Yugoslavia.
-
(1971)
Tech. Rept., Depart. Computer Science
-
-
Parnas, D.L.1
-
5
-
-
60749089448
-
The structure of “THE”-multiprogramming system
-
May
-
Dijkstra, E. W. The structure of “THE”-multiprogramming system. Comm. ACM 11, 5 (May 1968), 341-346.
-
(1968)
Comm. ACM
, vol.11
, Issue.5
, pp. 341-346
-
-
Dijkstra, E.W.1
-
6
-
-
33747977601
-
-
Addison-Wesley, Reading, Mass
-
Galler, B., and Perlis, A. J. A View of Programming Languages, Addison-Wesley, Reading, Mass., 1970.
-
(1970)
A View of Programming Languages
-
-
Galler, B.1
Perlis, A.J.2
-
7
-
-
84976721492
-
A course on software engineering
-
Technical Symposium, Mar
-
Parnas, D. L. A course on software engineering. Proc. SIGCSE Technical Symposium, Mar. 1972.
-
(1972)
Proc. SIGCSE
-
-
Parnas, D.L.1
-
8
-
-
33745167469
-
On the criteria to be used in decomposing systems into modules
-
Carnegie-Mellon U., Pittsburgh, Pa
-
Parnas, D. L. On the criteria to be used in decomposing systems into modules. Tech. Rept., Depart. Computer Science, Carnegie-Mellon U., Pittsburgh, Pa., 1971.
-
(1971)
Tech. Rept., Depart. Computer Science
-
-
Parnas, D.L.1
-
9
-
-
85033224917
-
Dataless programming
-
AFIPS Press, Montvale, N.J
-
Balzer, R. M. Dataless programming. Proc. AFIPS 1967 FJCC, Vol. 31, AFIPS Press, Montvale, N.J., pp. 535-544.
-
(1967)
Proc. AFIPS
, vol.31
, pp. 535-544
-
-
Balzer, R.M.1
-
10
-
-
84910250227
-
Another look at data
-
AFIPS Press, Montvale, N.J
-
Mealy, G. H. Another look at data. Proc. AFIPS 1967 FJCC, Vol. 31, AFIPS Press, Montvale, N.J., pp. 525-534.
-
(1967)
Proc. AFIPS
, vol.31
, pp. 525-534
-
-
Mealy, G.H.1
-
11
-
-
0015200721
-
BLISS, A language for systems programming
-
Dec
-
Wulf, W. A., Russell, D. B., and Habermann, A. N. BLISS, A language for systems programming. Comm. ACM 14, 12 (Dec. 1971), 780-790.
-
(1971)
Comm. ACM
, vol.14
, Issue.12
, pp. 780-790
-
-
Wulf, W.A.1
Russell, D.B.2
Habermann, A.N.3
|