Combining sequence diagrams and OCL for liveness.  In Second Workshop on Semantic Foundations of Engineering Design (SFEDL 2004)

Research output: Contribution to conference (unpublished) › Paper

7 Citations (Scopus)

Access to Document

@conference{09aab3d6158b46ce91ad7db209ab5847,

title = "Combining sequence diagrams and OCL for liveness. In Second Workshop on Semantic Foundations of Engineering Design (SFEDL 2004)",

author = "A Cavarra and Juliana Bowles",

year = "2005",

month = jan,

day = "1",

doi = "10.1016/j.entcs.2004.09.025",

language = "English",

pages = "19--38",

}