Correctness preserving transformations for the early phases of software development

Tommaso Bolognesi, David De Frutos, Rom Langerak, Diego Latella

    Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

    Abstract

    The Lotosphere methodology is meant to support system designers and implementors along the trajectory from an initial, abstract specification, down to concrete design and implementation: the latter should be obtained from the former via a disciplined sequence of transformation and refinement steps.
    Original languageEnglish
    Title of host publicationLOTOSphere
    Subtitle of host publicationSoftware Development with LOTOS
    EditorsTommaso Bolognesi, Jeroen van de Lagemaat, Chris Vissers
    Place of PublicationDordrecht
    PublisherKluwer Academic Publishers
    Pages161-180
    ISBN (Electronic)978-1-4615-2203-4
    ISBN (Print)978-1-4613-5924-1
    DOIs
    Publication statusPublished - 1995
    Event3rd LotoSphere Workshop & Seminar 1992 - Pisa, Italy
    Duration: 14 Sep 199216 Sep 1992

    Conference

    Conference3rd LotoSphere Workshop & Seminar 1992
    CountryItaly
    CityPisa
    Period14/09/9216/09/92

    Keywords

    • Behaviour expression
    • Parallel operator
    • Semantic relation
    • Label transition system
    • Boolean expression

    Fingerprint Dive into the research topics of 'Correctness preserving transformations for the early phases of software development'. Together they form a unique fingerprint.

  • Cite this

    Bolognesi, T., De Frutos, D., Langerak, R., & Latella, D. (1995). Correctness preserving transformations for the early phases of software development. In T. Bolognesi, J. van de Lagemaat, & C. Vissers (Eds.), LOTOSphere: Software Development with LOTOS (pp. 161-180). Dordrecht: Kluwer Academic Publishers. https://doi.org/10.1007/978-1-4615-2203-4_8