SIGSOFT
2004
ACM
14 years 7 months ago
2004
ACM
This paper presents an analysis of feature-oriented and aspectoriented modularization approaches with respect to variability management as needed in the context of system families...
SIGSOFT
2004
ACM
14 years 7 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
SIGSOFT
2004
ACM
14 years 7 months ago
2004
ACM
Static program checking tools can ļ¬nd many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
SIGSOFT
2004
ACM
14 years 7 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
SIGSOFT
2004
ACM
14 years 7 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
SIGSOFT
2004
ACM
14 years 7 months ago
2004
ACM
SIGSOFT
2004
ACM
14 years 7 months ago
2004
ACM
Rapid advances in wireless networking technologies have enabled mobile devices to be connected anywhere and anytime. While roaming, applications on these devices dynamically disco...
SIGSOFT
2004
ACM
14 years 7 months ago
2004
ACM
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...
SIGSOFT
2004
ACM
14 years 7 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
SIGSOFT
2004
ACM
15 years 3 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...