120 search results - page 3 / 24 » A Formal Language for Electronic Contracts |
IJCIS
2006
15 years 1 months ago
2006
102
Voted
ATAL
2008
Springer
15 years 3 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 ...
139
click to vote
IFM
2009
Springer
14 years 11 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...
115
Voted
VL
2010
IEEE
15 years 8 days 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...
118
Voted
IFL
2007
Springer
15 years 8 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...