3792 search results - page 248 / 759 » Techniques for Trusted Software Engineering |
166
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...
144
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...
160
click to vote
ECIS
2003
15 years 8 months ago
2003
Information systems (IS) and software engineering (SE) have shared the domain of systems and software development for several decades with too little overlap in practice and resea...
168
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
159
click to vote
COMPSAC
2006
IEEE
16 years 19 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...