Skip to main content
Article thumbnail
Location of Repository

Dynamic User Management System for web sites

By Fenkam Pascal Christian, Iicm Ordinariat Fur Softwaretechnologie, Infosys--abteilung Fur Verteilte Systeme, Begutachter O. Univ. Prof and Dipl. -ing Peter Lucas


With the growing quantity of information around the world, besides the software development community, many other fields are interested in finding solutions for efficient information management. In this thesis, the problem of efficient information management is shown to be related to efficient user management. A dynamic user management system for web sites was developed. Though the problem may sound simple, the approach used to solve the problem shows the complexity of such task. Formal methods were used to specify the requirements of a Dynamic User Management System. The VDM specification language was chosen for this purpose. Validating the specification was done by executing the VDM-SL specification from the Java virtual machine; oracle testing was done based on the same approach. Finally a proposal was made for an implementation of the approach on an operating system. In the development of this module, a number of recently proposed technologies (like CORBA based visual validation..

Topics: Die Validierung der Spezifikation erfolgte durch Ausfuhrung der VDM-SL Spezifikation
Year: 2000
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.