Skip to main content
SpringerLink
Log in
Book cover

Programmiersprachen und Programmentwicklung pp 45–65Cite as

Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme

  • Conference paper

  • 41 Accesses

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

Zusammenfassung

Interaktive Systeme realisieren Schnittstellen zwischen einem Anwenderprogramm und Dialogpartnern. Operationen an gewissen systeminternen Programmvariablen können technisch als Spezifikation von Ausgabeoperationen und mehrdeutige Ausdrücke bzw. nichtdeterministische Anweisungen als Spezifikation von Eingabeoperationen aufgefaßt werden. Bei der Zerlegung eines Systems in eine Hierarchie von Teilsystemen werden diese Spezifikationen in untergeordnete Teilsysteme verdrängt. Diese Betrachtungsweise führt zu einer Vereinheitlichung der Spezifikation flir nicht-interaktive und interaktive Software.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Referenzen

  1. M. Broy: Transformation parallel ablaufender Programme. Dissertation, TU München, Fakultät für Mathematik, 1980

    Google Scholar 

  2. Broy, R. Gnatz, M. Wirsing: Semantics of nondeterministic and noncontiguous constructs. In: F.L. Bauer, M. Broy (eds.): Program Construction. Lecture Notes in Computer Science, 69, Berlin-Heidelberg-New York: Springer (1979), 553–592

    Google Scholar 

  3. F.L.Bauer, M.Broy, W. Dosch, R. Gnatz, F. Geiselbrechtinger, W. Hesse, B. Krieg- Brlickner, A. Laut, T.A. Matzner, B. Moller, H. Partsch, P. Pepper, K. Samelson (t), M. Wirsing, H. Wössner: Report on a wide spectrum language for program specification and development (tentative version). TU München, Institut für Informatik, TUM-I8104, May 1981

    Google Scholar 

  4. Graphical Kernel System (GKS), Functional Description. Draft International Standard, ISO TC97/SC5/WG2; 1981-May-25, Version: 6.6

    Google Scholar 

  5. R. Gnatz: Referenzmodell flir Graphische Systeme, Versuch einer Axiomatik. In: J. Encarnacao, W. Straber (Hrsg.): Graphics und Portability — das graphische Kernsystem GKS. Munchen: Oldenbourg (1981), 357–389

    Google Scholar 

  6. I. Kupka, M. Wilsing: Functions describing interactive programming. In: A. Gtinther et al. (eds.): International Computing Symposium 1973, Davos. Amsterdam: North-Holland (1974), 41–45

    Google Scholar 

  7. I. Kupka, M. Wilsing: Conversational languages. Chichester-New York-Brisbane- Toronto: Wiley (1980)

    Google Scholar 

  8. P. Gorny: Program generation in a syntax guided dialogue. 2. Auf1 age. Ruhr-Universitat Bochum, Institut fur konstruktiven Ingenieurbau — Angewandte Informatik, Bericht 1/75, Marz 1975

    Google Scholar 

  9. H.-J. Hoffmann: Programming by selection. In: A. Gunther et al. (eds.): International computing symposium 1973, Davos. Amsterdam: North-Holland (1974), 59–65

    Google Scholar 

  10. A. Laut: Safe Procedural Implementations of Algebraic Types. Information Processing Letters 11, 4 /5, 147–151, 1980

    Article  Google Scholar 

  11. J. McCarthy: Towards a mathematical science of computation. Proc. IFIP Congress 62. Amsterdam: North-Holland (1963), 21–28

    Google Scholar 

  12. H.-O. Riethmayer: Die Entwicklung der Bedienungskomponente des CIP-Systems. 9. Treffen zum Interaktiven Programmieren, 25. Februar 1981, Oldenburg i.O., Notizen zum Interaktiven Programmieren, Organ der Fachgruppe Interaktives Programmieren im FachausschuB 2 der Gesellschaft für Informatik, Heft 6, Marz 1981, 47–76

    Google Scholar 

  13. R.A. Guedj, P.J.W. Ten Hagen, F.R.A. Hopgood, H.A. Tucker, D.A. Duce (eds.): Methodology of Interaction. IFIP Workshop, Seillac, France, May 1979. Amsterdam: North-Holland (1980)

    Google Scholar 

  14. M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy: On hierarchies of abstract data types. TU Munchen, Institut fur Informatik, TUM-I8007, 1980

    Google Scholar 

  15. N. Wirth: Modula: A language for modular multiprogramming. Software — Practice and Experience, 7, 3–35, Jan. 1977

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Rupert Gnatz

Authors
  1. Rupert Gnatz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Technische Universität München, Postfach 202420, 8000, München 2, Germany

    Hans Wössner

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gnatz, R. (1982). Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme. In: Wössner, H. (eds) Programmiersprachen und Programmentwicklung. Informatik-Fachberichte, vol 53. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68355-8_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-68355-8_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11204-4

  • Online ISBN: 978-3-642-68355-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation