682 search results - page 11 / 137 » Java Implementation Verification Using Reverse Engineering |
TOOLS
2008
IEEE
14 years 1 months ago
2008
IEEE
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been defined, and only the most basic types are implemented i...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
The usefulness of design patterns in forward engineering is already well-known and several tools provide support for their application in the development of software systems. Whil...
SYNASC
2005
IEEE
14 years 1 months ago
2005
IEEE
The purpose of this paper is to present the main characteristics of ADF, an open source agent developing platform with a focus on agent collaboration. The basic architecture of th...
C3S2E
2009
ACM
13 years 11 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...