Ragnhild Kobro Runde

20 papers A 1C 1Journal 6Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
Exploring the Interplay Between Learning Programming and Probability Simultaneously: A Case Study of a 9th-Grade Student.
ICER (1)
Sindre Mathias Strømnes Nordvoll, Ragnhild Kobro Runde, Quintin I. Cutts, Dag I. K. Sjøberg
2023 — conf
Arguments for and Approaches to Computing Education in Undergraduate Computer Science Programmes.
ITiCSE-WGR
Quintin I. Cutts, Maria Kallia, Ruth Anderson, Tom Crick, Marie Devlin, Mohammed Farghally, Claudio Mirolo, Ragnhild Kobro Runde, Otto Seppälä, Jaime Urquiza-Fuentes, Jan Vahrenhold
2023 — conf
Considering Computing Education in Undergraduate Computer Science Programmes.
ITiCSE (2)
Quintin I. Cutts, Maria Kallia, Ruth Anderson, Tom Crick, Marie Devlin, Mohammed Farghally, Claudio Mirolo, Ragnhild Kobro Runde, Otto Seppälä, Jaime Urquiza-Fuentes, Jan Vahrenhold
2019 — conf
Students' mental models of references in Python.
NIK
Kristin Marie Rørnes, Ragnhild Kobro Runde, Siri Moe Jensen
2016 — ch.
Mandatory and Potential Choice: Comparing Event-B and STAIRS.
From Action Systems to Distributed Systems
Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen
2015 C conf
Combined Modelling and Programming Support for Composite States and Extensible State Machines.
MODELSWARD
Kjetil Andresen, Birger Møller-Pedersen, Ragnhild Kobro Runde
2015 J jnl
Stepwise refinement of sequence diagrams with soft real-time constraints.
J. Comput. Syst. Sci.
Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen
2014 J jnl
Approaches for the combined use of risk analysis and testing: a systematic literature review.
Int. J. Softw. Tools Technol. Transf.
Gencer Erdogan, Yan Li, Ragnhild Kobro Runde, Fredrik Seehusen, Ketil Stølen
2013 J jnl
Confluence of aspects for sequence diagrams.
Softw. Syst. Model.
Roy Grønmo, Ragnhild Kobro Runde, Birger Møller-Pedersen
2013 J jnl
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism.
Formal Aspects Comput.
Ragnhild Kobro Runde, Atle Refsdal, Ketil Stølen
2011 — conf
COOMP 2011: first international workshop on combined object-oriented modeling and programming.
OOPSLA Companion
Ole Lehrmann Madsen, Birger Møller-Pedersen, Ragnhild Kobro Runde
2008 — conf
Enhancing UML to Formalize the FIPA Agent Interaction Protocol.
ATOP@AAMAS
Øystein Haugen, Ragnhild Kobro Runde
2008 A conf
Specifying Service Composition Using UML 2.x and Composition Policies.
MoDELS
Judith E. Y. Rossebø, Ragnhild Kobro Runde
2007 — —
STAIRS - Understanding and Developing Specifications Expressed as UML Interaction Diagrams.
Ragnhild Kobro Runde
2006 — conf
Time Exceptions in Sequence Diagrams.
MoDELS (Workshops)
Oddleif Halvorsen, Ragnhild Kobro Runde, Øystein Haugen
2006 — conf
Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.
FMOODS
Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen
2005 J jnl
Refining UML Interactions with Underspecification and Nondeterminism.
Nord. J. Comput.
Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen
2005 J jnl
STAIRS towards formal design with sequence diagrams.
Softw. Syst. Model.
Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen
2005 — conf
The Pragmatics of STAIRS.
FMCO
Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen
2003 — conf
Why Timed Sequence Diagrams Require Three-Event Semantics.
Scenarios: Models, Transformations and Tools
Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen