Skip to main content
SpringerLink
Log in

Software-Produktions-Umgebungen: Entwicklungsstand Und Trends

  • Chapter
Werkzeuge der Programmiertechnik

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 43))

Zusammenfassung

Es wird ein Überblick über Software-Produktions-Umgebungen gegeben. Grundlage hierfür sind ca. 20 solcher Systeme/ die aus etwa 75 Hilfs-mitteln für die Software-Entwicklung ausgewahlt wurden. Die Untersuchung der Systeme orientiert sich am Fragenkatakog, der fur das Symposion on Software Engineering Environments [Hünk81] erstellt wurde. Diskussionsthemen sind: Motivation und Ziel, Anwendungsbereiche, Werkzeuge und Funktionen, Konzepte, Entwicklung und Nutzung von Software- Produktions-Umgebungen. Dabei wird der heutige „Stand der Kunst“ dargelegt, und Mangel werden aufgezeigt: Z.B. fehlen adäquate Modelle für die Entwicklung und Anwendung von Software, und mögliche Auswirkungen der Anwendung von Software-Systemen werden bei der Entwicklung nicht genügend berücksichtigt.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Alford, M.W. Requirements for Distributed Data Processing Design in: Proc. First International Conference on Distributed Data Processing, October 1979, IEEE

    Google Scholar 

  2. Alfo80 Alford, M.W. Towards Theoretical Foundations for Toolsmithing TRW Memo, Huntsville, Alabama

    Google Scholar 

  3. Alfo81 Alford, M.W. SDS: Experience with the Software Development System in: [Hünk81]

    Google Scholar 

  4. Backus, J. Can Programming be liberated from the von Neuman Style CACM Vol.21, No. 8, pp 613–641

    Google Scholar 

  5. Bail, B.G. User experiences with specification tools in: Software Engineering Notes, Vol.4, No.3, July 1979

    Google Scholar 

  6. Balzert, H.; Weber, D. Plasma/D - Eine sprache fur den Systementwurf in: Proc. Softwareengineering, -Entwurf und -Spezifikation, German Chapter of the ACM, TU Berlin, Sept.1980

    Google Scholar 

  7. Basili, V.R.; Ely, E.H.; Young, D. Executive Summary Of The Second Life Cycle Management Workshop in: Proc. of the Second Life Cycle Management Workshop, Atlanta, Georgia, 1978, IEEE

    Google Scholar 

  8. Bayer, M.; Bohringer, B.; Dohatty, J.P.; Feuerhahn, H.; Jasper, J.; Koster, C.H.A.; Schmiedecke, U. Software Development in the CDL2 Laboratory in: [Hünk81]

    Google Scholar 

  9. Belford, P.C. Experience Utilizing Components of the Software Development System in: IEEE COMPSAC 1978

    Google Scholar 

  10. Bell, T.E.; Thayer, T.A. Software Requirements: Are They Really A Problem? in: Second International Conference on Software Engineering, San Francisco, Oct.1976, IEEE

    Google Scholar 

  11. Biewald, J.; Goehner, P.; Lauber, R.; Schelling, H. EPOS - A Specification and Design Technique for Computer Controlled Real Time Automation Systems in: Proc. Fourth International Conference on Software Engineering, Munich, Sept.1979, IEEE

    Google Scholar 

  12. Bjorner, D. Abstract Software Specification Proc. Copenhagen Winter School 1979 Lecture Notes in Computer Sience, Vol 86, Springer-Verlag, Heidelberg

    Google Scholar 

  13. Boyer, R.S.; Moore, J.S. A Computational Logic Academic Press, New York, San Francisco, London, 1979

    Google Scholar 

  14. Brauer, W. (ed.) Net Theory and Application Proc. of the Advanced Course on General Net Theory of Processes and Systems Lecture Notes in Computer Science, Vol. 84, Springer-Verlag, Berlin, Heidelberg, New York, 1980

    Google Scholar 

  15. Buxton, J.N. Requirements for Ada Programming Support Environments (Stoneman) Department of Defense, USA, Feb.1980

    Google Scholar 

  16. Cheatham, T.E.; Townly, J.A.; Holloway, G.H. A System For Program Refinement Harvard University, Tech. Report Tr-05-79, Cambridge, MA

    Google Scholar 

  17. Cheatham, T.E. PDS: Overview of the Harvard Program Development System in: [Hünk81]

    Google Scholar 

  18. Davis, C.G.; Vick, C.R. The Software Development System in: IEEE Trans, on Software Engineering, Vol.SE-3, No.1, Jan.1977

    Google Scholar 

  19. Davis, C.G.; Vick, C.R. The Software Development System: Status and Evolution in: IEEE COMPSAC 1978

    Google Scholar 

  20. Dolotta, T.A.; Mashey, J.R. An Introduction to the Programmer’s Workbench in: Second International Conference on Software Engineering, San Francisco, Oct.1976, IEEE

    Google Scholar 

  21. Dolotta, T.A.; Haight, R.C. PWB/UNIX - Overview and Synopsis of Facilities Bell Laboratories, Naperville, Illinois, June 1977

    Google Scholar 

  22. Eanes, R.S.; Hitchon, K.; Thall, R.M.; Brackett, J.W. An environment for producing well-engineered microcomputer software in: Fourth International Conference on Software Engineering, Munich, Sept.1979, IEEE

    Google Scholar 

  23. Fujii, M. S. A Comparison of Software Assurance Methods Software Engineering Notes, Vol. 3, No. 5, November 1978

    Google Scholar 

  24. Good, D.I.; Cohen, R.M.; Hunter, L.D. A Report on the Development of Gypsy ICSA-CMP-11, Institute of Computer Science and Application, University of Texas at Austin, Austin, June 1978

    Google Scholar 

  25. Habermann, A.N. Tools for software system construction in: Riddle and Fairly (eds.), Software Development Tools, Springer Verlag, Heidelberg, Germany, 1980

    Google Scholar 

  26. Habermann, A.N.; Perry, E. System Composition and Version Control for Ada in: [Hünk81]

    Google Scholar 

  27. Handlykken, P.; Nygaard, K. The Delta System Description Language: Motivation, Main Concepts and Experiments from Use in: [Hunk81]

    Google Scholar 

  28. Hausen, H.L.; Müllerburg, M.; Riddle, W.E. Software Engineering Environments: A Bibliography in: [Hünk81]

    Google Scholar 

  29. Haus81ab Hausen, H.L.; Müllerburg, M. Conspectus of Software Engineering Environments in: Fifth International Conference on Software Engineering, San Diego, March 1981, IEEE

    Google Scholar 

  30. Haus81c Hausen, H.L.; Müllerburg, M. Übersicht Über Software Produktions-Systeme Gesellschaft für Mathematik und Datenverarbeitung, 5205 St. Augustin 1, Germany, IST-Bericht, in Vorbereitung

    Google Scholar 

  31. Hare, D.F. A Structure Editor for the Gypsy Verification Environment ICSCA-CMP-16, Institute of Computer Science and Application, Un of Texas at Austin, Austin, July 1979

    Google Scholar 

  32. Hünk81 Hünke, H. (ed.): Software Engineering Environments Proc. of a Symposium (S2E2), June 1980, Lahnstein, Germany North-Holland Pub. Co., Amsterdam, The Netherlands, Jan. 1981

    Google Scholar 

  33. Irvine, C.A.; Brackett, J.W. A System for Software Engineering in: Structured Analysis and Design, Vol. 2, State of the Art Report, Infotech, Maidenhead, England, 1978

    Google Scholar 

  34. Ivie, E.L. The Programmer’s Workbench - A Machine for Software Development in: Comm. ACM, Vol.20, No.10, Oct.1977

    Google Scholar 

  35. Knudsen, D.B.; Barofsky, A.; Satz, L.R. A Modification Request Control System in: Second International Conference on Software Engineering, San Francisco, Oct.1976, IEEE

    Google Scholar 

  36. Lauer, P.E.; Shields, M.W.; Best, E. On the Design and Certification of Asynchronous Systems of Processes University of Newcastle upon Tyne, Computing Laboratory, Final Report, Period 1976-1977

    Google Scholar 

  37. Lauer, P.E.; Shields, M.W. Cosy: An Environment for Development and Analysis of Concurrent And Distributed Systems in: [Hünk81]

    Google Scholar 

  38. Matsumoto, Y.; Nakajima, S.; Yamamoto, S.; Sakai, T. SPS: A Software Production System for Mini-Computers and Micro-Computers in: IEEE COMPSAC 1978

    Google Scholar 

  39. Matsumoto, Y.; Sasaki, O.; Nakajima, S.; Takezewa, K.; Yamamoto, S.; Tanaka, T. SWB System: A Software Factory in: [Hünk81]

    Google Scholar 

  40. Mitze, R.W. UNIX as a Software Engineering Environment in: [Hünk81]

    Google Scholar 

  41. Miura, T.; Kawasaki, J. Systems Development Laboratory Laboratory Report, Hitachi, Kawasaki, Japan, Oct.1980

    Google Scholar 

  42. Murakami, N.; Miyanari, I.; Yabuta, K. SDEM and SDSS: Overall Approach to Improvement of the Software Development Environment in: [Hünk81]

    Google Scholar 

  43. Nakamura, Y.; Miyahara, R.; Takeuchi, H. Complementary approach to the effective Software Development Environment in: IEEE COMPSAC 1978

    Google Scholar 

  44. Nygaard, K.; Handlykken, P. The System Development Process - Its Setting, Some Problems and Needs for Methods in: [Hünk81]

    Google Scholar 

  45. Pearson, D.J.; Snowdon, R.A. ISES - A System for the Formal Capture of Informal Design presented to IFIP TC10

    Google Scholar 

  46. Pearson, D.J. The Use and Abuse of a Software Engineering System in: Proc. AFIPS National Computer Conference, Anaheim, California, June 1979

    Google Scholar 

  47. Pedersen, J.T.; Buckle, J.K. Kongsberg’s Road to an Industrial Software Methodology in: Third International Conference on Software Engineering, Atlanta, May 1978, IEEE

    Google Scholar 

  48. Pratten, G.D.; Snowdon, R.A. CADES–Support for the Development of Complex Software in: Proc. of the European Computing Conference on Software Engineering, 1976, ONLINE, Uxbridge, England

    Google Scholar 

  49. Riddle, W.E.; Sayler, J.H.; Segal, A.R.; Stavely, A.M.; Wileden, J.C. Dream - A Software Design Aid System in: Proc. Third Jerusalem Conference on Information Technology Moneta, J. (ed.), North-Holland Pub. Co., Amsterdam, The Netherlands, Aug.1978

    Google Scholar 

  50. Riddle, W.E. An Assessment of Dream in: [Hünk81]

    Google Scholar 

  51. Robinson, L.; Levitt, K.N.; Silverberg, B.A. HDM Handbook, Vol.I: The Foundations of HDM Vol.II: The Languages and Tools of HDM Vol.III: A Detailed Example in the use of HDM SRI International, Menlo Park, California, June 1979

    Google Scholar 

  52. Rochkind, M.J. The Source Code Control System in: IEEE Trans, on Software Engineering, SE-1,No.4, Dec.1975

    Google Scholar 

  53. Silverberg, B.A. An Overview of the Hierarchical Development Methodology in: [Hünk81]

    Google Scholar 

  54. Snowdon, R.A. An Experience-Based Assessment of Development Systems in: Riddle and Fairley (eds.), Software Development Tools, Springer-Verlag, Heidelberg, 1980

    Google Scholar 

  55. Snowdon, R.A. CADES and Software System Development in: [Hünk81]

    Google Scholar 

  56. Standish, T.A. Arcturus: An Advanced Highly-Integrated Programming EnvironMent in: [Hünk81]

    Google Scholar 

  57. Stucki, L.G. Concepts and Prototypes for ARGUS - An Advanced Software Engineering Environment in: [Hünk81]

    Google Scholar 

  58. Taylor, R.N.; Osterweil, L.J. A Facility for Verification, Testing and Documentation of Concurrent Process Software in: IEEE COMPSAC 1978

    Google Scholar 

  59. Teichroew, D.; Hershey, E.A. PSL/PSA: A Computer Aided Technique For Structured Documentation and Analysis of Information Processing Systems in: IEEE Trans, on Software Engineering, Vol.SE-3, No.1, Jan.1977

    Google Scholar 

  60. Wegner, P. The Ada Language and Environment CS-56, Dept. of Computer Science, Brown Univ., Providence, Rhode Island, 1980

    Google Scholar 

  61. Willis, R.R.; Jensen, E.P. Computer Aided Design of Software Systems in: Fourth International Conference on Software Engineering, Munich, Sept.1979, IEEE

    Google Scholar 

  62. Willis, R.R. AIDES: Computer Aided Design of Software Systems–II in: [Hünk81]

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Software-Technologie, Gesellschaft für Mathematik und Datenverarbeitung mbH, St. Augustin 1, D-5205, Schloß Birlinghoven, Germany

    H. L. Hausen & M. Müllerburg

Authors
  1. H. L. Hausen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Müllerburg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik II der Universität, Postfach 6380, 7500, Karlsruhe, Germany

    Gerhard Goos

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Hausen, H.L., Müllerburg, M. (1981). Software-Produktions-Umgebungen: Entwicklungsstand Und Trends. In: Goos, G. (eds) Werkzeuge der Programmiertechnik. Informatik-Fachberichte, vol 43. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68064-9_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-68064-9_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10725-5

  • Online ISBN: 978-3-642-68064-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation