91 search results - page 3 / 19 » Runtime Validation of Behavioural Contracts for Component So... |
DLS
2009
13 years 4 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 ...
SEFM
2007
IEEE
14 years 12 days ago
2007
IEEE
Reuse of software entities such as components or web services raise composition issues since, most of the time, they present mismatching behavioural interfaces. Here, we particula...
TSE
2012
11 years 8 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
ISORC
1999
IEEE
13 years 10 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
ASWEC
2006
IEEE
14 years 6 days ago
2006
IEEE
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...