Formal proof from UML models

Nuno Amálio*, Susan Stepney, Fiona Polack

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    27 Citations (SciVal)
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    EditorsJim Davies, Wolfram Schulte, Mike Barnett
    PublisherSpringer Verlag
    Pages418-433
    Number of pages16
    ISBN (Electronic)3540238417, 9783540238416
    DOIs
    Publication statusPublished (VoR) - 2004

    Publication series

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

    Keywords

    • Consistency checking
    • Formal proof
    • Model analysis
    • UML
    • Z

    Fingerprint

    Dive into the research topics of 'Formal proof from UML models'. Together they form a unique fingerprint.

    Cite this