1412 search results - page 99 / 283 » The Value of Outsourced Software |
VMCAI
2010
Springer
14 years 3 months ago
2010
Springer
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...
AGILEDC
2003
IEEE
14 years 2 months ago
2003
IEEE
YP is an agile programming methodology that has evolved over the past 15 years. Many of its features are common to other agile methodologies; its novel features include using a hi...
FLOPS
2006
Springer
14 years 17 days ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
We present an argument-based qualitative decision-making framework in which the social values promoted or demoted by alternative action-options are explicitly represented. We show...
EDOC
2006
IEEE
14 years 3 months ago
2006
IEEE
The analysis, and eventual approval or rejection, of new enterprise information technology (IT) initiatives often proceeds on the basis of informal estimates of return on investme...