Skip to main content
SpringerLink
Log in

Wissensbasierte Software-Entwicklung

  • Conference paper
Book cover Wissensbasierte Systeme

Part of the book series: Informatik-Fachberichte ((2252,volume 112))

Zusammenfassung

Der Informationstechnologie kommt in raplde zunehmendem Mape immer mehr eine SchlUsselrolle in den Industriestaaten zu. Auf dem industriellen Produktionssektor ist diese Entwicklung zum Teil bereits weit fortgeschritten, im Dienstleistungssektor kommt sie gerade auf hBhere Touren, doch etwa auch im Agrarsektor wird sie nicht mehr allzu lange auf sich warten lassen.

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.

References

  1. A study of the competitive position of the US Computer Industry. US Department of Commerce, March 10, 1983

    Google Scholar 

  2. Software technology for adaptable, reliable systems (STARS) program stategy. US department of defense, 15 March 1983.

    Google Scholar 

  3. B. W. Bochum, Software Engineering Economics, Prentice Hall 1981

    Google Scholar 

  4. W. Teitelbaum, L. Masinter, The INTERLISP programming environment, Computer April 1981

    Google Scholar 

  5. W.Teitelbaum, T. Reps, S. Horwitz, The why and wherefore of the Cornell Program Synthesizer, ACM SIGPLAN Notices, Bd. 16, Nr. 6, S. 8–16, Juni 1981

    Article  Google Scholar 

  6. A series on Smalltalk, BYTE, Bd. 6, Nr. 8, August 1981

    Google Scholar 

  7. H.Htinke (Hrsg.), Software Engineering Environments, Proceedings, North Holland, Amsterdam, 1981

    Google Scholar 

  8. A. I. Wassermann, Tutorial: Software development environ-ments, IEEE Cat.No.EHO 187–5

    Google Scholar 

  9. W. Hesse, Methoden und Werkzeuge zur Softwareentwicklung, Informatik Spektrum 4, 229–245, 1981

    Google Scholar 

  10. J. N.Baxton, L. E. Druffel, Requirements for an ADA Programming Support Environment, siehe Hünke7

    Google Scholar 

  11. Silverberg, B.A., An overview of the hierarchical development methodology, siehe Hünke7

    Google Scholar 

  12. M. A. Jackson, Constructive methods of program design, LNCS 44, 1976

    Google Scholar 

  13. S/E/TEC — Die Software Engineering Technologie von Soft-lab, Softlab, München, 1981

    Google Scholar 

  14. A. Biermann et al. (Hrsg.), Automatic program construction methods, MacMillan, New York, 1984

    Google Scholar 

  15. W. Bibel u. K. M. Hörnig, LOPS-A system based on a stragical approach to programm sythesis, in A.Biermann14, Kap. 3, 1984

    Google Scholar 

  16. T. Moto-oka, Proceedings Intern. Conference on Fifth Generation Computer Systems, North Holland, 1982

    Google Scholar 

  17. Point paper — DARPA Strategic Computing Program, Washington, 7. Nov. 1983

    Google Scholar 

  18. W. Bibel, Prädikatives Programmieren, LNCS 33, Springer, Berlin, 274–283, 1975

    Google Scholar 

  19. E. Hehner, Predicative Programming, CACM 27, 134–151, 1984

    MathSciNet  MATH  Google Scholar 

  20. W. Bibel, Logical program sythesis, in: T. Moto-oka16

    Google Scholar 

  21. W. Bibel, Automated theorem proving, Vieweg Verlag, Wies-baden, 1982

    MATH  Google Scholar 

  22. L. Zadeh, Coping with the imprecision of the real world, CACM 27, 304–311, 1984

    MathSciNet  Google Scholar 

  23. W. Bibel an K. M. Hörnig, LOPS — A System baced on a strategical approach to program sythesis, chapter 3 in Biermann14

    Google Scholar 

  24. S. J. Greenspan, Requirements modeling: A knowledge representation approach to Software requirements definition, TR CSRG-155, U. Toronto 1984

    Google Scholar 

  25. B. Sheil, Power tools for programmers, Datamation, 131–144, 1983

    Google Scholar 

  26. P.Degano and E.Sandewall (Eds.), Integrated Interactive Computing Systems, North-Holland, 1983

    Google Scholar 

  27. R. S. Boyer and J S. Moore, A computational logic, Academic Press, New York, 1979

    MATH  Google Scholar 

  28. W.Polak, Program Verification at Stanford: Past, Present, Future, In: GWAI-81, Informatik-FB 47, Springer, Berlin, 1981

    Google Scholar 

  29. Green and T. T. Pressburger, CHI, Kestrel Institute, Palo Alto, CA

    Google Scholar 

  30. K. M. Hörnig, Can logical program synthesis cope with real life problems? Bericht ATP-11-XI1-81, FGKI Inst. f. Informatik, TUM, 1981

    Google Scholar 

  31. W. G. Wilson and C. C. John, Semantic Code Analysis, IJCAI-83, 520–525, Kaufmann, Los Altos, 1983

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität, München, Germany

    W. Bibel

Authors
  1. W. Bibel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik der TU München, Arcisstr. 21, 8000, München 2, Germany

    W. Brauer

  2. Fachbereich Informatik, Universität Hamburg, Schlüterstr. 70, 2000, Hamburg 13, Germany

    B. Radig

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bibel, W. (1985). Wissensbasierte Software-Entwicklung. In: Brauer, W., Radig, B. (eds) Wissensbasierte Systeme. Informatik-Fachberichte, vol 112. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70840-4_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-70840-4_2

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-642-70840-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation