Advertisement

Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme

  • Rupert Gnatz
Conference paper
  • 34 Downloads
Part of the Informatik-Fachberichte book series (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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Referenzen

  1. /Broy 80/.
    M. Broy: Transformation parallel ablaufender Programme. Dissertation, TU München, Fakultät für Mathematik, 1980Google Scholar
  2. /Broy, Gnatz, Wirsing 79/.
    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–592Google Scholar
  3. /CIP-L-Sprachreport 81/.
    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 1981Google Scholar
  4. /GKS/.
    Graphical Kernel System (GKS), Functional Description. Draft International Standard, ISO TC97/SC5/WG2; 1981-May-25, Version: 6.6Google Scholar
  5. /Gnatz 81/.
    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–389Google Scholar
  6. /Kupka, Wilsing 74/.
    I. Kupka, M. Wilsing: Functions describing interactive programming. In: A. Gtinther et al. (eds.): International Computing Symposium 1973, Davos. Amsterdam: North-Holland (1974), 41–45Google Scholar
  7. /Kupka, Wilsing 80/.
    I. Kupka, M. Wilsing: Conversational languages. Chichester-New York-Brisbane- Toronto: Wiley (1980)Google Scholar
  8. /Gorny 75/.
    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 1975Google Scholar
  9. /Hoffmann 74/.
    H.-J. Hoffmann: Programming by selection. In: A. Gunther et al. (eds.): International computing symposium 1973, Davos. Amsterdam: North-Holland (1974), 59–65Google Scholar
  10. /Laut 80/.
    A. Laut: Safe Procedural Implementations of Algebraic Types. Information Processing Letters 11, 4 /5, 147–151, 1980CrossRefGoogle Scholar
  11. /McCarthy 63/.
    J. McCarthy: Towards a mathematical science of computation. Proc. IFIP Congress 62. Amsterdam: North-Holland (1963), 21–28Google Scholar
  12. /Riethmayer 81/.
    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–76Google Scholar
  13. /Seillac II/.
    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. /Wirsing et al. 80/
    M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy: On hierarchies of abstract data types. TU Munchen, Institut fur Informatik, TUM-I8007, 1980Google Scholar
  15. /Wirth 77/.
    N. Wirth: Modula: A language for modular multiprogramming. Software — Practice and Experience, 7, 3–35, Jan. 1977zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Rupert Gnatz
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenGermany

Personalised recommendations