Skip to main content
SpringerLink
Log in

Programming-by-Example in einer interaktiven, formularorientierten Umgebung

  • Chapter
Expertensysteme ’87 Konzepte und Werkzeuge

Zusammenfassung

Es wird gezeigt, wie sich ein programmierunkundiger Benutzer auf einfache Weise neue Werkzeuge für seinen eigenen Problembereich schaffen kann, indem er an einem geeigneten Beispiel demonstriert, wie er unter Verwendung bestehender Werkzeuge sein Problem löst. Alle Werkzeuge werden über eine einheitliche Formular-Schnittstelle aufgerufen. Der Evaluierungsmechanismus für Formulare basiert auf Constraints, die angeben, wann ein Formular korrekt ausgefüllt ist. Aus dem demonstrierten Beispiel wird automatisch ein Constraint-Netz abgeleitet, das zusammen mit einer geeigneten Auswertungsstrategie die Semantik des neuen Werkzeugs beschreibt.

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.95
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. Giuseppe Attardi, Maria Simi: Extending the Power of Programming by Examples, in: J.O. Limb (Ed.): (SIGOA) Conf. on Office Information Systems,ACM, University of Pennsylvania, Philadelphia, Juni 1982, S. 52–66.

    Google Scholar 

  2. Michael A. Bauer: Programming by Examples, Artificial intelligence 12 (1979), 1–21.

    Article  MATH  Google Scholar 

  3. Bor81] Alan Borning: The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation, ACM TOPLAS 3, 4, (Okt 1982), 353–387.

    Google Scholar 

  4. Donald D. Chamberlin et al.: SEQUEL 2: A Unified Approach to Data Definition, Manipulation and Control, IBM Journal of Research and Development 20 (1976), 560–575.

    Article  Google Scholar 

  5. Kuan-Tsae Huang: Visual Business Graphics Query Interface, in: Tosiyasu L. Kunii (Ed.): Advanced Computer Graphics, Springer Verlag, Tokyo 1986, S. 233–243.

    Chapter  Google Scholar 

  6. Krei84] Thomas Kreifelts: DOMINO: Ein System zur Abwicklung arbeitsteiliger Vorgänge im Büro, Angewandte Informatik 4/1984, S. 137–146.

    Google Scholar 

  7. Thomas Kreifelts, Gerd Woetzel: Distribution and Error Handling in an Office Procedure System, in: G. Brachi, D. Tsichritzis (Eds): IFIP Working Conference on Methods and Tools for Office Systems, Pisa, Italy, Oktober 1986, S. 197–208.

    Google Scholar 

  8. LH80] Henry Liebermann, Carl Hewitt: A Session with Tinker: Interleaving

    Google Scholar 

  9. Program Testing with Program Writing, Conference Record of the 1980 LISP Conference, Stanford University, August 1980, S. 90–99.

    Google Scholar 

  10. Uday S. Reddy: On the Relationship between Logic and Functional Languages, in: Doug DeGroot, Gary Lindstrom (Eds): Logic Programming, Functions, Relations, and Equations, Prentice-Hall, Englewood Cliffs 1986, S. 3–35.

    Google Scholar 

  11. Robert V. Rubin, Eric J. Golin, Steven P. Reiss: Think Pad: A Graphical System for Programming by Demonstration, IEEE Software, März 1985, 73–79.

    Google Scholar 

  12. John F. Rockart, Lauren S. Flannery: The Management of End User Computing, CACM 26, 10, (Oktober 1983 ), 776–784.

    Google Scholar 

  13. Ben Shneiderman: Direct Manipulation: A Step Beyond Programming Languages, IEEE Computer (August 1983), 57–69.

    Google Scholar 

  14. Nan C. Shu: FORMAL: A Forms-Oriented, Visual-Directed Application Development System, IEEE Computer (August 1985), 38–49.

    Google Scholar 

  15. Gerald Jay Sussman, Guy Lewis Steele Jr.: CONSTRAINTS–A Language for Expressing Almost-Hierarchical Descriptions, Artificial Intelligence 14 (1980), 1–39.

    Article  Google Scholar 

  16. Moshé M. Zloof: Query-by-Example: a data base language, B;, ’ System Journal 16, 4 (1977), 324–343.

    Google Scholar 

  17. Zloof77a] Moshé M. Zloof: The System for Business Automation (SBA): Programming Language, CACM 20, 6 (Juni 1977), 385–396.

    Google Scholar 

  18. Zloof8l] Moshé M. Zloof: QBE/QBE: A Language for Office and Business Automation, IEEE Computer (Mai 1981), 13–22.

    Google Scholar 

  19. Moshé M. Zloof: Office-by-Example: A business language that unifies data and word processing and electronic mail, IBM Systems Journal 21, 3 (1982), 272–304.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für angewandte Informationstechnik F3/OSY, Gesellschaft für Mathematik und Datenverarbeitung, Postfach 1240, D-5205, St. Augustin 1, USA

    Michael Spenke & Christian Beilken

Authors
  1. Michael Spenke
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christian Beilken
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Bereich Neue Technologien/Basisentwicklung TA Triumph-Adler AG, Nürnberg, Deutschland

    Helmut Balzert , Gerd Heyer  & Rainer Lutze ,  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer Fachmedien Wiesbaden

About this chapter

Cite this chapter

Spenke, M., Beilken, C. (1987). Programming-by-Example in einer interaktiven, formularorientierten Umgebung. In: Balzert, H., Heyer, G., Lutze, R. (eds) Expertensysteme ’87 Konzepte und Werkzeuge. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-94662-1_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-322-94662-1_2

  • Publisher Name: Vieweg+Teubner Verlag, Wiesbaden

  • Print ISBN: 978-3-519-02449-1

  • Online ISBN: 978-3-322-94662-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation