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

A Cavarra, Juliana Bowles

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",

}

TY - CONF

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

AU - Cavarra, A

AU - Bowles, Juliana

PY - 2005/1/1

Y1 - 2005/1/1

UR - http://www.scopus.com/inward/record.url?scp=12344284141&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2004.09.025

DO - 10.1016/j.entcs.2004.09.025

M3 - Paper

SP - 19

EP - 38

ER -