loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Ingrid van Coppenhagen 1 and Barry Dwolatzky 2

Affiliations: 1 School of Computing, University of South Africa (Florida Campus), South Africa ; 2 School of Electrical & Information Engineering, University of the Witwatersrand, South Africa

ISBN: 978-972-8865-46-7

Keyword(s): Implementation, interactive, refinement, specification, Web, XML, Z.

Related Ontology Subjects/Areas/Topics: Internet Technology ; Multimedia and User Interfaces ; Web Information Systems and Technologies ; Web Interfaces and Applications ; XML and Data Management

Abstract: This paper provides a small interactive Web example (the Car1 example) that illustrates parts of the software life cycle processes of specification, refinement and implementation in an object-oriented environment. Part of the software system is specified in Z, data- and operation refined and then implemented into HTML, XML, XSD and JavaScript. Short descriptions of the refinement processes comprising data refinement, operation refinement and operation decomposition are given. The main focuses of the study are to firstly investigate how effective (or not) a formal specification is for an interactive Web system, and secondly to illustrate a selection control structure in the refinement process.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.206.194.210

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
van Coppenhagen I.; Dwolatzky B. and (2006). FORMAL SPECIFICATION AND REFINEMENT FOR AN INTERACTIVE WEB EXAMPLE.In Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-972-8865-46-7, pages 89-96. DOI: 10.5220/0001237100890096

@conference{webist06,
author={Ingrid {van Coppenhagen} and Barry Dwolatzky},
title={FORMAL SPECIFICATION AND REFINEMENT FOR AN INTERACTIVE WEB EXAMPLE},
booktitle={Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},
year={2006},
pages={89-96},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001237100890096},
isbn={978-972-8865-46-7},
}

TY - CONF

JO - Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - FORMAL SPECIFICATION AND REFINEMENT FOR AN INTERACTIVE WEB EXAMPLE
SN - 978-972-8865-46-7
AU - van Coppenhagen, I.
AU - Dwolatzky, B.
PY - 2006
SP - 89
EP - 96
DO - 10.5220/0001237100890096

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.