Toward automating the software-development cycle

ABSTRACT

Knowledge-intensive rather than labor-intensive processes are being advanced to spur programming productivity.

REFERENCES

• 1: Terry Winograd, Breaking the complexity barrier again, Proceedings of the 1973 meeting on Programming languages and information retrieval, p.13-30, November 04-06, 1973, Gaithersburg, Maryland
• 2: Director and chief scientist of the Kestrel Institute in Palo Alto. California.
• 3: Professor of electrical engineering (research) at Stanford University. Palo Alto. California.
• 4: Helped form the University of Southern California Information Sciences Institute and is currently an associate professor of computer science and director of ISI's Software Sciences and Systems Division.
• 5: Professor of computer science and director of the Center for Research in Computing Technology at Harvard University in Cambridge. Massachusetts.
• 6: Haradhvala, S.. Knobe. B.. and Rubin. N. Expert systems for high quality code generation. In Procredhgs IIf f/w 1st Cmfmuce m Artificial Intelligence Applications (Denver. Cola.. Dec. 5-7). IEEE Computer Society, Silver Spring, Md.. 1984. p. 312.
• 7: Presently professor in the Department of Electrical Engineering, University of Waterloo. Ontario. Canada.
• 8: A former Waterloo graduate student of Rudolph Seviora: now a research scientist with Siemens Corporation. Princeton. New Jersey.
• 9: Gupta. N.K.. and Seviora. R.E. An expert system approach to real time system debugging. In Procdirrgs of the Isf Conference on Artificial Intelligence Applicnfions (Denver. Cola, Dec. S-7). IEEE Computer Society, Silver Spring, Md., 1984, p. 339.

INDEX TERMS

Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
  D.2 SOFTWARE ENGINEERING
      D.2.9 Management
          Subjects: Productivity
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Compilers

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management
          Subjects: Software development

General Terms:
Design, Management, Verification