skip to main content
10.1145/324634.325183acmconferencesArticle/Chapter ViewAbstractPublication PagescscConference Proceedingsconference-collections
Article
Free Access

Technological advances in software engineering

Authors Info & Claims
Published:01 February 1986Publication History
First page image

References

  1. Ad83.Reference Manual for the Ada Programming Language. United States Department of Defense, January 1983,Google ScholarGoogle Scholar
  2. Ah77.Aho, A. V. and J. UIIman. Principles of Compiler Design. Addison Wesley, 1977. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Ba85.Barbacci, M. R.; A. N. Habermann; M. Shaw, The Software Engineering Institute: Bridging Practice and Potential. IEEE Software {2}, 6. November 1975.Google ScholarGoogle Scholar
  4. Br62.Brooker, R. A. and D. Morris, A General Translation Program for Phrase Structure Languages. Journal of the ACM 9, pp. 1-10, 1962, Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Bu80.Buxton, J. N. Requirements for Ada Programming Support Environments (Stoneman). US Government, Department of Defense, February 1980.Google ScholarGoogle Scholar
  6. Ca80.Cattell, R. G. G. Automatic Derivations of Code Generators from Machine Descriptions. Transactions on Programming Languagee and Systems, Vol. 2, 2, April 1980. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Di76.Dijkstra, E. W. A Discipfine of Programming. Prentice Hall, Englewood Cliffs, New York, 1976. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Dk76.DeRemer, F. and H. Kron, Programming.in-the-Large Versus Programming.in.the. Small. IEEE Transactions Software Engineering {2}, 2. June 1976.Google ScholarGoogle Scholar
  9. Do77.Dolotta, T. A. and R. C. Haight. PWB/UNIX.(Overview and Synopsis of Facilities) Technical Report, Bell Laboratories, June 1977.Google ScholarGoogle Scholar
  10. Do80.Donzean Gouge, V. et al. Programming Environments Based on Structure Editors: the Mentor Experience. INRIA Rapports de Recherche, No. 26, July 1980.Google ScholarGoogle Scholar
  11. Fi84.Fischer, C. N. et al. The POE Language. Based Editor Project. Proceedings of the SiGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, April 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Ga83.Gansner, E. R. et al. A Language. Based Editor for an interactive Programming Environment. Proceedings, IEEE.Compcon83, San Francisco, Calif., February 1983.Google ScholarGoogle Scholar
  13. Ga84.Garlan, David and P. Miller. GNOME: An Introductory Programming Environment Based on a Family of Structure Editors. Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, April 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Go75.Good, D. I.; R. L. London; W. W. Blesdoe. An Interactive Program Verification System. Sigplan Notices, June 1975. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Go83.Goldberg, A. and D. Robson. Smalltalk-80: The Language and its Implementation. Addison & Wesley, Reading, Mass., 1983. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Ha71.Hansen, W. J. Creation of Hierarchic Text with a Computer Display. Ph.D. Thesis, Stanford Univeristy, June 1971. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Ha76.Habermann, A. N. Introduction to Operating System Design. Science Research Associates, Inc., Chicago, Palo Alto, Toronto, 1976. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Ha83.Habermann, A. Nico and D. Notkin. The Gandalf Software Development Environment. Proceedings of the Second International Symposium on Computation and information, Monterrey, Mexlco, September 1983.Google ScholarGoogle Scholar
  19. He78.Heninger, J., D. L. Parnas et al. Software Requirements for the A.7E Aircraft. Naval Research Lab., Washington, D.C., Memo Rep. 3876, November 1978.Google ScholarGoogle Scholar
  20. HZ83.Hamilton, M. and S. S. Zeldin. The Functional Lifecycle Model and Its Automation: USE.IT. Journal of Systems and Software, VoI. 3, No. 1, March 1983.Google ScholarGoogle Scholar
  21. Ja75.Jackson, M. Principles of Program Design. Academic Press, 1975. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Ka82.Kahn, G. et al. Metal: A Formalism to Specify Formalisms. Technical Report, INRIA (1982).Google ScholarGoogle Scholar
  23. Ka85.Kaiser, G. E. Semantics for Structure Editing Environments Ph.D. Dissertation, Carnegie. Mellon University, 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Kn73.Knuth, D. The Art of Computer Programming, Volume iih Sorting and Searching. Addison-Wesley, Reading, Mass., 1973. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Le80.Lehman, M. M. On Understanding Laws, Evolution and Conversation in the Large-Program Life Cycle. The Journal of Systems and Software 1, 3 (1980).Google ScholarGoogle Scholar
  26. Le84.Leblang, D. B. and R. P. Chase, Jr. Computer. Aided Software Engineering in a Distributed Workstation Environment, Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments. Pittsburgh, Pa., April 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Lu79.Luckham, D. C. et al. The Stanford Pascal Verifier User Manual. Stanford University, Stanford, Calif., March 1979, Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. No85.Notkin, D. S. The GANDALF Project. The Journal of Systems and Software, {5}, 2. May 1985.Google ScholarGoogle Scholar
  29. Os83.Osterweil, L. J. Toolpack - An Experimental Software Development Environment Research Project. IEEE Transactions on Software Engineering, pp. 673-685, November 1983.Google ScholarGoogle Scholar
  30. Pa72.Parnas, D. L. On Criteria to Be Used in Decomposing Systems into Modules. CACM, December 1972. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. Re82.Reps, T. W. Generating Language-Base Environments. Ph.D. Dissertation, Cornell University, 1982. Google ScholarGoogle ScholarDigital LibraryDigital Library
  32. Re84.Reiss, S. Graphical Program Development with PECAN Program Development Systems. Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, April 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  33. RT84.Reps, T. W. and R. Teitelbaum. The Synthesizer Generator. Proceedings ACM/SIGSOFT Software Engineering Symposium on Software Development Environments, Pittsburgh, Pa., April 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. Sn80.Snowdon, R. A. An Experienced. Based Assessment of Development Systems.software Development Too/s, pp. G4-75t Springer Verlag, Berlin, Heidelberg, New York, 1980.Google ScholarGoogle Scholar
  35. Sw85.Sweet, R. E. The Mesa Programming Environment. Proceedings, ACM SIGPLAN85 Symposium on Language Issues in Programming Environments, Seattle, Washington, 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  36. Te78.Teitelman, W. et al. The Interlisp Reference Manual. Xerox Palo Alto Research Center, Palo Alto, Calif., 1978,Google ScholarGoogle Scholar
  37. Te81.Teitelbaum, T. and T. Reps. The Cornell Program Synthesiser: A Syntax. Directed Programming Environment. CACM, September 1981. Google ScholarGoogle ScholarDigital LibraryDigital Library
  38. Wi81.Wirth, N. and R. Ohran. Lilith. A Personal Computer for Software Engineering. Proceedings, 5th international Conference on Software Engineering, San Diego, Calif., March 1981. Google ScholarGoogle ScholarDigital LibraryDigital Library
  39. Yo75.Yourdon, E. Techniques of Program Structure and Design. Prentice. Hall, 1975. Google ScholarGoogle ScholarDigital LibraryDigital Library

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in
  • Published in

    cover image ACM Conferences
    CSC '86: Proceedings of the 1986 ACM fourteenth annual conference on Computer science
    February 1986
    531 pages
    ISBN:0897911776
    DOI:10.1145/324634

    Copyright © 1986 ACM

    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 1 February 1986

    Permissions

    Request permissions about this article.

    Request Permissions

    Check for updates

    Qualifiers

    • Article
  • Article Metrics

    • Downloads (Last 12 months)26
    • Downloads (Last 6 weeks)4

    Other Metrics

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader