Publications by Haugen Øystein


2011 Improving Domain-Specific Languages by Analyzing, Constraining and Enhancing Metamodels View reference Svendsen Andreas , Haugen Øystein , Møller-Pedersen Birger Source:(SINTEF rapport) Type:Report
2011 Optimizing Alloy Models View reference Svendsen Andreas , Haugen Øystein , Møller-Pedersen Birger Source:(SINTEF rapport) Type:Report
2011 Analyzing Variability: Capturing Semantic Ripple Effects View reference Andreas Svendsen , Haugen Øystein , Birger Møller-Pedersen Source:Modelling Foundations and Applications : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011. (s. 253-269). Berlin: Springer. Type:Conference paper/Book chapter
2011 Towards Evolution of Generic Variability Models View reference Svendsen Andreas , Zhang Xiaorui , Haugen Øystein , Møller-Pedersen Birger Source:Variability for You. Proceedings of VARY International Workshop affiliated with ACM/IEEE 14th International Conference on Model Driven Engineering Language and Systems (MODELs '11),. (s. 33-42). Copenhagen: IT University of Copenhagen. Type:Conference paper/Book chapter
2011 Specifying a Testing Oracle for Train Station View reference Svendsen Andreas , Haugen Øystein , Møller-Pedersen Birger Source:MoDeVVa '11. Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation,. (s. art. no 5 (6 pages)). Association for Computing Machinery (ACM). Type:Conference paper/Book chapter
2011 Properties of Realistic Feature Models make Combinatorial Testing of Product Lines Feasible View reference Johansen Martin Fagereng , Haugen Øystein , Fleurey Franck Source:Model Driven Engineering Languages and Systems : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. (s. 638-652). Berlin: Springer. Type:Conference paper/Book chapter
2011 Model Comparison to Synthesize a Model-Driven Software Product Line View reference Zhang Xiaorui , Haugen Øystein , Møller-Pedersen Birger Source:2011 15th Software Product Line Conference (SPLC), 22-26 August, 2011. (s. 90-99). IEEE Conference Proceedings. Type:Conference paper/Book chapter
2011 A Survey of Empirics of Strategies for Software Product Line Testing View reference Johansen Martin Fagereng , Haugen Øystein , Fleurey Franck Source:2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 21-25 March 2011, Berlin. (s. 266-269). Washington: IEEE Computer Society. Type:Conference paper/Book chapter
2011 Complexity Metrics for Software Product Lines View reference Zhang Xiaorui , Haugen Øystein , Møller-Pedersen Birger Source:Variability for You. (s. 53-64). Copenhagen: IT University of Copenhagen. Type:Conference paper/Book chapter
2011 A Survey of Empirics of Strategies for Software Product Line Testing View reference Johansen Martin Fagereng , Haugen Øystein , Fleurey Franck Source:IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, ICSTW ’11, Berlin, mar 21 - mar 25 Type:Presentation
2011 Properties of Realistic Feature Models make Combinatorial Testing of Product Lines Feasible View reference Johansen Martin Fagereng , Haugen Øystein , Fleurey Franck Source:MODELS2011, Wellington, New Zealand, okt 16 - okt 21 Type:Presentation
2011 Bow tie testing - a testing pattern for product lines View reference Johansen Martin Fagereng , Haugen Øystein , Fleurey Franck Source:16th AnnualEuropean Conference on Pattern Languages of Programming (EuroPLoP2011), Irsee, Germany, jul 13 - jul 17 Type:Presentation
2010 Developing a Software Product Line for Train Control: A Case Study of CVL View reference Svendsen Andreas , Zhang Xiaorui , Lind-Tviberg Roy , Fleurey Franck , Haugen Øystein , Møller-Pedersen Birger , Olsen Gøran K. Source:Software Product Lines: Going Beyond. (s. 106-120). Berlin: Springer. Type:Conference paper/Book chapter
2010 CVL Tool - Modeling Variability in SPLs View reference Svendsen Andreas , Zhang Xiaorui , Fleurey Franck , Haugen Øystein , Olsen Gøran K. , Møller-Pedersen Birger Source:SPLC 2010 Volume 2 - Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools. Jeju Island, South Korea: Lancaster University. Type:Conference paper/Book chapter
2010 Evaluating Domain-Specific Modelling Solutions View reference Mohagheghi Parastoo , Haugen Øystein Source:Advances in Conceptual Modeling- Applications and Challenges : ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. (s. 212-221). Berlin: Springer. Type:Conference paper/Book chapter
2010 Formalizing Train Control Language: Automating Analysis of Train Stations View reference Svendsen Andreas , Møller-Pedersen Birger , Haugen Øystein , Endresen Jan , Carlson Erik Source:Computers in Railways XII. (s. 245-256). WIT Press. Type:Conference paper/Book chapter
2010 Model Driven Engineering Languages and Systems. Part 1 View reference Petriu, Dorina C. , Rouquette, Nicolas , Haugen Øystein Source:Berlin: Springer. Type:Book
2010 Model Driven Engineering Languages and Systems. Part 2 View reference Petriu, Dorina C. , Rouquette, Nicolas , Haugen Øystein Source:Berlin: Springer. Type:Book
2010 Joint Submission against the CVL RFP View reference Haugen Øystein Source:OMG Technical Meeting, Santa Clara, California, USA, des 05 - des 10 Type:Presentation
2009 A Generic Language and Tool for Variability Modeling View reference Fleurey Franck , Haugen Øystein , Møller-Pedersen Birger , Olsen Gøran K. , Svendsen Andreas , Zhang Xiaorui Source:(SINTEF rapport) Type:Report