ML for the working programmer (2nd ed.)
ML for the working programmer (2nd ed.)
A first course in database systems
A first course in database systems
Database techniques for the World-Wide Web: a survey
ACM SIGMOD Record
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
Static validation of dynamically generated HTML
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Dynamically generating web application fragments from page templates
Proceedings of the 2002 ACM symposium on Applied computing
A framework for automatic generation of web-based data entry applications based on XML
Proceedings of the 2002 ACM symposium on Applied computing
ACM Transactions on Internet Technology (TOIT)
The Definition of Standard ML
Introduction to Programming Using Sml
Introduction to Programming Using Sml
PowerForms: Declarative client-side form field validation
World Wide Web
Guest Editors' Introduction: Web Engineering— An Introduction
IEEE MultiMedia
Engineering Web Applications for Reuse
IEEE MultiMedia
Experiences in Engineering Flexible Web Services
IEEE MultiMedia
Understanding and Restructuring Web Sites with ReWeb
IEEE MultiMedia
Web Programming with SMLserver
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
The RAISE Specification Langiage: A Tutorial
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
| Hi-index | 0.00 |
The amount of web-based systems is growing rapidly and the complexity of the developed systems is increasing as well, and in the literature one speaks about a web crises.Many web-based systems have a structure where users via a browser can perform operations on a database. We show that major parts of the software of such applications can be generated and verified from specifications of the functional requirements and specifications of the navigation.In particular, we show how to generate a modular software architecture, which is type safe in the sense that it enforces that functions throughout the application are applied to arguments of the correct type, and navigation safe taking e.g. into account consistency among user groups, functions and reachable web pages, and type consistency of web pages wrt. to functions on links.A default implementation of the functional requirements is generated allowing e.g. the navigation to be validated at an early stage of the development.A full implementation is obtained from the generated software architecture by implementing the functional requirements only, and this is done using a strongly-typed language.