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