@MASTERSTHESIS\{IMM2003-01951,
    author       = "T. B. Jensen and T. K. Tolstrup",
    title        = "Teoribaseret udvikling af p{\aa}lidelige webbaserede systemer",
    year         = "2003",
    keywords     = "webbaseret system, udviklingsmetode, v{\ae}rkt{\o}jsbaseret
udvikling, funktionssignaturer, database modellering,
navigationsdiagram, kodegenerering.",
    school       = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1951-full.html",
    abstract     = "Der findes allerede mange webbaserede systemer p{\aa} Internettet. P{\aa} trods af dette, eksisterer der ikke en udbredt metode til udvikling af webbaserede systemer, der kan hj{\ae}lpe en udvikler til at producere p{\aa}lidelige systemer, som det f.eks. er tilf{\ae}ldet ved konstruktion af overs{\ae}ttere. Med p{\aa}lidelige systemer, menes systemer der garanterer
browsersikre sider, navigationssikkerhed mv.

Vi giver en faseopdelt metode til konstruktion af p{\aa}lidelige webbaserede systemer, herunder udvikling af begrebsdannelser, teorier og v{\ae}rkt{\o}jer. Under projektet har vi blandt andet udviklet en m{\aa}de at formalisere brugerens interaktion med systemet. Der gives v{\ae}rkt{\o}jer
der tillader hurtig udvikling, vedligeholdelse og dokumentation af p{\aa}lidelige systemer. Metoden sikrer en st{\ae}rk opdeling af funktionalitet, navigation og layout der tillader separat test.

In English:
There are already many web based systems on the Internet. In spite of this there does not exist a widespread method for developing web based systems that will aid a developer create reliable systems, like it is the case e.g. for construction of compilers. By reliable systems is meant systems guaranteeing browsersafe pages, navigationsafety  etc.

We present a step by step method for construction of reliable web based systems, including development of concept, theories and tools. During this project we have among other developed a way of formalizing the user interactions with the system. There will be presented tools allowing a fast development, maintenance and documentation of reliable
systems. The method guarantee a strong separation of functionality, navigation and layout this allow separate testing."
}