Sciweavers

1938 search results - page 23 / 388
» Dependable Software
Sort
View
ESEM
2007
ACM
15 years 3 months ago
Static Members and Cycles in Java Software
The static modifier is a convenient way to make class members "global" in object-oriented software systems. Given this, we wondered if static members significantly contr...
Hayden Melton, Ewan D. Tempero
IWPC
2003
IEEE
15 years 5 months ago
A Tool For Understanding Multi-Language Program Dependencies
1 : This paper describes a prototype tool that facilitates the process of understanding and managing multi-language program dependencies. More specifically, the software tool main...
Panagiotis K. Linos, Zhi-hong Chen, Seth Berrier, ...
ICSE
2011
IEEE-ACM
14 years 3 months ago
A lightweight code analysis and its role in evaluation of a dependability case
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang,...
SPLC
2010
15 years 1 months ago
Feature Diagrams as Package Dependencies
Abstract. FOSS (Free and Open Source Software) distributions use dependencies and package managers to maintain huge collections of packages and their installations; recent research...
Roberto Di Cosmo, Stefano Zacchiroli