( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Variability-Based Approach to Reusable and Efficient Model Transformations.

, , , и . FASE, том 9033 из Lecture Notes in Computer Science, стр. 283-298. Springer, (2015)

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.

Marsha Schade

 

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

Locating distinguishing features using diff sets., и . ASE, стр. 242-245. ACM, (2012)Language Independent Refinement Using Partial Modeling., , и . FASE, том 7212 из Lecture Notes in Computer Science, стр. 224-239. Springer, (2012)Systematic Construction of Abstractions for Model-Checking., , и . VMCAI, том 3855 из Lecture Notes in Computer Science, стр. 381-397. Springer, (2006)Guest Editorial: Special Issue on Model Checking in Requirements Engineering., и . Requir. Eng., 7 (4): 221-224 (2002)Efficient Multiple-Valued Model-Checking Using Lattice Representations., , , , и . CONCUR, том 2154 из Lecture Notes in Computer Science, стр. 441-455. Springer, (2001)Model-Checking over Multi-valued Logics., , и . FME, том 2021 из Lecture Notes in Computer Science, стр. 72-98. Springer, (2001)Selected Extended Papers of VSTTE 2016., и . J. Autom. Reason., 60 (3): 255-256 (2018)What is a Feature? A Qualitative Study of Features in Industrial Software Product Lines, , , , , , , и . 19th International Software Product Line Conference (SPLC), (2015)The SCOOP Concurrency Model in Java-like Languages., , , и . CPA, том 67 из Concurrent Systems Engineering Series, стр. 7-27. IOS Press, (2009)Guest editorial: selected areas in automated software engineering., и . Autom. Softw. Eng., 25 (1): 45-46 (2018)