1042 search results - page 44 / 209 » Can Aspects Implement Contracts |
KBSE
2010
IEEE
13 years 8 months ago
2010
IEEE
To realise variability at the code level, product line methods classically advocate usage of inheritance, components, frameworks, aspects or generative techniques. However, these ...
ESOP
2009
Springer
14 years 4 months ago
2009
Springer
We show how contracts with blame fit naturally with recent work on hybrid types and gradual types. Unlike hybrid types or gradual types, we require casts in the source code, in o...
ICDCSW
2003
IEEE
14 years 3 months ago
2003
IEEE
— Systems are more and more expected to work in dynamic environment, to deal with fluctuation of their characteristics and to guaranty functional and nonfunctional requirements. ...
BIB
2007
13 years 10 months ago
2007
An overview is presented of the construction and use of algebraic partition functions to represent the equilibrium statistical mechanics of multimolecular complexes and their acti...
ICMAS
2000
2000
An Experimental Evaluation of Domain-Independent Fault Handling Services in Open Multi-Agent Systems
13 years 11 months ago
A critical challenge to creating effective open multi-agent systems is allowing them to operate effectively in the face of potential failures. In this paper we present an experimen...