Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/324634.325183acmconferencesArticle/Chapter ViewAbstractPublication PagescscConference Proceedingsconference-collections
Article
Free access

Technological advances in software engineering

Published: 01 February 1986 Publication History
First page of PDF

References

[1]
Reference Manual for the Ada Programming Language. United States Department of Defense, January 1983,
[2]
Aho, A. V. and J. UIIman. Principles of Compiler Design. Addison Wesley, 1977.
[3]
Barbacci, M. R.; A. N. Habermann; M. Shaw, The Software Engineering Institute: Bridging Practice and Potential. IEEE Software {2}, 6. November 1975.
[4]
Brooker, R. A. and D. Morris, A General Translation Program for Phrase Structure Languages. Journal of the ACM 9, pp. 1-10, 1962,
[5]
Buxton, J. N. Requirements for Ada Programming Support Environments (Stoneman). US Government, Department of Defense, February 1980.
[6]
Cattell, R. G. G. Automatic Derivations of Code Generators from Machine Descriptions. Transactions on Programming Languagee and Systems, Vol. 2, 2, April 1980.
[7]
Dijkstra, E. W. A Discipfine of Programming. Prentice Hall, Englewood Cliffs, New York, 1976.
[8]
DeRemer, F. and H. Kron, Programming.in-the-Large Versus Programming.in.the. Small. IEEE Transactions Software Engineering {2}, 2. June 1976.
[9]
Dolotta, T. A. and R. C. Haight. PWB/UNIX.(Overview and Synopsis of Facilities) Technical Report, Bell Laboratories, June 1977.
[10]
Donzean Gouge, V. et al. Programming Environments Based on Structure Editors: the Mentor Experience. INRIA Rapports de Recherche, No. 26, July 1980.
[11]
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.
[12]
Gansner, E. R. et al. A Language. Based Editor for an interactive Programming Environment. Proceedings, IEEE.Compcon83, San Francisco, Calif., February 1983.
[13]
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.
[14]
Good, D. I.; R. L. London; W. W. Blesdoe. An Interactive Program Verification System. Sigplan Notices, June 1975.
[15]
Goldberg, A. and D. Robson. Smalltalk-80: The Language and its Implementation. Addison & Wesley, Reading, Mass., 1983.
[16]
Hansen, W. J. Creation of Hierarchic Text with a Computer Display. Ph.D. Thesis, Stanford Univeristy, June 1971.
[17]
Habermann, A. N. Introduction to Operating System Design. Science Research Associates, Inc., Chicago, Palo Alto, Toronto, 1976.
[18]
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.
[19]
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.
[20]
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.
[21]
Jackson, M. Principles of Program Design. Academic Press, 1975.
[22]
Kahn, G. et al. Metal: A Formalism to Specify Formalisms. Technical Report, INRIA (1982).
[23]
Kaiser, G. E. Semantics for Structure Editing Environments Ph.D. Dissertation, Carnegie. Mellon University, 1985.
[24]
Knuth, D. The Art of Computer Programming, Volume iih Sorting and Searching. Addison-Wesley, Reading, Mass., 1973.
[25]
Lehman, M. M. On Understanding Laws, Evolution and Conversation in the Large-Program Life Cycle. The Journal of Systems and Software 1, 3 (1980).
[26]
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.
[27]
Luckham, D. C. et al. The Stanford Pascal Verifier User Manual. Stanford University, Stanford, Calif., March 1979,
[28]
Notkin, D. S. The GANDALF Project. The Journal of Systems and Software, {5}, 2. May 1985.
[29]
Osterweil, L. J. Toolpack - An Experimental Software Development Environment Research Project. IEEE Transactions on Software Engineering, pp. 673-685, November 1983.
[30]
Parnas, D. L. On Criteria to Be Used in Decomposing Systems into Modules. CACM, December 1972.
[31]
Reps, T. W. Generating Language-Base Environments. Ph.D. Dissertation, Cornell University, 1982.
[32]
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.
[33]
Reps, T. W. and R. Teitelbaum. The Synthesizer Generator. Proceedings ACM/SIGSOFT Software Engineering Symposium on Software Development Environments, Pittsburgh, Pa., April 1984.
[34]
Snowdon, R. A. An Experienced. Based Assessment of Development Systems.software Development Too/s, pp. G4-75t Springer Verlag, Berlin, Heidelberg, New York, 1980.
[35]
Sweet, R. E. The Mesa Programming Environment. Proceedings, ACM SIGPLAN85 Symposium on Language Issues in Programming Environments, Seattle, Washington, 1985.
[36]
Teitelman, W. et al. The Interlisp Reference Manual. Xerox Palo Alto Research Center, Palo Alto, Calif., 1978,
[37]
Teitelbaum, T. and T. Reps. The Cornell Program Synthesiser: A Syntax. Directed Programming Environment. CACM, September 1981.
[38]
Wirth, N. and R. Ohran. Lilith. A Personal Computer for Software Engineering. Proceedings, 5th international Conference on Software Engineering, San Diego, Calif., March 1981.
[39]
Yourdon, E. Techniques of Program Structure and Design. Prentice. Hall, 1975.

Recommendations

Comments

Information & Contributors

Information

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
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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 February 1986

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Conference

ICMI05
Sponsor:

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 730
    Total Downloads
  • Downloads (Last 12 months)53
  • Downloads (Last 6 weeks)15
Reflects downloads up to 08 Feb 2025

Other Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media