568 search results - page 68 / 114 » Enforcing traceability in software |
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
Model-Driven Engineering (MDE) advocates the generation of software applications from models, which are views on certain aspects of the software. In order to minimize the delta bet...
WETICE
2003
IEEE
14 years 3 months ago
2003
IEEE
The coordination of concurrent activities in collaborative environments is a very important and difficult task. Many approaches for the construction of large-scale flexible grou...
WCRE
2000
IEEE
14 years 2 months ago
2000
IEEE
Reverse engineering is an imperfect process driven by imperfect knowledge. Most current reverse engineering tools do not adequately consider these inherent characteristics. They f...
AADEBUG
1997
Springer
14 years 2 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
APSEC
2004
IEEE
14 years 1 months ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...