506 search results - page 1 / 102 » Contracts as Pairs of Projections |
FLOPS
2006
Springer
13 years 8 months 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...
AAECC
2005
Springer
13 years 4 months ago
2005
Springer
Abstract. The paper deals with the question of recognizing the mutual positions of the connected components of a non-singular real projective surface S in the real projective 3-spa...
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...
AGILEDC
2009
IEEE
13 years 11 months ago
2009
IEEE
We report on our experiences from two commercial projects conducted under a new form of contract that supports agile development and encourages efficient collaboration between cus...
XPU
2009
Springer
13 years 11 months ago
2009
Springer
The Agile Manifesto values “customer collaboration over contract negotiation”. However, in many real projects, Agile practitioners spend considerable time and effort negotiati...