-
1
-
-
84937079775
-
Information Processing/Data Automation Implications of Air Force Command and Control Requirements in the 1980's
-
CCIP-85), Space and Missile Syst. Org., Los Angeles, CA Feb
-
B. Boehm et al., Information Processing/Data Automation Implications of Air Force Command and Control Requirements in the 1980’s (CCIP-85), Space and Missile Syst. Org., Los Angeles, CA Feb. 1972.
-
(1972)
-
-
Boehm, B.1
-
2
-
-
0009057426
-
Software and its impact: A quantitative assessment
-
May
-
B. Boehm, “Software and its impact: A quantitative assessment,” Datamation, vol. 19, pp. 48–59, May 1973.
-
(1973)
Datamation
, vol.19
, pp. 48-59
-
-
Boehm, B.1
-
3
-
-
0016071495
-
The cost of developing large scale software
-
R. Wolverton, “The cost of developing large scale software,” IEEE Trans. Comput., vol. C-23, no. 6, 1974.
-
(1974)
IEEE Trans. Comput
, vol.C-23
, Issue.6
-
-
Wolverton, R.1
-
4
-
-
0017445159
-
An extendable approach to computer-aided software requirements engineering
-
Jan
-
T. Bell, D. Bixler, and M. Dyer, “An extendable approach to computer-aided software requirements engineering,” IEEE Trans. Software Eng., vol. SE-3, pp. 49–60, Jan. 1977.
-
(1977)
IEEE Trans. Software Eng
, vol.SE-3
, pp. 49-60
-
-
Bell, T.1
Bixler, D.2
Dyer, M.3
-
5
-
-
84976789984
-
GYPSY: A language for specification and implementation of verifiable programs
-
in Proc. ACM Conf Language Design for Reliable Software, Mar
-
A. Ambler, D. Good, J. Browne, et al., “GYPSY: A language for specification and implementation of verifiable programs,” in Proc. ACM Conf Language Design for Reliable Software, Mar. 1977, pp. 1–10.
-
(1977)
, pp. 1-10
-
-
Ambler, A.1
Good, D.2
Browne, J.3
-
6
-
-
0018491341
-
Synthesis: Dreams => programs
-
July
-
Z. Manna and R. Waldinger, “Synthesis: Dreams => programs,” IEEE Trans. Software Eng., vol. SE-5, pp. 294–329, July 1979.
-
(1979)
IEEE Trans. Software Eng
, vol.SE-5
, pp. 294-329
-
-
Manna, Z.1
Waldinger, R.2
-
7
-
-
0018918712
-
Specifying requirements for complex systems: New techniques and their application
-
Jan
-
K. Heninger, “Specifying requirements for complex systems: New techniques and their application,” IEEE Trans. Software Eng., vol. SE-6, pp. 2–13, Jan. 1980.
-
(1980)
IEEE Trans. Software Eng
, vol.SE-6
, pp. 2-13
-
-
Heninger, K.1
-
8
-
-
0015346655
-
A technique for software module specification wtih examples
-
May
-
D. L. Parnas, “A technique for software module specification wtih examples,” Commun. Ass. Comput. Mach., vol. 15, pp. 330–336, May 1972.
-
(1972)
Commun. Ass. Comput. Mach
, vol.15
, pp. 330-336
-
-
Parnas, D.L.1
-
9
-
-
0006440677
-
The specification and application to programming of abstract data types
-
J. Guttag, “The specification and application to programming of abstract data types,” Comput. Syst. Res. Group, Dep. Comput. Sci., Univ. Toronto, Ont., Canada, Rep. CSRG-59, 1975.
-
(1975)
Comput. Syst. Res. Group, Dep. Comput. Sci., Univ. Toronto, Ont., Canada, Rep. CSRG-59
-
-
Guttag, J.1
-
10
-
-
0017504316
-
Abstract Database types and the development of data structures
-
June
-
J. Guttag, “Abstract Database types and the development of data structures,” Commun. Ass. Comput. Mach., vol. 20, pp. 396–404, June 1976.
-
(1976)
Commun. Ass. Comput. Mach
, vol.20
, pp. 396-404
-
-
Guttag, J.1
-
11
-
-
0016487425
-
Specification techniques for data abstraction
-
Mar
-
B. Liskov and S. Zilles, “Specification techniques for data abstraction,” IEEE Trans. Software Eng., vol. SE-1, pp. 7–19, Mar. 1975.
-
(1975)
IEEE Trans. Software Eng
, vol.SE-1
, pp. 7-19
-
-
Liskov, B.1
Zilles, S.2
-
12
-
-
0004016309
-
Structured Programming Theory and Practice
-
Reading, MA: Addison-Wesley
-
H. Mills, R. Linger, and B. Witt, Structured Programming Theory and Practice. Reading, MA: Addison-Wesley, 1979.
-
(1979)
-
-
Mills, H.1
Linger, R.2
Witt, B.3
-
14
-
-
0018664179
-
An experiment in software engineering: The architecture research facility as a case study
-
H. Elovitz, “An experiment in software engineering: The architecture research facility as a case study,” in Proc. 4th Int. Conf. Software Eng., 1979, pp. 145–152.
-
(1979)
Proc. 4th Int. Conf. Software Eng
, pp. 145-152
-
-
Elovitz, H.1
-
15
-
-
0345403248
-
Evaluating software development by error analysis: The data from the architecture research facility
-
D. Weiss, “Evaluating software development by error analysis: The data from the architecture research facility,” J. Syst. Software, vol. 1979.
-
(1979)
J. Syst. Software
-
-
Weiss, D.1
-
16
-
-
0004253669
-
A Discipline of Programming
-
Englewood Cliffs, NJ: Prentice-Hall
-
E. W. Dijkstra, A Discipline of Programming. Englewood Cliffs, NJ: Prentice-Hall, 1976.
-
(1976)
-
-
Dijkstra, E.W.1
-
18
-
-
84945708698
-
An axiomatic basis for computer programming
-
Oct
-
C. A. R. Hoare, “An axiomatic basis for computer programming,” Commun. Ass. Comput. Mach., vol. 12, Oct. 1969.
-
(1969)
Commun. Ass. Comput. Mach
, vol.12
-
-
Hoare, C.A.R.1
-
19
-
-
0012428683
-
Chief programmer team management of production programming
-
F. Baker, “Chief programmer team management of production programming,” IBM Syst. J., vol. 11, no. 1, pp. 56–73, 1972.
-
(1972)
IBM Syst. J
, vol.11
, Issue.1
, pp. 56-73
-
-
Baker, F.1
-
20
-
-
0001654941
-
Notes on structured programming
-
London, England: Academic
-
E. W. Dijkstra, “Notes on structured programming,” in Structured Programming. London, England: Academic, 1972.
-
(1972)
Structured Programming
-
-
Dijkstra, E.W.1
-
21
-
-
0016354647
-
Structured programming with go to statements
-
Dec
-
D. E. Knuth, “Structured programming with go to statements,” Comput. Surveys, vol. 6, pp. 261–301, Dec. 1974.
-
(1974)
Comput. Surveys
, vol.6
, pp. 261-301
-
-
Knuth, D.E.1
-
22
-
-
84905118877
-
Chief programmer teams: Principles and procedures
-
H. Mills, “Chief programmer teams: Principles and procedures,” IBM Fed. Syst. Div., FSC 71–5108, 1971.
-
(1971)
IBM Fed. Syst. Div., FSC
, pp. 71-5108
-
-
Mills, H.1
-
23
-
-
84918983045
-
Mathematical foundations for structured programming
-
H. Mills, “Mathematical foundations for structured programming,” IBM Fed. Syst. Div., FSC 72–6012, 1972.
-
(1972)
IBM Fed. Syst. Div., FSC
, pp. 72-6012
-
-
Mills, H.1
-
24
-
-
84976773567
-
Program development by stepwise refinement
-
Apr
-
N. Wirth, “Program development by stepwise refinement,” Commun. Ass. Comput. Mach., vol. 14, pp. 221–227, Apr. 1971.
-
(1971)
Commun. Ass. Comput. Mach
, vol.14
, pp. 221-227
-
-
Wirth, N.1
-
25
-
-
0015374688
-
Debugging tools for high-level languages
-
July-Sept
-
E. Satterthwaite, “Debugging tools for high-level languages,” Software-Practice and Exp., vol. 2, pp. 197–217, July-Sept. 1972.
-
(1972)
Software-Practice and Exp
, vol.2
, pp. 197-217
-
-
Satterthwaite, E.1
-
26
-
-
0018281578
-
Theoretical and empirical studies of program testing
-
May
-
W. Howden, “Theoretical and empirical studies of program testing,” in Proc. 3rd Int. Conf. Software Eng., May 1978, pp. 305–310.
-
(1978)
Proc. 3rd Int. Conf. Software Eng
, pp. 305-310
-
-
Howden, W.1
-
28
-
-
84910946421
-
Language design to enhance programming reliability
-
Univ. Toronto, Toronto, Ont., Canada, Rep. CSRG-47
-
J. Gannon, “Language design to enhance programming reliability,” Comput. Syst. Res. Group, Dep. Comput. Sci., Univ. Toronto, Toronto, Ont., Canada, Rep. CSRG-47, 1975.
-
(1975)
Comput. Syst. Res. Group, Dep. Comput. Sci
-
-
Gannon, J.1
-
29
-
-
0016520312
-
Language design for programming reliability
-
June
-
J. Gannon and J. Horning, “Language design for programming reliability,” IEEE Trans. Software Eng., vol. SE-1, June 1975.
-
(1975)
IEEE Trans. Software Eng
, vol.SE-1
-
-
Gannon, J.1
Horning, J.2
-
30
-
-
0000972249
-
An axiomatic definition of the programming language Pascal
-
C. A. R. Hoare and N. Wirth, “An axiomatic definition of the programming language Pascal,” Acta Inform., vol. 2, pp. 335–355, 1973.
-
(1973)
Acta Inform
, vol.2
, pp. 335-355
-
-
Hoare, C.A.R.1
Wirth, N.2
-
31
-
-
0003577991
-
Pascal User Manual and Report
-
2nd ed. New York:
-
K. Jensen and N. Wirth, Pascal User Manual and Report, 2nd ed. New York: 1974.
-
(1974)
-
-
Jensen, K.1
Wirth, N.2
-
32
-
-
0003615313
-
Evaluation of a software requirements document by analysis of change data
-
Mar
-
V. Basili and D. Weiss, “Evaluation of a software requirements document by analysis of change data,” in Proc. 5th Int. Conf. Software Eng., Mar. 1981, 314–323.
-
(1981)
Proc. 5th Int. Conf. Software Eng
, pp. 314-323
-
-
Basili, V.1
Weiss, D.2
-
33
-
-
84915156600
-
Evaluating software development by analysis of change data
-
Univ. Maryland, College Park, Rep. TR-1120, Nov
-
D. Weiss, “Evaluating software development by analysis of change data,” Comput. Sci. Cen., Univ. Maryland, College Park, Rep. TR-1120, Nov. 1981.
-
(1981)
Comput. Sci. Cen
-
-
Weiss, D.1
-
34
-
-
84944481462
-
Evaluation of the A-7E software requirements document by analysis of changes: Three years of data
-
Sept
-
L. Chmura and D. Weiss, “Evaluation of the A-7E software requirements document by analysis of changes: Three years of data,” presented at NATO A GARD Avionics Symp., Sept. 1982.
-
(1982)
presented at NATO A GARD Avionics Symp
-
-
Chmura, L.1
Weiss, D.2
-
35
-
-
84944481463
-
Evaluating software development by analysis of changes: Some data from the Software Engineering Laboratory
-
to be published
-
V. Basili and D. Weiss, “Evaluating software development by analysis of changes: Some data from the Software Engineering Laboratory,” IEEE Trans. Software Eng., to be published.
-
IEEE Trans. Software Eng
-
-
Basili, V.1
Weiss, D.2
-
36
-
-
30244454241
-
The Software Engineering Laboratory
-
Univ. Maryland, College Park, Rep. TR-535, May
-
V. Basili, M. Zelkowitz, F. McGarry, et al., “The Software Engineering Laboratory,” Univ. Maryland, College Park, Rep. TR-535, May 1977.
-
(1977)
-
-
Basili, V.1
Zelkowitz, M.2
McGarry, F.3
-
37
-
-
84944481217
-
An experiment in small-scale application software engineering
-
B. Boehm, “An experiment in small-scale application software engineering,” TRW, Rep. TRW-SS-80-01, 1980.
-
(1980)
TRW, Rep. TRW-SS-80-01
-
-
Boehm, B.1
-
38
-
-
84915134195
-
Analysis and causes of errors in systems programs
-
A. Endres, “Analysis and causes of errors in systems programs,” in Proc. Int. Conf Reliable Software, 1975, pp. 327–336.
-
(1975)
Proc. Int. Conf Reliable Software
, pp. 327-336
-
-
Endres, A.1
-
39
-
-
39749093168
-
The magical number seven, plus or minus two: Some limits on our capacity for processing information
-
Mar
-
G. Miller, “The magical number seven, plus or minus two: Some limits on our capacity for processing information,”Psychol. Rev., vol. 63, pp. 81–97, Mar. 1956.
-
(1956)
Psychol. Rev
, vol.63
, pp. 81-97
-
-
Miller, G.1
-
40
-
-
85050854798
-
A meta-model for software development resource expenditures
-
Mar
-
J. Bailey and V. Basili, “A meta-model for software development resource expenditures,” in Proc. 5th Int. Conf. Software Eng., Mar. 1981, pp. 107–116.
-
(1981)
Proc. 5th Int. Conf. Software Eng
, pp. 107-116
-
-
Bailey, J.1
Basili, V.2
-
41
-
-
0015482049
-
On the criteria to be used in decomposing systems into modules
-
Dec
-
D. L. Parnas, “On the criteria to be used in decomposing systems into modules,” Commun. Ass. Comput. Mach., vol. 15, pp. 1053–1058, Dec. 1972.
-
(1972)
Commun. Ass. Comput. Mach
, vol.15
, pp. 1053-1058
-
-
Parnas, D.L.1
-
42
-
-
0004259751
-
The Social Psychology of Industry
-
Baltimore, MD: Penguin
-
J. Brown, The Social Psychology of Industry. Baltimore, MD: Penguin, 1954.
-
(1954)
-
-
Brown, J.1
|