224 search results - page 4 / 45 » Translating Java Code to Graph Transformation Systems |
SERP
2003
13 years 8 months ago
2003
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
ENTCS
2007
13 years 7 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
IWPC
2007
IEEE
14 years 1 months ago
2007
IEEE
Java developers often use decompilers to aid reverse engineering and obfuscators to prevent it. Decompilers translate low-level class files to Java source and can produce “good...
FASE
2008
Springer
13 years 9 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
COMPSEC
2010
13 years 4 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...