2558 search results - page 13 / 512 » Model Composition Contracts |
ICSOC
2003
Springer
15 years 4 months ago
2003
Springer
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
SIGSOFT
2005
ACM
16 years 12 days ago
2005
ACM
The growing popularity of aspect-oriented languages, such as AspectJ, and of corresponding design approaches, makes it important to learn how best to modularize programs in which ...
MSS
2011
IEEE
14 years 6 months ago
2011
IEEE
The paper develops a contracting model where the principal frames the contract when the agent is unaware of some contingencies, yet is aware that she may be unaware. We call the c...
PPDP
2009
Springer
15 years 6 months 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 ...