VCL, a visual language for modelling software systems formally

Nuno Amálio*, Pierre Kelsen

*Corresponding author for this work

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

    4 Citations (Scopus)
    Original languageEnglish
    Title of host publicationDiagrammatic Representation and Inference - 6th International Conference, Diagrams 2010, Proceedings
    Pages282-284
    Number of pages3
    DOIs
    Publication statusPublished (VoR) - 2010
    Event6th International Conference on the Theory and Application of Diagrams, Diagrams 2010 - Portland, OR, United States
    Duration: 9 Aug 201011 Aug 2010

    Publication series

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

    Conference

    Conference6th International Conference on the Theory and Application of Diagrams, Diagrams 2010
    Country/TerritoryUnited States
    CityPortland, OR
    Period9/08/1011/08/10

    Keywords

    • formal modelling
    • modularity
    • visual languages

    Fingerprint

    Dive into the research topics of 'VCL, a visual language for modelling software systems formally'. Together they form a unique fingerprint.

    Cite this