506 search results - page 2 / 102 » Contracts as Pairs of Projections |
MSOM
2010
13 years 4 months ago
2010
In project management, most manufacturers (project managers) offer no delayed payment contracts under which each supplier (contractor) will receive a pre-specified payment when ...
DA
2010
13 years 5 months ago
2010
DAC
2011
ACM
12 years 5 months ago
2011
ACM
We present a high-level synthesis technique that takes as input two orthogonal descriptions: (a) a behavioral architectural contract between the implementation and the user, and (...
PPDP
2009
Springer
14 years 3 days ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
APSEC
2004
IEEE
13 years 9 months ago
2004
IEEE
Pair programmers need a "warmup phase" before the pair can work at full speed. The length of the learning interval varies, depending on how experienced the developers are...