Towards Automated Checking of Component-Oriented Enterprise Applications

Jukka Järvenpää, Marko Mäkelä

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

    Original languageEnglish
    Title of host publicationSecond Workshop on Modelling of Objects, Components and Agents, Århus, Denmark, August 2002
    Place of PublicationÅrhus, Denmark
    PublisherDepartment of Computer Science, University of Århus
    Publication statusPublished - 2002
    MoE publication typeA4 Article in a conference publication


    • abstractions
    • Java
    • software components
    • transactions
    • verification

    Cite this