1926 search results - page 168 / 386 » Modeling and Model Checking Software Product Lines |
156
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
Complexity is often hypothesized to be the enemy of software security. If this hypothesis is true, complexity metrics may be used to predict the locale of security problems and ca...
154
click to vote
SOCO
2005
Springer
15 years 12 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
180
click to vote
FASE
2007
Springer
16 years 17 days ago
2007
Springer
We use 63 features extracted from sources such as versioning and issue tracking systems to predict defects in short time frames of two months. Our multivariate approach covers aspe...
168
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
173
click to vote
MMS
2008
15 years 6 months ago
2008
Practices in new media art pose very interesting challenges to the multimedia research community in terms of software tools development, usage of media technologies or documentatio...