772 search results - page 52 / 155 » From Graph Transformation to Software Engineering and Back |
122
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
137
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...
116
click to vote
SCAM
2006
IEEE
15 years 8 months ago
2006
IEEE
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
102
click to vote
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
In many software development projects, people tend to repeat same mistakes due to lack of shared knowledge from past experiences. Generally, it is very difficult to manually find ...