Home
Schedule
Abstract Template
Masters Attendance
Developing Of AWeb Cube Prototype

Stc
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
-->