Comparison of formalisation approaches of UML class constructs in Z and object-Z

Nuno Amálio*, Fiona Polack

*Corresponding author for this work

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

    17 Citations (Scopus)
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    EditorsDidier Bert, Jonathan P. Bowen, Steve King, Marina Walden
    PublisherSpringer Verlag
    Pages339-358
    Number of pages20
    ISBN (Print)3540402535, 9783540402534
    DOIs
    Publication statusPublished (VoR) - 2003

    Publication series

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

    Keywords

    • Formalisation
    • Object-Z
    • Specification
    • UML
    • Z

    Fingerprint

    Dive into the research topics of 'Comparison of formalisation approaches of UML class constructs in Z and object-Z'. Together they form a unique fingerprint.

    Cite this