120 search results - page 3 / 24 » A Formal Language for Electronic Contracts |
IJCIS
2006
13 years 5 months ago
2006
ATAL
2008
Springer
13 years 7 months ago
2008
Springer
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...
IFM
2009
Springer
13 years 3 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
VL
2010
IEEE
13 years 4 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
IFL
2007
Springer
13 years 12 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...