Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-39 av 39

2019
1 Rørnes, Kristin Marie; Runde, Ragnhild Kobro; Jensen, Siri Moe.
Students’ mental models of references in Python. NIKT: Norsk IKT-konferanse for forskning og utdanning 2019 s. -
UiO Untitled
 
2017
2 Mørken, Knut Martin; Runde, Ragnhild Kobro; Skramstad, Tone.
Det nasjonale kvalifikasjonsrammeverket og utdanningsutvikling. MNT-konferansen 2017; 2017-03-30 - 2017-03-31
UiO Untitled
 
2016
3 Møller-Pedersen, Birger; Runde, Ragnhild Kobro.
State Pattern supporting both composite States and extension/specialization of State Machines. PLoP 2016: PATTERN LANGUAGES OF PROGRAMS CONFERENCE; 2016-10-24 - 2016-10-26
UiO Untitled
 
4 Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil.
Mandatory and Potential Choice: Comparing Event-B and STAIRS. I: From Action Systems to Distributed Systems: The Refinement Approach. CRC Press 2016 ISBN 978-1-4987-0158-7. s. 15-27
SINTEF UiO Untitled
 
2015
5 Andresen, Kjetil; Møller-Pedersen, Birger; Runde, Ragnhild Kobro.
Combined Modelling and Programming Support for Composite States and Extensible State Machines. I: MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015. SciTePress 2015 ISBN 978-989-758-083-3. s. 231-238
UiO Untitled
 
6 Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil.
Stepwise refinement of sequence diagrams with soft real-time constraints. Journal of computer and system sciences 2015 ;Volum 81.(7) s. 1221-1251
SINTEF UiO Untitled
 
2014
7 Erdogan, Gencer; Li, Yan; Runde, Ragnhild Kobro; Seehusen, Fredrik; Stølen, Ketil.
Approaches for the combined use of risk analysis and testing: A systematic literature review. International Journal on Software Tools for Technology Transfer (STTT) 2014 ;Volum 16.(5) s. 627-642
SINTEF UiO Untitled
 
2013
8 Grønmo, Roy; Runde, Ragnhild Kobro; Møller-Pedersen, Birger.
Confluence of aspects for sequence diagrams. Software and Systems Modeling (SoSyM) 2013 ;Volum 12.(4) s. 789-824
SINTEF UiO Untitled
 
9 Li, Yan; Runde, Ragnhild Kobro; Stølen, Ketil.
Towards a pattern language for security risk analysis of web applications. I: PLoP 2013 Conference Proceedings, 20th Conference on pattern languages and programs. : Hillside 2013 ISBN 978-1-941652-00-8. s. -
SINTEF UiO Untitled
 
10 Runde, Ragnhild Kobro; Refsdal, Atle; Stølen, Ketil.
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism. Formal Aspects of Computing 2013 ;Volum 25.(2) s. 159-187
SINTEF UiO Untitled
 
2012
11 Erdogan, Gencer; Li, Yan; Runde, Ragnhild Kobro; Seehusen, Fredrik; Stølen, Ketil.
Conceptual Framework for the DIAMONDS Project. : SINTEF 2012 (ISBN 9788214052886) 34 s. SINTEF Rapport(A22798)
SINTEF UiO Untitled
 
2011
12 Bjørndalen, John Markus; Bongo, Lars Ailo; Haugland, Dag; Hjelmås, Erik; Løkketangen, Arne; Møller-Pedersen, Birger; Prinz, Andreas; Runde, Ragnhild Kobro; Sandnes, Frode Eika; Aalberg, Trond.
Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag 2011 (ISBN 978-82-519-2843-4) 262 s. NIK: Norsk Informatikkonferanse(NIK 2011)
HIM OSLOMET NTNU UIA UiB UiO UiT Untitled
 
13 Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil.
Stepwise refinement of sequence diagrams with soft real-time requirements. : SINTEF 2011 (ISBN 9788214049855) 41 s. SINTEF Rapport(A19749)
SINTEF UiO Untitled
 
14 Rossebø, Judith Ellen Yarranton; Runde, Ragnhild Kobro.
How to Model Dynamic Service Composition Using UML 2.x and Composition Policies. I: Service Delivery Platforms: Developing and Deploying Converged Multimedia Services. CRC Press 2011 ISBN 978-1-4398-0089-8. s. 87-122
UiO Untitled
 
2009
15 Haugen, Øystein; Runde, Ragnhild Kobro.
Enhancing UML to Formalize the FIPA Agent Interaction Protocol. Lecture Notes in Business Information Processing 2009 ;Volum 25. s. 154-173
SINTEF UiO Untitled
 
16 Rossebø, Judith Ellen Yarranton; Runde, Ragnhild Kobro.
A Model-Based Approach to Dynamic Service Composition, Exemplified on Voice over IP. Telektronikk 2009 ;Volum 105.(1) s. 98-106
UiO Untitled
 
17 Rossebø, Judith Ellen Yarranton; Runde, Ragnhild Kobro.
Methodology for Model-Based Dynamic Composition of Services. I: Norsk informatikkonferanse NIK 2009. Tapir Akademisk Forlag 2009 ISBN 978-82-519-2491-7. s. 1-12
UiO Untitled
 
18 Runde, Ragnhild Kobro; Aagedal, Jan Øyvind.
Guidelines for Developing Sequence Diagram Specifications, Exemplified for IPTV. Telektronikk 2009 ;Volum 105.(1) s. 59-68
UiO Untitled
 
19 Stølen, Ketil; Runde, Ragnhild Kobro.
Guest Editorial: Model-Driven Security - Integrating Availability in System Development. Telektronikk 2009 ;Volum 105.(1) s. 1-2
UiO Untitled
 
2008
20 Rossebø, Judith Ellen Yarranton; Runde, Ragnhild Kobro.
Specifying Service Composition Using UML 2.x and Composition Policies. Lecture Notes in Computer Science (LNCS) 2008 ;Volum 5301. s. 520-536
NTNU UiO Untitled
 
2007
21 Halvorsen, Oddleif; Runde, Ragnhild Kobro; Haugen, Øystein.
Time Exceptions in Sequence Diagrams. Lecture Notes in Computer Science (LNCS) 2007 ;Volum 4364. s. 131-142
UiO Untitled
 
22 Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil.
Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism and probabilistic choice. Part 2: probabilistic choice. Research Report 347. Universitetet i Oslo 2007 (ISBN 82-7368-304-4) 157 s.
UiO Untitled
 
23 Runde, Ragnhild Kobro.
STAIRS - Understanding and Developing Specifications Expressed as UML Interaction Diagrams. Unipub forlag 2007 348 s. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo.(604)
UiO Untitled
 
2006
24 Halvorsen, Oddleif; Runde, Ragnhild Kobro; Haugen, Øystein.
Time Exceptions in Sequence Diagrams. I: MARTES 2006 at MoDELS 2006 - International workshop on Modeling and Analysis of Real-Time and Embedded Systems. Oslo: Department of Informatics 2006 ISBN 82-7368-299-4. s. 81-100
UiO Untitled
 
25 Runde, Ragnhild Kobro; Haugen, Øystein; Stølen, Ketil.
The pragmatics of STAIRS. Lecture Notes in Computer Science (LNCS) 2006 ;Volum 4111. s. 88-114
SINTEF UiO Untitled
 
26 Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil.
Underspecification, inherent nondeterminism and probability in sequence diagrams. Lecture Notes in Computer Science (LNCS) 2006 ;Volum 4037. s. 138-155
SINTEF UiO Untitled
 
2005
27 Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro; Stølen, Ketil.
STAIRS towards formal design with sequence diagrams. Software and Systems Modeling (SoSyM) 2005 ;Volum 4.(4) s. 355-367
UiO Untitled
 
28 Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro; Stølen, Ketil.
Why timed sequence diagrams require three-event semantics. Lecture Notes in Computer Science (LNCS) 2005 ;Volum 3466. s. 1-25
UiO Untitled
 
29 Runde, Ragnhild Kobro.
UML neg - nyttig eller ubrukelig?. Norsk Informatikkonferanse NIK'2005; 2005-11-21 - 2005-11-23
UiO Untitled
 
30 Runde, Ragnhild Kobro.
UpSTAIRS with Sequence Diagrams. FMCO 2005; 2005-11-01 - 2005-11-04
UiO Untitled
 
31 Runde, Ragnhild Kobro; Haugen, Øystein; Stølen, Ketil.
How to transform UML neg into a useful construct. I: Norsk informatikkonferanse NIK'2005. Tapir Akademisk Forlag 2005 ISBN 82-519-2081-7. s. 55-66
UiO Untitled
 
32 Runde, Ragnhild Kobro; Haugen, Øystein; Stølen, Ketil.
Refining UML interactions with underspecification and nondeterminism. Nordic Journal of Computing 2005 ;Volum 12.(2) s. 157-188
UiO Untitled
 
2004
33 Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro; Stølen, Ketil.
Why timed sequence diagrams require three-event semantics. : Department of Informatics, University of Oslo 2004 (ISBN 82-7368-261-7) 57 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(309)
UiO Untitled
 
34 Runde, Ragnhild Kobro.
Refining UML interactions. NWPT'04; 2004-10-06 - 2004-10-08
UiO Untitled
 
2003
35 Runde, Ragnhild Kobro; Stølen, Ketil.
What is Model Driven Architecture?. Universitetet i Oslo 2003 (ISBN 82-7368-256-0) 17 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(304)
UiO Untitled
 
2001
36 Johnsen, Einar Broch; Owe, Olaf; Runde, Ragnhild Kobro.
The Oslo School on Formalization of Distributed Systems. Nordic Workshop on Progamming Theory; 2001-10-01
UiO Untitled
 
2000
37 Runde, Ragnhild Kobro.
Towards intuitive specifications with ready relations. NWPT'00; 2000-10-11
UiO Untitled
 
38 Runde, Ragnhild Kobro.
Utprøving og forbedring av en formalisme for parallelle prosesser. : IFI, UiO 2000 116 s. Hovedfagsoppgave
UiO Untitled
 
39 Runde, Ragnhild Kobro; Owe, Olaf.
Forenklet, men presis beskrivelse av objekter. NIK'2000: Norwegian Informatics Conference.; 2000-11-20
UiO Untitled