close
Warning:
Can't synchronize with repository "(default)" (Unsupported version control system "svn": No module named svn). Look in the Trac log for more information.
- Timestamp:
-
01/10/2011 04:49:02 PM (10 years ago)
- Author:
-
malte.appeltauer
- Comment:
-
--
Legend:
- Unmodified
- Added
- Removed
- Modified
-
v15
|
v16
|
|
18 | 18 | ContextPy provides DCL for fine-grained and flexible contract management and extends DBC by a grouping mechanism for contracts, thread-local activation and deactivation of such groups, and selective contract enforcement at run-time. |
19 | 19 | |
20 | | PyDCL, our proof-of-concept implementation of DCL, is built onto of ContextPy |
| 20 | !PyDCL, our proof-of-concept implementation of DCL, is built onto of !ContextPy. |
21 | 21 | |
22 | | For more information, please see our [wiki:JCopPublications#ContextPy publications] related to the ContextPy project or contact us: |
| 22 | For more information, please see our [wiki:JCopPublications#ContextPy publications] related to the !ContextPy project or contact us: |
23 | 23 | * [https://www.hpi.uni-potsdam.de/hirschfeld/people/perscheid/index.html Michael Perscheid] |
24 | 24 | * [https://www.hpi.uni-potsdam.de/hirschfeld/people/hirschfeld/index.html Robert Hirschfeld] |