%A Peter Wegner
%T Introduction and overview
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 1-36

%A William A. Wulf
%T Introduction to part I: comments on "current practice"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 39-43

%A Barry W. Boehm
%T Software engineering: R&D trends and defense needs
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 44-86

%A H.D. Mills
%T Software development
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 87-105

%A L.A. Belady
%A M.M. Lehman
%T The characteristics of large systems
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 106-138

%A F.J. Corbato
%A C.T. Clingen
%T A managerial view of the Multics system development
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 139-158

%A Barry C. DeRoze
%A Thomas H. Nyman
%T The software life cycle
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 161-170

%A L.A. Belady
%A Susen L. Gerhart
%A Edward F. Miller,\ Jr.
%A William Waite
%A Anthony I Wasserman
%A William A. Wulf
%T Problems of the 1980's in software engineering: an overview
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 171-175

%A Anthony Ralston
%T Mathematics and computer science
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 176-178

%A Donald J. Reifer
%T Counterpoint to Boehm and Mills;
software engineering: an acquisition viewpoint
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 178-182

%A John D. Cooper
%T Discussion of "Software engineering: R&D trends and defense needs"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 183-186

%A James Burrows
%T Discussion of "Software engineering"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 186-189

%A Peter G. Neumann
%T The use of formal specifications
in the design, implementation and verification of large computer systems
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 190-198

%A Peter Wegner
%T Introduction part II.1: software methodology
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 203-206

%A Clement L. McGowan
%A Robert C. McHenry
%T Software management
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 207-253

%A David Gries
%T Current ideas in programming methodology
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 254-275

%A Barbara H. Liskov
%A Valdis Berzins
%T An appraisal of program specifications
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 276-301

%A Ralph L. London
%T Program verification
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 302-315

%A John B. Goodenough
%T A survey of program testing issues
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 316-340

%A J.J. Horning
%T Discussion of "Current ideas on programming methodology"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 343-344

%A Barbara H. Liskov
%T Remarks on the construction of large programs
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 345-351

%A David L. Parnas
%T Research problems in programming methodology
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 352-358

%A David Gries
%T A comment on Parnas's counterpoint
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 359-364

%A David L. Parnas
%T The role of program specifications
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 364-370

%A Joseph A. Goguen
%T Algebraic specification
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 370-376

%A M. Hamilton
%A S. Zeldin
%T Discussion of "An appraisal of program specification"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 376-380

%A Bernard Elspas
%T A commentary on "Program verification"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 380-387

%A D. Harel
%A V.R. Pratt
%T Comments on "Program verification"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 387-391

%A Ralph L. London
%T Response to commentaries by Elspas and by Harel and Pratt
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 391-393

%A Robert Constable
%T A discussion of "Program verification"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 393-404

%A Susan L. Gerhart
%T Discussion of "A survey of program testing issues"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 404-408

%A Timothy A. Budd
%A Richard J. Lipton
%A Frederick G. Sayward
%A Richard A. DeMillo
%T A discussion of "A survey of program testing issues"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 408-413

%A Lee J. White
%A Edward I. Cohen
%A B. Chandrasekaran
%T A discussion of "A survey of program tetsing issues"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 414-416

%A John B. Goodenough
%T Response to discussants
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 416-418

%A J.B. Dennis
%T Introduction to part II.2: computer systems methodology
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 421-424

%A Peter Wegner
%T Programming languages - concepts and research directions
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 425-489

%A P.J. Denning
%A J.C. Browne
%A J.L. Peterson
%T The impact of operating systems research on software technology
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 490-513

%A J.B. Dennis
%A S.H. Fuller
%A W.B. Ackerman
%A R.J. Swan
%A K.-S. Weng
%T Research directions in computer architecture
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 514-556

%A J.C. Browne
%T Performance analysis and evaluation: the connection to reality
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 557-583

%A R.E. Bryant
%A J.B. Dennis
%T Concurrent programming
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 584-610

%A John A. Stankovic
%A Andries van\ Dam
%T Research directions in (cooperative) distributed processing
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 611-638

%A Daniel M. Berry
%T Pascal or Algol 68
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 641-646

%A Per Brinch\ Hansen
%T A discussant contribution on operating systems:
the end of a heroic era
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 646-649

%A Forest Baskett
%T Abstract and concrete machine design and analysis:
a new area for performance evaluation
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 649-652

%A J.H. Saltzer
%T Performance analysis and evaluation: no connection with reality
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 653-654

%A Robert M. Keller
%T Proof methods for concurrent programs
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 654-658

%A Susan Owicki
%T Response to "concurrent programming"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 659-663

%A Roger Vossler
%T Experience in developing distributed systems
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 663-666

%A Frank Stepczyk
%A Dennis Heimbigner
%T Application of a concurrent programming language:
a discussion of "Programming languages"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 666-668

%A D.L. Drukey
%T Multi-processing and network verification and validation
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 668-671

%A Per Brinch\ Hansen
%T The future of concurrent programming:
a discussion of "Concurrent programming"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 671-674

%A Yechiam Yemini
%T A view of some research problems in computer communication
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 674-679

%A Michael Hammer
%T Introduction to part II.3: application oriented software research
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 683-687

%A John R. Rice
%T Software for numerical computation
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 688-708

%A Michael Hammer
%T Research directions in data base management
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 709-728

%A R.O. Duda
%A N.J. Nilsson
%A B. Raphael
%T State of technology in artificial intelligence
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 729-749

%A Roger C. Schank
%A Wendy Lehnert
%T Review of natural language processing
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 750-766

%A Michael Hammer
%A Gregory Ruth
%T Automating the software development process
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 767-790

%A W.J. Cody
%T Discussion of "software for numerical computation"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 793-794

%A Lloyd D. Fosdick
%T Discussion of "software for numerical computation"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 795-796

%A J.F. Traub
%T Discussion of "software for numerical computation"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 796-798

%A N.L. Schryer
%T Discussion of "software for numerical computation"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 799-802

%A Richard L. Lau
%T Discussion of "software for numerical computation"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 803-804

%A J. Gray
%T Some comments on "Research directions in data base management"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 804-809

%A F. Kirchenbaum
%A J. Gosden
%T Some comments on "Research directions in data base management"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 810-813

%A John McCarthy
%T Comments on "The state of technology in artificial intelligence"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 815-816

%A Ira Pohl
%T Remarks on "The state of technology in artificial intelligence"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 816-819

%A J. Feldman
%T Commentary on "The state of technology in artificial intelligence"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 819-823

%A Brian C. Smith
%T Comments on "The state of technology in artificial intelligence"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 823-834

%A R.O. Duda
%A N.J. Nilsson
%A B. Raphael
%T Author's response
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 835-836

%A David L. Waltz
%T A response to "Review of natural language processing"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 837-842

%A William A. Martin
%T Discussion of "Review of natural language processing"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 842-844

%A Gary G. Hendrix
%T A discussion of "Review of natural language processing"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 845-851

%A Robert Balzer
%T An alternative approach to software automation
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 851-856

%A N. Prywes
%T Discussion of "Automating the software system developing process"
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 856-858

%A Steven P. Reiss
%T Toward practical automatic programming
%B Research directions in software technology
%E Peter Wegner
%I MIT Press
%D 1979
%K rdst
%P 858-860