Building VCL models and automatically generating Z specifications from them

Nuno Amálio*, Christian Glodt, Pierre Kelsen

*Corresponding author for this work

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

    5 Citations (Scopus)
    Original languageEnglish
    Title of host publicationFM 2011
    Subtitle of host publicationFormal Methods - 17th International Symposium on Formal Methods, Proceedings
    Pages149-153
    Number of pages5
    DOIs
    Publication statusPublished (VoR) - 2011
    Event17th International Symposium on Formal Methods, FM 2011 - Limerick, Ireland
    Duration: 20 Jun 201124 Jun 2011

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume6664 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference17th International Symposium on Formal Methods, FM 2011
    Country/TerritoryIreland
    CityLimerick
    Period20/06/1124/06/11

    Keywords

    • Z
    • formal methods
    • model-driven development
    • visual languages

    Fingerprint

    Dive into the research topics of 'Building VCL models and automatically generating Z specifications from them'. Together they form a unique fingerprint.

    Cite this