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.

Changes between Version 15 and Version 16 of ContextPy


Ignore:
Timestamp:
01/10/2011 04:49:02 PM (9 years ago)
Author:
malte.appeltauer
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ContextPy

    v15 v16  
    1818ContextPy 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. 
    1919
    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.
    2121
    22 For more information, please see our [wiki:JCopPublications#ContextPy publications] related to the ContextPy project or contact us:
     22For more information, please see our [wiki:JCopPublications#ContextPy publications] related to the !ContextPy project or contact us:
    2323  * [https://www.hpi.uni-potsdam.de/hirschfeld/people/perscheid/index.html Michael Perscheid]
    2424  * [https://www.hpi.uni-potsdam.de/hirschfeld/people/hirschfeld/index.html Robert Hirschfeld]