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$\ddot $oglich 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$\ddot $uhrt werden k$\ddot $onnen. 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 03.11.2010 15:09:10