Article ID Journal Published Year Pages File Type
9656039 Electronic Notes in Theoretical Computer Science 2005 12 Pages PDF
Abstract
We have implemented key parts of a prototype tool for translating OCL assertions to implementation assertions. We illustrate the approach by applying the prototype tool to an example, contrast it with other current proposals which rely more on run-time interpretation, and discuss some issues in design assertion propagation.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
Toward Translating Design Constraints to Run-Time Assertions
Authors
, ,