Generating Class Contracts from Deterministic UML Protocol Statemachines

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    Original languageUndefined/Unknown
    Title of host publicationModels in Software Engineering, Workshops and Symposia at MODELS 2009 Denver, CO, USA, October 4-9, 2009 Reports and Revised Selected Papers
    Editors Ghosh, Sudipto
    PublisherSpringer
    Pages172–185
    ISBN (Electronic)978-3-642-12261-3
    ISBN (Print)978-3-642-12260-6
    DOIs
    Publication statusPublished - 2010
    MoE publication typeA4 Article in a conference publication
    Eventnternational Conference on Model Driven Engineering Languages and Systems , MODELS - ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems , MODELS
    Duration: 4 Oct 20099 Oct 2009

    Conference

    Conferencenternational Conference on Model Driven Engineering Languages and Systems , MODELS
    Period04/10/0909/10/09

    Cite this