389 search results - page 59 / 78 » Software Clustering Using Dynamic Analysis and Static Depend... |
121
click to vote
ESEC
1997
Springer
15 years 5 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
123
click to vote
APSEC
2009
IEEE
15 years 5 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...
122
click to vote
CAV
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
119
click to vote
DBSEC
2004
15 years 3 months ago
2004
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...
110
Voted
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...