Sciweavers

SCAM
2007
IEEE
14 years 3 months ago
The Programmer's Lexicon, Volume I: The Verbs
ames make or break abstractions: good ones communicate the intention of the method, whereas bad ones cause confusion and frustration. The task of naming is subject to the whims an...
Einar W. Høst, Bjarte M. Østvold
SCAM
2007
IEEE
14 years 3 months ago
An Evaluation of Slicing Algorithms for Concurrent Programs
Program slicing is a program-reduction technique for extracting statements that may influence other statements. While there exist efficient algorithms to slice sequential progra...
Dennis Giffhorn, Christian Hammer
SCAM
2007
IEEE
14 years 3 months ago
Quality Assessment for Embedded SQL
—The access of information systems to underlying relational databases is commonly programmed using embedded SQL queries. Such embedded queries may take the form of string literal...
Huib van den Brink, Rob van der Leek, Joost Visser
SCAM
2007
IEEE
14 years 3 months ago
Barrier Slicing for Remote Software Trusting
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, C...
SCAM
2007
IEEE
14 years 3 months ago
Relating the Evolution of Design Patterns and Crosscutting Concerns
Crosscutting concerns consist in software system features having the implementation spread across modules as tangled and scattered code. In many cases, these crosscutting concerns...
Lerina Aversano, Luigi Cerulo, Massimiliano Di Pen...
SCAM
2007
IEEE
14 years 3 months ago
Towards Path-Sensitive Points-to Analysis
Tobias Gutzmann, Jonas Lundberg, Welf Löwe
SCAM
2007
IEEE
14 years 3 months ago
Keynote Address: .QL for Source Code Analysis
Many tasks in source code analysis can be viewed as evaluating queries over a relational representation of the code. Here we present an object-oriented query language, named .QL, ...
Oege de Moor, Mathieu Verbaere, Elnar Hajiyev, Pav...
SCAM
2007
IEEE
14 years 3 months ago
Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation
Java bytecode instrumentation is a widely used technique, especially for profiling purposes. In order to ensure the instrumentation of all classes in the system, including dynami...
Walter Binder, Jarle Hulaas, Philippe Moret
SCAM
2007
IEEE
14 years 3 months ago
DATES: Design Analysis Tool for Enterprise Systems
In the current demonstration we present a new tool which increases the level of understanding and the accuracy of design quality assessment within enterprise systems. This is perf...
Cristina Marinescu