dblp.uni-trier.dewww.uni-trier.de

Ragnhild Kobro Runde

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEJudith E. Y. Rossebø, Ragnhild Kobro Runde: Specifying Service Composition Using UML 2.x and Composition Policies. MoDELS 2008: 520-536
2006
6EEAtle Refsdal, Ragnhild Kobro Runde, Ketil Stølen: Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams. FMOODS 2006: 138-155
5EEOddleif Halvorsen, Ragnhild Kobro Runde, Øystein Haugen: Time Exceptions in Sequence Diagrams. MoDELS Workshops 2006: 131-142
2005
4EERagnhild Kobro Runde, Øystein Haugen, Ketil Stølen: The Pragmatics of STAIRS. FMCO 2005: 88-114
3 Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen: Refining UML Interactions with Underspecification and Nondeterminism. Nord. J. Comput. 12(2): 157-188 (2005)
2EEØystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen: STAIRS towards formal design with sequence diagrams. Software and System Modeling 4(4): 355-357 (2005)
2003
1EEØystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen: Why Timed Sequence Diagrams Require Three-Event Semantics. Scenarios: Models, Transformations and Tools 2003: 1-25

Coauthor Index

1Oddleif Halvorsen [5]
2Øystein Haugen [1] [2] [3] [4] [5]
3Knut Eilif Husa [1] [2]
4Atle Refsdal [6]
5Judith E. Y. Rossebø [7]
6Ketil Stølen [1] [2] [3] [4] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)