Current Research Information SysTem In Norway
 
 

 English version


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


Viser treff 1-50 av 202 << Forrige 1 2 3 4 5    Neste >>

2018
1 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 ;Volum 11244 LNCS. s. 206-224
UiO Untitled
 
2016
2 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. s. 427-434
UIA UiO Untitled
 
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 Prinz, Andreas; Møller-Pedersen, Birger; Fischer, Joachim.
Modelling and testing of real systems. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9953 LNCS. s. 119-130
UIA UiO Untitled
 
5 Prinz, Andreas; Møller-Pedersen, Birger; Fischer, Joachim.
Object-oriented operational semantics. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9959 LNCS. s. 132-147
UIA UiO Untitled
 
2015
6 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
 
7 Berg, Henning; Møller-Pedersen, Birger.
Metamodel and model composition by integration of operational semantics. Communications in Computer and Information Science 2015 ;Volum 580. s. 172-189
UiO Untitled
 
8 Berg, Henning; Møller-Pedersen, Birger.
Specialisation of metamodels using metamodel types. Communications in Computer and Information Science 2015 ;Volum 506. s. 84-99
UiO Untitled
 
9 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. s. 111-121
UiO Untitled
 
2014
10 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. s. 111-118
UiO Untitled
 
11 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. s. 99-110
UiO Untitled
 
2013
12 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. s. 160-178
UiO Untitled
 
13 Grønmo, Roy; Krogdahl, Stein; Møller-Pedersen, Birger.
A collection operator for graph transformation. Journal of Software and Systems Modeling 2013 ;Volum 12.(1) s. 121-144
SINTEF UiO Untitled
 
14 Grønmo, Roy; Runde, Ragnhild Kobro; Møller-Pedersen, Birger.
Confluence of aspects for sequence diagrams. Journal of Software and Systems Modeling 2013 ;Volum 12.(4) s. 789-824
SINTEF UiO Untitled
 
15 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
 
16 Zhang, Xiaorui; Haugen, Øystein; Møller-Pedersen, Birger.
Semantic Differencing for Product Line Evolution. : SINTEF 2013 (ISBN 9788214053326) 16 s. SINTEF Rapport(A25398)
SINTEF UiO Untitled
 
2012
17 Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Svendsen, Andreas; Zhang, Xiaorui.
Standardizing Variability - Challenges and Solutions. Lecture Notes in Computer Science (LNCS) 2012 ;Volum 7083. s. 233-246
SINTEF UiO Untitled
 
18 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. s. 348-356
SINTEF UiO Untitled
 
19 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 ;Volum 7271. s. 268-305
UiO Untitled
 
20 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 s.
SINTEF UiO Untitled
 
21 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. s. 1-2
SINTEF UiO Untitled
 
22 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 ;Volum 114. s. 93-104
SINTEF UiO Untitled
 
23 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 s. SINTEF Rapport(A20174)
SINTEF UiO Untitled
 
24 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
 
25 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 ;Volum 7167. s. 187-201
SINTEF UiO Untitled
 
26 Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger.
Synthesizing Software Models: Generating Train Station Models Automatically. Lecture Notes in Computer Science (LNCS) 2012 ;Volum 7083. s. 38-53
SINTEF UiO Untitled
 
27 Svendsen, Andreas; Zhang, Xiaorui; Haugen, Øystein; Møller-Pedersen, Birger.
Towards Evolution of Generic Variability Models. Lecture Notes in Computer Science (LNCS) 2012 ;Volum 7167. s. 53-67
SINTEF UiO Untitled
 
28 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. s. 137-146
UiO Untitled
 
29 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. s. 766-771
SINTEF UiO Untitled
 
30 Zhang, Xiaorui; Haugen, Øystein; Møller-Pedersen, Birger.
Augmenting Product Lines. APSEC 2012; 2012-12-04 - 2012-12-07
SINTEF UiO Untitled
 
31 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
32 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
 
33 Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger.
Analyzing Variability: Capturing Semantic Ripple Effects. Lecture Notes in Computer Science (LNCS) 2011 ;Volum 6698. s. 253-269
SINTEF UiO Untitled
 
34 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. s. -
SINTEF UiO Untitled
 
35 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
 
36 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
 
37 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
 
38 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
 
39 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. s. 90-99
SINTEF UiO Untitled
 
40 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
 
41 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. s. 207-218
UiO Untitled
 
42 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
 
43 Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Svendsen, Andreas; Zhang, Xiaorui.
Standardizing Variability - Challenges and Solutions. 15th International Conference on System Design Languages (SDL 2011).; 2011-07-05 - 2011-07-07
SINTEF UiO Untitled
 
44 Grønmo, Roy; Møller-Pedersen, Birger.
From UML 2 Sequence Diagrams to State Machines by Graph Transformation. Journal of Object Technology 2011 ;Volum 10.(8) s. 1-22
SINTEF UiO Untitled
 
45 Møller-Pedersen, Birger.
Scandinavian Contributions to Object-Oriented Modeling Languages. I: History of Nordic Computing 3. Springer 2011 ISBN 978-3-642-23314-2. s. -
UiO Untitled
 
46 Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger.
Improving Domain-Specific Languages by Analyzing, Constraining and Enhancing Metamodels. : SINTEF 2011 (ISBN 9788214049954) 25 s. SINTEF Rapport(A21093)
SINTEF UiO Untitled
 
47 Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger.
Optimizing Alloy Models. : SINTEF 2011 (ISBN 9788214049961) 15 s. SINTEF Rapport(A21094)
SINTEF UiO Untitled
 
48 Zhang, Weiqing; Møller-Pedersen, Birger; Kai, T. Hansen.
Metamodel-based Tool Integration. I: Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag 2011 ISBN 978-82-519-2843-4. s. 251-254
UiO Untitled
 
2010
49 Svendsen, Andreas; Zhang, Xiaorui; Lind-Tviberg, Roy; Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Olsen, Gøran Klepp.
Developing a Software Product Line for Train Control: A Case Study of CVL. Lecture Notes in Computer Science (LNCS) 2010 ;Volum 6287. s. 106-120
SINTEF UiO Untitled
 
50 Axelsen, Eyvind Wærsted; Krogdahl, Stein; Møller-Pedersen, Birger.
Controlling Dynamic Module Composition through an Extensible Meta-Level API. SIGPLAN notices 2010 ;Volum 45.(12) s. 81-95
UiO Untitled
 
    Vis neste liste