Formal methods for verification of websites macrostructure integrity

DOI10.1007/BF02759467MaRDI QIDQ5960680zbMATH OpenOpenAlexFDO

Authors M. R. Kogalovsky, T. A. Rybina, V. B. Brakhin, E. N. Efimova

Publication date 8 February 2004

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02759467

zbMATH Keywords

macrostructure of websitesXML technologies

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 5812886
• Hyperlinks analysis of dynamic web applications
• Model checking the World Wide Web
• Specification and verification of data-driven Web applications
• Wrapper verification

Cited in

(3)

• scientific article; zbMATH DE number 5812886 (Why is no real title available?)
• Hyperlinks analysis of dynamic web applications
• Verifying the consistency of web-based technical documentations

This page was built for publication: Formal methods for verification of websites macrostructure integrity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5960680)