Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9656044 | Electronic Notes in Theoretical Computer Science | 2005 | 12 Pages |
Abstract
In this paper, we propose to visualize contracts by graph transformation rules which blend well with a UML-based notion of data models and signatures. The operational interpretation of rules could turn out to be useful for simulating the behavior of required components in unit testing.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Reiko Heckel, Marc Lohmann,