You are here:
(02 Sep 2010,
Date: 2006-08-31 Time: 11:00 Room: BBL room 509 ----+++ Speaker: Ivaylo Gochkov ----+++ Title: Development of a Web Cube prototype (master's thesis defense) ----+++ Abstract Web Cube is a server-side abstract and formal programming model for writing web applications. It allows temporal properties critical for the safety of an application to be specified. This thesis describes a prototype implementation of Web Cube. It is implemented in the functional language Haskell. The chosen implementation approach is to translate Web Cube source and specifications to Haskell's component skeletons and WebFunctions code. An engine supporting automated testing of Web Cube specifications is also provided <!-- * Set PREV_SKIN = customtitle * Set CUSTOMTOPICTITLE = Development of a Web Cube prototype * Set CUSTOMHEADTITLE = Stc / Development of a Web Cube prototype -->
ore topic actions
Topic revision: r3 - 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?