376 search results - page 2 / 76 » A Controlled Language for the Specification of Contracts |
FTDCS
2003
IEEE
13 years 10 months ago
2003
IEEE
Ubicomp applications are characterized as situationaware, frequently-and-ephemerally-communicated and QoS-properties-associated. Using middleware to provide multiple QoS support f...
EDOC
2005
IEEE
13 years 11 months ago
2005
IEEE
DLS
2009
13 years 3 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
IRI
2008
IEEE
13 years 12 months ago
2008
IEEE
Linking components with end-user requests for processing is problematic when there are fundamental language differences between component specifications and how individual users s...
EDOC
2002
IEEE
13 years 10 months ago
2002
IEEE
This paper addresses the problem of transforming natural language descriptions of contracts into a form that is suitable for automating various contract management functions. We i...