Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obligations and benefits made explicit by assertions. However, there is a gap between this theory and software engineering concepts and tools. For example, dealing with contract violations is realized by exception handlers, wherea...

Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obligations and benefits made explicit by assertions. However, there is a gap between this theory and software engineering concepts and tools. For example, dealing with contract violations is realized by exception handlers, wherea...

The ideal purpose of the state has been variously conceived in political theory, leading to competing theories of state, one of which is the Social Contract Theory. With its earliest systematic postulation in the political philosophy of Thomas Hobbes, this theory gained much currency in the modern era. Although it was briefly eclipsed towards the turn of that era after Kant, it has been revived...

In ‘The Choice Theory of Contracts’, we advance a claim about the centrality autonomy to contract. Since publishing Theory, have engaged dozens reviews and responses; here, reply Robert Stevens, Arthur Ripstein, Brian Bix. All this rigorous debate confirms for us one core point: contract’s ultimate value must be autonomy, properly understood refined. Autonomy is telos contract its grounding pri...

A tournament is an oriented complete graph, and one containing no directed cycles is called transitive. A tournament T= (V,A) is called m-partition transitive if there is a partition V=X1∪· X2∪· · · ·∪· Xm such that the subtournaments induced by each Xi are all transitive, and T Contract grant sponsor: University of Dayton Research Council (to A. H. B.); Contract grant sponsor: National Science...

This study extends prior research on the chain of relationships among organizational justice, social exchange relationships, and employee reactions by investigating the proposed mediating role of psychological contract violations. Results obtained from a longitudinal design examining a sample of 191 employees provide strong support for the proposal, enhance support for chain directionality, val...

Improving a result of Sárközy and Selkow, we show that for all integers r, k ≥ 2 there exists a constant n0 = n0(r, k ) such that if n ≥ n0 and the edges of the complete graph Kn are colored with r colors then the vertex set of Kn can be partitioned into at most 100r log r + 2rk vertex disjoint connected monochromatic k-regular subgraphs and vertices. This is close to best possible. C © 2012 Wi...

This study examines the influence of different types of structural assurance on consumer purchasing intentions in business-to-consumer (B2C) electronic commerce. Prior research findings regarding how different types of structural assurance impact consumer purchasing intentions has been limited. Based on the institution-based trust theory, perceived trust theory and the psychological contract th...