A tool for visual and formal modelling of software designs

Nuno Amálio*, Christian Glodt

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    7 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)52-79
    Number of pages28
    JournalScience of Computer Programming
    Volume98
    Issue numberP1
    DOIs
    Publication statusPublished (VoR) - 1 Feb 2015

    Keywords

    • Empirical evaluation
    • Formal methods
    • MDE
    • Tool-support
    • Visual modelling languages

    Fingerprint

    Dive into the research topics of 'A tool for visual and formal modelling of software designs'. Together they form a unique fingerprint.

    Cite this