AnWeb: a system for automatic support to web application verification
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Web-Application Development Using the Model/View/Controller Design Pattern
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Extending Java for high-level Web service construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Integrated laboratory network management system
AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
Visual programming for web applications that use HTML frame facilities
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Rich component generation for web applications using custom tags
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Customizable verifiers for web applications and their implementation
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Requirements-Driven Verification of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
WAVer: A Model Checking-based Tool to Verify Web Application Design
Electronic Notes in Theoretical Computer Science (ENTCS)
Visual design and programming for Web applications
Journal of Visual Languages and Computing
Combinatorial optimization: mutual relations among graph algorithms
WSEAS Transactions on Mathematics
Hi-index | 0.00 |
In order to develop Web applications of high quality, it is important to apply efficient frameworks to standardize the process of development in projects, or apply useful design patterns to produce the program code that can easily be enhanced. However, it is not enough. In addition to these efforts, we have to check the programs to see whether they keep various kinds of rules such as verification items for security which are common for all kinds of Web applications, and verification items for coding styles or code conventions which are pertain to each project. This paper proposes a verification method for the syntax-oriented verifier, and describes the implementation of its prototype system, SyntaxVerifier. SyntaxVerifier makes it possible to detect syntactical objects based on their syntactic contexts. It realizes a recursive verification which makes it easy to dynamically trace a syntax tree in a verification process itself.