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
