Welcome to the InfoSci Platform
Verifying Web Site Properties Using Computational Logic

Verifying Web Site Properties Using Computational Logic

Joao Cavalcanti, David Robertson
Copyright: © 2003 |Pages: 18
ISBN13: 9781591400509|ISBN10: 1591400503|EISBN13: 9781591400943
DOI: 10.4018/978-1-59140-050-9.ch002
Cite Chapter Cite Chapter

MLA

Cavalcanti, Joao, and David Robertson. "Verifying Web Site Properties Using Computational Logic." Information Modeling for Internet Applications, edited by Patrick van Bommel, IGI Global, 2003, pp. 22-39. https://doi.org/10.4018/978-1-59140-050-9.ch002

APA

Cavalcanti, J. & Robertson, D. (2003). Verifying Web Site Properties Using Computational Logic. In P. Bommel (Ed.), Information Modeling for Internet Applications (pp. 22-39). IGI Global. https://doi.org/10.4018/978-1-59140-050-9.ch002

Chicago

Cavalcanti, Joao, and David Robertson. "Verifying Web Site Properties Using Computational Logic." In Information Modeling for Internet Applications, edited by Patrick van Bommel, 22-39. Hershey, PA: IGI Global, 2003. https://doi.org/10.4018/978-1-59140-050-9.ch002

Export Reference

Mendeley
Favorite

Abstract

The continuing increase in size and complexity of Web sites has turned their design and construction into a challenging problem. Systematic approaches can bring many benefits to Web site construction, making development more methodical and maintenance less time consuming. Computational logic can be successfully used to tackle this problem, as it supports declarative specifications and reasoning about specifications in a more natural way. Computational logic also offers metaprogramming capabilities that can be used to develop methods for automated Web site synthesis. This chapter presents an approach to Web site synthesis based on computational logic and discusses in more detail two important features of the proposed approach: the support for property checking and integrity constraint specification and verification.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.