You are here:
(02 Sep 2010,
Date: 2006-10-26 Time: 11:45 Room: BBL room 471 ----+++ Speaker: [[http://www.cs.uu.nl/wiki/WP][Wishnu Prasetya]] ----+++ Title: Web Cube: 2nd Prototype and the Theory Behind ----+++ Abstract Web Cube is a programming model for writing web applications. We will show you its second prototype, which has a quite different architecture than the first one presented in the summer. One of its interesting features is automated and isolated testing, as well as contract-contract verification. However to get it right you need to do something extra, in particular because parallel composition of programs tend to destroy properties, e.g. properties concerning security. We'll show you the trick, and the bits of formality needed to express it. [ [[https://svn.cs.uu.nl:12443/repos/wpprojects/UNITY/cube/presentations/STcolOct06/webcube2_SToct06.pdf][slides]] ] <!-- * Set PREV_SKIN = customtitle * Set CUSTOMTOPICTITLE = Web Cube: 2nd Prototype and the Theory Behind * Set CUSTOMHEADTITLE = Stc / Web Cube: 2nd Prototype and the Theory Behind --> -- [[http://www.cs.uu.nl/wiki/WP][Wishnu Prasetya]] - 04 Oct 2006
ore topic actions
Topic revision: r5 - 02 Sep 2010,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?