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


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

--

Legend:

Unmodified
Added
Removed
Modified
  • ContextPy

    v6 v7  
    22
    33== About ==
     4{{{
     5#!div class="wiki_infotable" style="float:right;"
     6||'''Environment'''|| ||
     7|| [[Image(media/icons/silk:application_home.png, title="Recommended Python Version", nolink, right)]] || Python 2.6 ||
     8||'''Downloads'''|| ||
     9|| [[Image(media/icons/silk:disk.png, title="downloads", nolink, right)]] || [https://www.hpi.uni-potsdam.de/hirschfeld/svn/cop/JCopProject/src/JCop/versions/jcop/ latest version] ||
     10|| [[Image(media/icons/silk:disk.png, title="samples", nolink, right)]] || [https://www.hpi.uni-potsdam.de/hirschfeld/svn/cop/JCopProject/src/JCopSampleProgramms sample programs   ]    ||
     11|| [[Image(media/icons/silk:disk.png, title="CJEdit", nolink, right)]] || [https://www.hpi.uni-potsdam.de/hirschfeld/svn/cop/JCopProject/src/CJEDit CJEdit sources] [wiki:JCopCJEdit what's CJEdit] ||
     12}}}
     13
     14
    415ContextPy, our context-oriented extension to the [http://www.python.org/ Python] language, provides a COP-based approach to ''design by contract'' (DBC).
    516DBC 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