Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Ausgezeichnete Informatikdissertationen 2006 D-7, 89-98 (2006).

Gesellschaft fuer Informatik, Bonn
2006


Editors

Dorothea Wagner (ed.)


Copyright © Gesellschaft fuer Informatik, Bonn

Contents

Functional Web Site Specification

Torsten Gipp

Abstract


Websites sind komplexe Software-Artefake, deren Erstellung und Pflege ohne ein wichtiges Hilfsmittel nicht mehr möglich ist: Abstraktionen, Modelle. Der vorliegende Text beschreibt einen Ansatz, nach dem ein großer Teil der Modelle als funktionale Programme erstellt werden. Hierdurch werden die Modelle zu ausdrucksstarken Spezifikationen, die sogar direkt ausgeführt werden können. Zur Implementierung verwenden wir die weit verbreitete funktionale Programmiersprache Haskell.


Full Text: PDF

Gesellschaft fuer Informatik, Bonn
ISBN 978-3-88579-411-0


Last changed 12.06.2012 13:43:44