Ragnhild Kobro Runde

According to our database, Ragnhild Kobro Runde authored at least 19 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Arguments for and Approaches to Computing Education in Undergraduate Computer Science Programmes.

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

Proceedings of the 2023 Working Group Reports on Innovation and Technology in Computer Science Education, 2023

Considering Computing Education in Undergraduate Computer Science Programmes.

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

Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, 2023

2019

Students' mental models of references in Python.

Kristin Marie Rørnes, Ragnhild Kobro Runde, Siri Moe Jensen

Proceedings of the 32nd Norsk Informatikkonferanse, 2019

2016

Mandatory and Potential Choice: Comparing Event-B and STAIRS.

Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Stepwise refinement of sequence diagrams with soft real-time constraints.

Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen

J. Comput. Syst. Sci., 2015

Combined Modelling and Programming Support for Composite States and Extensible State Machines.

Kjetil Andresen, Birger Møller-Pedersen, Ragnhild Kobro Runde

Proceedings of the MODELSWARD 2015, 2015

2014

Approaches for the combined use of risk analysis and testing: a systematic literature review.

Gencer Erdogan, Yan Li, Ragnhild Kobro Runde, Fredrik Seehusen, Ketil Stølen

Int. J. Softw. Tools Technol. Transf., 2014

2013

Confluence of aspects for sequence diagrams.

Roy Grønmo, Ragnhild Kobro Runde, Birger Møller-Pedersen

Softw. Syst. Model., 2013

Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism.

Ragnhild Kobro Runde, Atle Refsdal, Ketil Stølen

Formal Aspects Comput., 2013

2011

COOMP 2011: first international workshop on combined object-oriented modeling and programming.

Ole Lehrmann Madsen, Birger Møller-Pedersen, Ragnhild Kobro Runde

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2008

Specifying Service Composition Using UML 2.x and Composition Policies.

Judith E. Y. Rossebø, Ragnhild Kobro Runde

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Enhancing UML to Formalize the FIPA Agent Interaction Protocol.

Øystein Haugen, Ragnhild Kobro Runde

Proceedings of the Agent-Based Technologies and Applications for Enterprise Interoperability, 2008

2007

STAIRS - Understanding and Developing Specifications Expressed as UML Interaction Diagrams.

Ragnhild Kobro Runde

PhD thesis, 2007

2006

Time Exceptions in Sequence Diagrams.

Oddleif Halvorsen, Ragnhild Kobro Runde, Øystein Haugen

Proceedings of the Models in Software Engineering, 2006

Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.

Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005

STAIRS towards formal design with sequence diagrams.

Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen

Softw. Syst. Model., 2005

Refining UML Interactions with Underspecification and Nondeterminism.

Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen

Nord. J. Comput., 2005

The Pragmatics of STAIRS.

Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2003

Why Timed Sequence Diagrams Require Three-Event Semantics.

Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen

Proceedings of the Scenarios: Models, 2003