|
|||||||||||||||
|
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|||||||||||||||
|
|||||||||||||||
|
|||||||||||||||
| Viser treff 1-20 av 20 |
|
2012
|
||
| 1. | 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 UiO SINTEF |
|
|
|
||
| 2. | 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 |
|
|
|
||
| 3. | 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 UiO SINTEF |
|
|
|
||
| 4. | 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 |
|
|
|
||
| 5. | 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 |
|
|
2011
|
||
| 6. | 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 |
|
|
|
||
| 7. | 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 UiO SINTEF |
|
|
|
||
| 8. | 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 |
|
|
|
||
| 9. | 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 |
|
|
|
||
| 10. | 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 |
|
|
|
||
| 11. | 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 |
|
|
|
||
| 12. | 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 |
|
|
|
||
| 13. | 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 |
|
|
|
||
| 14. | 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 |
|
|
|
||
| 15. | Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger. Optimizing Alloy Models. : SINTEF 2011 (ISBN 9788214049961) 15 s. SINTEF Rapport(A21094) SINTEF UiO |
|
|
2010
|
||
| 16. | 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 |
|
|
|
||
| 17. | Svendsen, Andreas; Zhang, Xiaorui; Lind-Tviberg, R.; Fleurey, Frank; Haugen, Øystein; Møller-Pedersen, Birger; Olsen, Gøran K.. Developing a Software Product Line for Train Control: A Case Study of CVL. I: Software Product Lines: Going Beyond. 14th International Conference, SPLC 2010. Springer 2010 ISBN 978-3-642-15578-9. s. 106-120 SINTEF UiO |
|
|
2009
|
||
| 18. | Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Olsen, Gøran Klepp; Svendsen, Andreas; Zhang, Xiaorui. A Generic Language and Tool for Variability Modeling. : SINTEF 2009 (ISBN 9788214044676) 20 s. SINTEF Rapport(A13505) SINTEF UiO |
|
|
2008
|
||
| 19. | Haugen, Øystein; Møller-Pedersen, Birger; Oldevik, Jon; Olsen, Gøran K.; Svendsen, Andreas. Adding Standardized Variability to Domain Specific Languages. I: Proceedings of the 12th International Software Product Line Conference, SPLC 2008. IEEE 2008 ISBN 978-0-7695-3303-2. s. 139-148 SINTEF UiO |
|
|
|
||
| 20. | Svendsen, Andreas; Møller-Pedersen, Birger. Generic traits in typed languages - how to do it. I: ICSOFT 2008 - Proceedings of the Third International Conference on Software and Data Technologies. Institute for Systems and Technologies of Information, Control and Communication 2008 ISBN 978-989-8111-51-7. SINTEF UiO |
|