Modular design by contract visually and formally using VCL

Nuno Amálio*, Pierre Kelsen

*Corresponding author for this work

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

    11 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010
    Pages227-234
    Number of pages8
    DOIs
    Publication statusPublished (VoR) - 2010
    Event2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010 - Leganes, Madrid, Spain
    Duration: 21 Sept 201025 Sept 2010

    Publication series

    NameProceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010

    Conference

    Conference2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010
    Country/TerritorySpain
    CityLeganes, Madrid
    Period21/09/1025/09/10

    Keywords

    • Design by contract
    • Formal modelling
    • Visual languages
    • Z

    Fingerprint

    Dive into the research topics of 'Modular design by contract visually and formally using VCL'. Together they form a unique fingerprint.

    Cite this