Action Refinement for Vertical Implementation

Arend Rensink, Roberto Gorrieri

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationFormale Beschreibungstechniken für verteilte Systeme
    Subtitle of host publicationGI/ITG-Fachgespräch, 19.-20. Juni 1997 in Berlin
    EditorsA. Wolisz, I. Schieferdecker, A. Rennoch
    Place of PublicationSankt Augustin
    PublisherGMD-Forschungszentrum Informationstechnik GmbH
    Pages69-78
    Number of pages10
    ISBN (Print)3-88457-315-2
    Publication statusPublished - 1997
    EventFormale Beschreibungstechniken für verteilte Systeme, FBT 1997: GI/ITG-Fachgespräch - Berlin, Germany
    Duration: 19 Jun 199720 Jun 1997

    Publication series

    NameGMD Studien
    PublisherGMD-Forschungszentrum Informationstechnik GmbH
    Volume315

    Workshop

    WorkshopFormale Beschreibungstechniken für verteilte Systeme, FBT 1997
    Abbreviated titleFBT
    CountryGermany
    CityBerlin
    Period19/06/9720/06/97

    Cite this

    Rensink, A., & Gorrieri, R. (1997). Action Refinement for Vertical Implementation. In A. Wolisz, I. Schieferdecker, & A. Rennoch (Eds.), Formale Beschreibungstechniken für verteilte Systeme: GI/ITG-Fachgespräch, 19.-20. Juni 1997 in Berlin (pp. 69-78). (GMD Studien; Vol. 315). Sankt Augustin: GMD-Forschungszentrum Informationstechnik GmbH.