Skip to main content
SpringerLink
Log in

Semantics of PAnndA-S

  • Part II: Language Family
  • Chapter
  • First Online:
Program Development by Specification and Transformation

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 680))

  • 135 Accesses

Abstract

This document contains the definition of semantics of the PROSPECTRA specification language PAnndA-S that is used at the early stages of a PROSPECTRA program development.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Author information

Author notes

  1. Michael Breu

    Present address: Siemens-Nixdorf AG, EMSC AP 432, Otto-Hahn-Ring 6, D-8000, München 83

  2. Manfred Broy

    Present address: Institut für Informatik, Technische Universität München, Postfach 20 24 20, D-8000, München 2

  3. Thomas Grünler

    Present address: Philips Kommunikations Industrie AG, Thurn-und-Taxis-Straße 14, D-8500, Nürnberg

  4. Friederike Nickl

    Present address: FORWISS, Ludwig-Maximilians-Universität München, Leopoldstraße 11b, D-8000, München 22

Authors and Affiliations

  1. Universität Passau, Deutschland

    Michael Breu, Manfred Broy, Thomas Grünler & Friederike Nickl

Authors
  1. Michael Breu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manfred Broy
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Thomas Grünler
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Friederike Nickl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Berthold Hoffmann Bernd Krieg-Brückner

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Breu, M., Broy, M., Grünler, T., Nickl, F. (1993). Semantics of PAnndA-S. In: Hoffmann, B., Krieg-Brückner, B. (eds) Program Development by Specification and Transformation. Lecture Notes in Computer Science, vol 680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56733-X_149

Download citation

  • DOI: https://doi.org/10.1007/3-540-56733-X_149

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56733-2

  • Online ISBN: 978-3-540-47639-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation