15421 search results - page 13 / 3085 » Dependability |
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
A Dependence Anti Pattern is a dependence structure that may indicate potential problems for on–going software maintenance and evolution. Dependence anti patterns are not struct...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
EPEW
2006
Springer
14 years 7 days ago
2006
Springer
Abstract. As Web service-based system integration recently became the mainstream approach to create composite services, the dependability of such systems becomes more and more cruc...
FLOPS
2008
Springer
13 years 10 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
CSL
2010
Springer
13 years 9 months ago
2010
Springer
Modal dependence logic was introduced very recently by V