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 4 and Version 5 of ContextPy


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

--

Legend:

Unmodified
Added
Removed
Modified
  • ContextPy

    v4 v5  
    11= ContextPy =
    22
    3 == Overview ==
     3== About ==
    44ContextPy, our context-oriented extension to the [http://www.python.org/ Python] language, provides a COP-based approach to ''design by contract'' (DBC).
    55DBC is a programming technique to separate contract enforcement from application code. DBC provides information about the applicability of methods and helps  to  narrow  down  the  search  space  in  case  of  a  software failure.   However,  most DBC implementations suffer from inflexibility:  Contract enforcement can only be activated or deactivated at compile-time or start-up, contracts are checked globally and cannot be restricted in their scope such as to the current thread of execution,  and contracts
     
    99
    1010PyDCL, our proof-of-concept implementation of DCL, is built onto of ContextPy
     11
     12For more information, please see our [wiki:JCopPublications publications#ContextPy] related to the ContextPy project or contact us:
     13  * Christian Schubert (christian.schubert@hpi.uni-potsdam.de)
     14  * [https://www.hpi.uni-potsdam.de/hirschfeld/people/appeltauer/index.html Michael Perscheid]
     15  * [https://www.hpi.uni-potsdam.de/hirschfeld/people/hirschfeld/index.html Robert Hirschfeld]
    1116
    1217