From post

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.

 

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

An empirical framework for comparing effectiveness of testing and property-based formal analysis., , и . PASTE, стр. 2-5. ACM, (2005)A survey of self-management in dynamic software architecture specifications., , , и . WOSS, стр. 28-33. ACM, (2004)A Survey of Analysis Models and Methods in Website Verification and Testing., , и . ICWE, том 4607 из Lecture Notes in Computer Science, стр. 306-311. Springer, (2007)Automated conversion of table-based websites to structured stylesheets using table recognition and clone detection., , и . CASCON, стр. 12-26. IBM, (2007)05161 Executive Summary -- Transformation Techniques in Software Engineering, , и . Transformation Techniques in Software Engineering, 05161, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)$<$http://drops.dagstuhl.de/opus/volltexte/2006/497$>$ date of citation: 2006-01-01.How to make a bridge between transformation and analysis technologies?, и . Transformation Techniques in Software Engineering, 05161, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)$<$http://drops.dagstuhl.de/opus/volltexte/2006/426$>$ date of citation: 2006-01-01.A Survey of Model Comparison Approaches and Applications., и . MODELSWARD, стр. 265-277. SciTePress, (2013)TuringTool: A User Interface to Aid in the Software Maintenance Task., , и . IEEE Trans. Software Eng., 16 (3): 294-301 (1990)Synthesis of state machine models., , и . MoDELS, стр. 274-284. ACM, (2020)Near-miss function clones in open source software: an empirical study, и . Journal of Software Maintenance and Evolution: Research and Practice, 22 (3): 165?189 (2010)