Author of the publication

A Formal Semantics for Multi-level Staged Configuration.

, , and . VaMoS, volume 29 of ICB Research Report, page 51-60. Universität Duisburg-Essen, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Другие публикации лиц с тем же именем

Generic Semantics of Feature Diagrams Variants., , , и . FIW, стр. 58-77. IOS Press, (2005)Comparing Goal Modelling Languages: An Experiment, и . International Conference on Requirements Engineering: Foundation for Software Quality, LNCS 4542, стр. 18 – 32. Trondheim, (June 2007)Symbolic model checking of software product lines., , , и . ICSE, стр. 321-330. ACM, (2011)Deriving configuration interfaces from feature models: a vision paper., , и . VaMoS, стр. 37-44. ACM, (2012)An interactive multi-perspective toolset for non-linear product configuration processes., , и . SPLC Workshops, стр. 50. ACM, (2011)Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies., , , , и . SLE, том 6563 из Lecture Notes in Computer Science, стр. 337-356. Springer, (2010)Model Checking Adaptive Software with Featured Transition Systems., , , , и . Assurances for Self-Adaptive Systems, том 7740 из Lecture Notes in Computer Science, Springer, (2013)Engineering configurators for the retail industry: experience report and challenges ahead., и . SAC, стр. 2050-2057. ACM, (2018)Statistical prioritization for software product line testing: an experience report., , , , , , и . Softw. Syst. Model., 16 (1): 153-171 (2017)Report working conference on requirements engineering: foundation for software quality (REFSQ'08)., , и . ACM SIGSOFT Softw. Eng. Notes, (2008)