Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-50 of 210 << Previous 1 2 3 4 5    Next >>

2023
1 Madsen, Ole Lehrmann; Møller-Pedersen, Birger.
What Your Mother Forgot to Tell you About Modeling – and Programming. I: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion. IEEE conference proceedings 2023 ISBN 979-8-3503-2498-3. p. 200-210
UiO Untitled
 
2 Prinz, Andreas; Engebretsen, Martin; Gjøsæter, Terje; Møller-Pedersen, Birger; Xanthopoulou, Themis Dimitra.
Models, systems, and descriptions: A cross-disciplinary reflection on models. Frontiers in Computer Science 2023 ;Volume 5. p. -
UIA UiO Untitled
 
2022
3 Lehrmann Madsen, Ole; Møller-Pedersen, Birger.
Using supplementary properties to reduce the need for documentation. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering 11th International Symposium, ISoLA 2022; 2022-10-22 - 2022-10-30
UiO Untitled
 
4 Lehrmann Madsen, Ole; Møller-Pedersen, Birger.
What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming. Onward! '22: 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software; 2022-12-08 - 2022-12-10
UiO Untitled
 
5 Prinz, Andreas; Xanthopoulou, Themis Dimitra; Gjøsæter, Terje; Møller-Pedersen, Birger.
On abstraction in the OMG hierarchy: systems, models, and descriptions. MODELS '22: 25th International Conference on Model Driven Engineering Languages and Systems; 2022-10-23
UIA UiO Untitled
 
6 Prinz, Andreas; Xanthopoulou, Themis Dimitra; Gjøsæter, Terje; Møller-Pedersen, Birger.
On abstraction in the OMG hierarchy: systems, models, and descriptions. I: ACM / IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS). Association for Computing Machinery (ACM) 2022 ISBN 978-1-4503-9467-3. p. 322-330
UIA UiO Untitled
 
2021
7 Fischer, Joachim; Møller-Pedersen, Birger; Prinz, Andreas; Thalheim, Bernhard.
Models Versus Model Descriptions. I: Modelling to Program Second International Workshop M2P 2020, Lappeenranta, Finland, Revised Selected Papers. Springer Nature 2021 ISBN 978-3-030-72695-9. p. 67-89
UIA UiO Untitled
 
2020
8 Fischer, Joachim; Møller-Pedersen, Birger; Prinz, Andreas.
Real Models are Really on M0 - Or How to Make Programmers Use Modeling. I: Modelsward 2020. SciTePress 2020 ISBN 978-989-758-400-8. p. 307-318
UIA UiO Untitled
 
2018
9 Madsen, Ole Lehrmann; Møller-Pedersen, Birger.
This is not a model : On development of a common terminology for modeling and programming. Lecture Notes in Computer Science (LNCS) 2018 ;Volume 11244 LNCS. p. 206-224
UiO Untitled
 
2016
10 Fischer, Joachim; Møller-Pedersen, Birger; Prinz, Andreas.
Modelling of Systems for Real. I: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SciTePress 2016 ISBN 978-989-758-168-7. p. 427-434
UIA UiO Untitled
 
11 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
 
12 Prinz, Andreas; Møller-Pedersen, Birger; Fischer, Joachim.
Modelling and testing of real systems. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9953 LNCS. p. 119-130
UIA UiO Untitled
 
13 Prinz, Andreas; Møller-Pedersen, Birger; Fischer, Joachim.
Object-oriented operational semantics. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9959 LNCS. p. 132-147
UiO UIA Untitled
 
2015
14 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. p. 231-238
UiO Untitled
 
15 Berg, Henning; Møller-Pedersen, Birger.
Metamodel and model composition by integration of operational semantics. Communications in Computer and Information Science (CCIS) 2015 ;Volume 580. p. 172-189
UiO Untitled
 
16 Berg, Henning; Møller-Pedersen, Birger.
Specialisation of metamodels using metamodel types. Communications in Computer and Information Science (CCIS) 2015 ;Volume 506. p. 84-99
UiO Untitled
 
17 Berg, Henning; Møller-Pedersen, Birger.
Towards Non-Intrusive Composition of Executable Models. 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. p. 111-121
UiO Untitled
 
2014
18 Berg, Henning; Møller-Pedersen, Birger.
Typing and Subtyping of Metamodels. I: MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. SciTePress 2014 ISBN 978-9-8975-8065-9. p. 111-118
UiO Untitled
 
19 Zhang, Weiqing; Møller-Pedersen, Birger.
Modeling of Tool Integration Resources with OSLC Support. I: MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. SciTePress 2014 ISBN 978-9-8975-8065-9. p. 99-110
UiO Untitled
 
2013
20 Berg, Henning; Møller-Pedersen, Birger.
Type-Safe Symmetric Composition of Metamodels Using Templates. I: System Analysis and Modeling: Theory and Practise. Springer 2013 ISBN 978-3-642-36756-4. p. 160-178
UiO Untitled
 
21 Grønmo, Roy; Krogdahl, Stein; Møller-Pedersen, Birger.
A collection operator for graph transformation. Software and Systems Modeling (SoSyM) 2013 ;Volume 12.(1) p. 121-144
UiO SINTEF Untitled
 
22 Grønmo, Roy; Runde, Ragnhild Kobro; Møller-Pedersen, Birger.
Confluence of aspects for sequence diagrams. Software and Systems Modeling (SoSyM) 2013 ;Volume 12.(4) p. 789-824
SINTEF UiO Untitled
 
23 Møller-Pedersen, Birger.
Models '67 Revisited. I: System Analysis and Modeling: Theory and Practise. Springer 2013 ISBN 978-3-642-36756-4.
UiO Untitled
 
24 Zhang, Xiaorui; Haugen, Øystein; Møller-Pedersen, Birger.
Semantic Differencing for Product Line Evolution. : SINTEF 2013 (ISBN 9788214053326) 16 p. SINTEF Rapport(A25398)
SINTEF UiO Untitled
 
2012
25 Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Svendsen, Andreas; Zhang, Xiaorui.
Standardizing Variability - Challenges and Solutions. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7083. p. 233-246
UiO SINTEF Untitled
 
26 Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger.
Using Variability Models to Reduce Verification Effort of Train Station Models. I: 18th Asia Pacific Software Engineering Conference (APSEC), 2011, Ho Chi Minh, 5-8 Dec. 2011. IEEE conference proceedings 2012 ISBN 978-1-4577-2199-1. p. 348-356
SINTEF UiO Untitled
 
27 Axelsen, Eyvind Wærsted; Sørensen, Fredrik; Krogdahl, Stein; Møller-Pedersen, Birger.
Challenges in the Design of the Package Template Mechanism. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7271. p. 268-305
UiO Untitled
 
28 Haugen, Øystein; Jezequel, Jean-Marc; Wasowski, Andrzej; Møller-Pedersen, Birger; Czarnecki, Krzysztof.
Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone. Association for Computing Machinery (ACM) 2012 (ISBN 978-1-4503-1809-9) 39 p.
SINTEF UiO Untitled
 
29 Haugen, Øystein; Jezequel, Jean-Marc; Wasowski, Andrzej; Møller-Pedersen, Birger; Czarnecki, Krzysztof.
VARY 2012: VARiability for You. I: Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone. Association for Computing Machinery (ACM) 2012 ISBN 978-1-4503-1809-9. p. 1-2
SINTEF UiO Untitled
 
30 Håvaldsrud, Tormod; Møller-Pedersen, Birger; Solhaug, Bjørnar; Stølen, Ketil.
DeSPoT: A Method for the Development and Specification of Policies for Trust Negotiation. Lecture Notes in Electrical Engineering 2012 ;Volume 114. p. 93-104
UiO SINTEF Untitled
 
31 Håvaldsrud, Tormod; Møller-Pedersen, Birger; Solhaug, Bjørnar; Stølen, Ketil.
DeSPoT: A Method for the Development and Specification of Policies for Trust Negotiation. : S 2012 (ISBN 9788214049886) 18 p. SINTEF Rapport(A20174)
SINTEF UiO Untitled
 
32 Møller-Pedersen, Birger.
Models ´67 Revisited. Invited talk at SDL Forum Society as part of MODELS 2012, Innsbruck 1.10.2012 - 2.10.2012. 7th SAM (System Analysis and Modelling) Workshop; 2012-10-01 - 2012-10-02
UiO Untitled
 
33 Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger.
Specifying a Testing Oracle for Train Stations – Going beyond with Product Line Technology. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7167. p. 187-201
UiO SINTEF Untitled
 
34 Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger.
Synthesizing Software Models: Generating Train Station Models Automatically. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7083. p. 38-53
SINTEF UiO Untitled
 
35 Svendsen, Andreas; Zhang, Xiaorui; Haugen, Øystein; Møller-Pedersen, Birger.
Towards Evolution of Generic Variability Models. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7167. p. 53-67
SINTEF UiO Untitled
 
36 Zhang, Weiqing; Møller-Pedersen, Birger; Biehl, Matthias.
Light-weight Tool Integration Approach -- From a Tool Integration Model to OSLC Integration Services. I: Proceedings of ICSOFT 2012. Institute for Systems and Technologies of Information, Control and Communication 2012 ISBN 978-989-8565-19-8. p. 137-146
UiO Untitled
 
37 Zhang, Xiaorui; Haugen, Øystein; Møller-Pedersen, Birger.
Augmenting Product Lines. APSEC 2012; 2012-12-04 - 2012-12-07
SINTEF UiO Untitled
 
38 Zhang, Xiaorui; Haugen, Øystein; Møller-Pedersen, Birger.
Augmenting Product Lines. I: 2012 19th Asia-Pacific Software Engineering Conference (APSEC), Hong Kong, 4-7 Dec. 2012. IEEE conference proceedings 2012 ISBN 978-1-4673-4930-7. p. 766-771
SINTEF UiO Untitled
 
39 Zhang, Xiaorui; Møller-Pedersen, Birger.
Towards Correct Product Derivation in Model-Driven Product Lines. System Analysis and Modelling workshop - SAM 2012; 2012-10-01 - 2012-10-02
SINTEF UiO Untitled
 
2011
40 Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger.
Analyzing Variability: Capturing Semantic Ripple Effects. Seventh European Conference on Modelling Foundations and Applications (ECMFA 2011); 2011-06-06 - 2011-06-09
SINTEF UiO Untitled
 
41 Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger.
Analyzing Variability: Capturing Semantic Ripple Effects. Lecture Notes in Computer Science (LNCS) 2011 ;Volume 6698. p. 253-269
UiO SINTEF Untitled
 
42 Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger.
Specifying a Testing Oracle for Train Station. I: MoDeVVa : Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation. Association for Computing Machinery (ACM) 2011 ISBN 978-1-4503-0914-1. p. -
SINTEF UiO Untitled
 
43 Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger.
Specifying a Testing Oracle for Train Stations. in Model-Driven Engineering, Verification, and Validation Workshop (MoDeVVa 2011); 2011-10-17 - 2011-10-17
SINTEF UiO Untitled
 
44 Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger.
Synthesizing Software Models: Generating Train Station Models Automatically. 15th International Conference on System Design Languages (SDL 2011); 2011-07-05 - 2011-07-07
SINTEF UiO Untitled
 
45 Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger.
Using Variability Models to Reduce Verification Effort of Train Station Models. 18th Asia Pacific Software Engineering Conference (APSEC 2011); 2011-12-05 - 2011-12-08
SINTEF UiO Untitled
 
46 Svendsen, Andreas; Zhang, Xiaorui; Haugen, Øystein; Møller-Pedersen, Birger.
Towards Evolution of Generic Variability Models. VARiability for You Workshop (VARY 2011); 2011-10-16 - 2011-10-16
SINTEF UiO Untitled
 
47 Zhang, Xiaorui; Haugen, Øystein; Møller-Pedersen, Birger.
Model Comparison to Synthesize a Model-Driven Software Product Line. I: 15th International Software Product Line Conference (SPLC): Munich 22-26 Aug. 2011. IEEE conference proceedings 2011 ISBN 978-1-4577-1029-2. p. 90-99
SINTEF UiO Untitled
 
48 Berg, Henning; Møller-Pedersen, Birger; Krogdahl, Stein.
Advancing Generic Metamodels. Domain-Specific Modeling (DSM'11), Workshop at SPLASH, Portland USA, 23.10.2011-24.10.2011. Domain-Specific Modeling (DSM'11); 2011-10-23 - 2011-10-24
UiO Untitled
 
49 Berg, Henning; Møller-Pedersen, Birger; Krogdahl, Stein.
Application of Advanced Programming Concepts in Metamodelling. I: Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag 2011 ISBN 978-82-519-2843-4. p. 207-218
UiO Untitled
 
50 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 p. NIK: Norsk Informatikkonferanse(NIK 2011)
HIM OSLOMET NTNU UIA UiB UiO UiT Untitled
 
    Show next list