| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423033 | Electronic Notes in Theoretical Computer Science | 2010 | 22 Pages |
Abstract
The notion of contract was introduced to component-based software development in order to facilitate the semantically correct composition of components. We extend the form of this notion which is based on designs to capture probabilistic requirements on execution time. We show how reasoning about such requirements can be done in an infinite-interval-based system of probabilistic duration calculus.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
