Bidirectional Transformations: A Cross-Discipline Perspective: GRACE Meeting Notes, State of the Art, and Outlook

K Czarnecki, JN Foster, Z Hu, R Lämmel… - Theory and Practice of …, 2009 - Springer
Abstract The GRACE International Meeting on Bidirectional Transformations was held in
December 2008 near Tokyo, Japan. The meeting brought together researchers and …

Design space of heterogeneous synchronization

M Antkiewicz, K Czarnecki - … II: International Summer School, GTTSE 2007 …, 2008 - Springer
This tutorial explores the design space of heterogeneous synchronization, which is
concerned with establishing consistency among artifacts that conform to different schemas …

Synthesizing framework models for symbolic execution

J Jeon, X Qiu, J Fetter-Degges, JS Foster… - Proceedings of the 38th …, 2016 - dl.acm.org
Symbolic execution is a powerful program analysis technique, but it is difficult to apply to
programs built using frameworks such as Swing and Android, because the framework code …

Engineering of framework-specific modeling languages

M Antkiewicz, K Czarnecki… - IEEE Transactions on …, 2009 - ieeexplore.ieee.org
Framework-specific modeling languages (FSMLs) help developers build applications based
on object-oriented frameworks. FSMLs model abstractions and rules of application …

[КНИГА][B] An atlas of continuous cooling transformation (CCT) diagrams applicable to low carbon low alloy weld metals

Z Zhang - 2021 - taylorfrancis.com
An Atlas of Continuous Cooling Transformation (CCT) Diagrams Applicable to Low Carbon
Low Alloy Weld Metals Page 1 Page 2 AN ATLAS OF CONTINUOUS COOLING …

Automatically locating framework extension examples

B Dagenais, H Ossher - Proceedings of the 16th ACM SIGSOFT …, 2008 - dl.acm.org
Using and extending a framework is a challenging task whose difficulty is exacerbated by
the poor documentation that generally comes with the framework. Even in the presence of …

Supporting framework use via automatically extracted concept-implementation templates

A Heydarnoori, K Czarnecki, TT Bartolomei - European Conference on …, 2009 - Springer
Application frameworks provide reusable concepts that are instantiated in application code
through potentially complex implementation steps such as subclassing, implementing …

Inferring specifications of object oriented APIs from API source code

H Zhong, L Zhang, H Mei - 2008 15th Asia-Pacific Software …, 2008 - ieeexplore.ieee.org
API libraries are becoming increasingly popular in modern software industries because
these libraries provide various methods and classes for reuse. However, as pointed out by …

Generating specifications of client-server applications for static analysis

S Artzi, R Berg, JT Peyton Jr, M Pistoia… - US Patent …, 2013 - Google Patents
Systems and methods are provided for creating a data struc ture associated with a software
application that is based on at least one framework. According to the method, Source code …

[PDF][PDF] Static detection of complex vulnerabilities in modern PHP applications

J Dahse - 2016 - d-nb.info
Modern websites evolved to interactive applications which process confidential user data,
such as credit card numbers, passwords, and private messages, on a daily basis. This …