Ragnhild Kobro Runde

Orcid: 0000-0003-2327-7486

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Arguments for and Approaches to Computing Education in Undergraduate Computer Science Programmes.
Proceedings of the 2023 Working Group Reports on Innovation and Technology in Computer Science Education, 2023

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

2019
Students' mental models of references in Python.
Proceedings of the 32nd Norsk Informatikkonferanse, 2019

2016
Mandatory and Potential Choice: Comparing Event-B and STAIRS.
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015
Stepwise refinement of sequence diagrams with soft real-time constraints.
J. Comput. Syst. Sci., 2015

Combined Modelling and Programming Support for Composite States and Extensible State Machines.
Proceedings of the MODELSWARD 2015, 2015

2014
Approaches for the combined use of risk analysis and testing: a systematic literature review.
Int. J. Softw. Tools Technol. Transf., 2014

2013
Confluence of aspects for sequence diagrams.
Softw. Syst. Model., 2013

Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism.
Formal Aspects Comput., 2013

2011
COOMP 2011: first international workshop on combined object-oriented modeling and programming.
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.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Enhancing UML to Formalize the FIPA Agent Interaction Protocol.
Proceedings of the Agent-Based Technologies and Applications for Enterprise Interoperability, 2008

2007
STAIRS - Understanding and Developing Specifications Expressed as UML Interaction Diagrams.
PhD thesis, 2007

2006
Time Exceptions in Sequence Diagrams.
Proceedings of the Models in Software Engineering, 2006

Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005
STAIRS towards formal design with sequence diagrams.
Softw. Syst. Model., 2005

Refining UML Interactions with Underspecification and Nondeterminism.
Nord. J. Comput., 2005

The Pragmatics of STAIRS.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2003
Why Timed Sequence Diagrams Require Three-Event Semantics.
Proceedings of the Scenarios: Models, 2003


  Loading...