-
2
-
-
0004060273
-
-
Academic Press, Inc., New York
-
O. J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Structured Programming, Academic Press, Inc., New York (1972).
-
(1972)
Structured Programming
-
-
Dahl, O.J.1
Dijkstra, E.W.2
Hoare, C.A.R.3
-
3
-
-
84945708698
-
An axiomatic basis for computer programming
-
October
-
C. A. R. Hoare, "An axiomatic basis for computer programming," Communications of the ACM 12, No. 10, 576-583 (October 1969).
-
(1969)
Communications of the ACM
, vol.12
, Issue.10
, pp. 576-583
-
-
Hoare, C.A.R.1
-
4
-
-
0004016309
-
-
Addison-Wesley Publishing Co., Inc., Reading, MA
-
R. C. Linger, H. D. Mills, and B. L. Witt, Structured Programming: Theory and Practice, Addison-Wesley Publishing Co., Inc., Reading, MA (1979).
-
(1979)
Structured Programming: Theory and Practice
-
-
Linger, R.C.1
Mills, H.D.2
Witt, B.L.3
-
7
-
-
0017787590
-
State machines and their semantics in software engineering
-
IEEE Catalog No. 77Ch1291-4C, IEEE Service Center, 445 Hoes Lane, Piscataway, NJ 08854
-
A. B. Ferrentino and H. D. Mills, "State machines and their semantics in software engineering," Proceedings of IEEE Comsac '77, IEEE Catalog No. 77Ch1291-4C, 242-251, IEEE Service Center, 445 Hoes Lane, Piscataway, NJ 08854 (1977).
-
(1977)
Proceedings of IEEE Comsac '77
, pp. 242-251
-
-
Ferrentino, A.B.1
Mills, H.D.2
-
9
-
-
0042501856
-
The use of precise specifications in the development of software
-
B. Gilchrest, Editor, North-Holland Publishing Co., New York
-
D. L. Parnas, "The use of precise specifications in the development of software," Proceedings of IFIP Congress 77, Toronto, August 8-12, 1977, B. Gilchrest, Editor, North-Holland Publishing Co., New York (1977), pp. 861-867.
-
(1977)
Proceedings of IFIP Congress 77, Toronto, August 8-12, 1977
, pp. 861-867
-
-
Parnas, D.L.1
-
11
-
-
0016114085
-
Monitors: An operating system structure concept
-
October "Corrigendum," Communications of the ACM 18, No. 2, 95 (February 1975)
-
C. A. R. Hoare, "Monitors: An operating system structure concept," Communications of the ACM 17, No. 10, 549-557 (October 1974); "Corrigendum," Communications of the ACM 18, No. 2, 95 (February 1975).
-
(1974)
Communications of the ACM
, vol.17
, Issue.10
, pp. 549-557
-
-
Hoare, C.A.R.1
-
12
-
-
0017526571
-
Toward a discipline of real-time programming
-
August
-
N. Wirth, "Toward a discipline of real-time programming," Communications of the ACM 20, No. 8, 577-583 (August 1977).
-
(1977)
Communications of the ACM
, vol.20
, Issue.8
, pp. 577-583
-
-
Wirth, N.1
-
13
-
-
0017599155
-
Software engineering
-
March 18
-
H. D. Mills, "Software engineering," Science 195, No. 4283, 1149-1205 (March 18, 1977).
-
(1977)
Science
, vol.195
, Issue.4283
, pp. 1149-1205
-
-
Mills, H.D.1
-
15
-
-
0012428683
-
Chief programmer team management of production programming
-
F. T. Baker, "Chief programmer team management of production programming," IBM Systems Journal 11, No. 1, 56-73 (1972).
-
(1972)
IBM Systems Journal
, vol.11
, Issue.1
, pp. 56-73
-
-
Baker, F.T.1
|