{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T23:55:35Z","timestamp":1649116535457},"reference-count":8,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2010,3]]},"abstract":"<jats:p> 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. 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 pertain to each project. This paper proposes a verification method for an extensible 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 context-dependent recursive verification which makes it easy to dynamically trace a syntax tree in a verification process itself. <\/jats:p>","DOI":"10.1142\/s0218194010004700","type":"journal-article","created":{"date-parts":[[2010,6,4]],"date-time":"2010-06-04T08:20:18Z","timestamp":1275639618000},"page":"233-251","source":"Crossref","is-referenced-by-count":0,"title":["EXTENSIBLE SYNTAX-ORIENTED VERIFIER WITH CONTEXT-DEPENDENT RECURSIVE VERIFICATION"],"prefix":"10.1142","volume":"20","author":[{"given":"TAKAO","family":"SHIMOMURA","sequence":"first","affiliation":[{"name":"Department of Information Science and Intelligent Systems, University of Tokushima, 2-1 Minamijosanjima, Tokushima, 770-8506, Japan"}]},{"given":"QUAN LIANG","family":"CHEN","sequence":"additional","affiliation":[{"name":"Course of Information Science and Intelligent Systems, University of Tokushima, 2-1 Minamijosanjima, Tokushima, 770-8506, Japan"}]},{"given":"MUNEO","family":"TAKAHASHI","sequence":"additional","affiliation":[{"name":"Department of Control and System Engineering, Toin University of Yokohama, 1614 Kurogane-cho, Aoba-ku, Yokohama, 225-0025, Japan"}]}],"member":"219","published-online":{"date-parts":[[2012,4,30]]},"reference":[{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1145\/945885.945890"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2004.08.005"},{"key":"rf5","volume-title":"Design Patterns in Java","author":"Metsker S. J.","year":"2006"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.01.023"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.05.005"},{"key":"rf15","first-page":"1439","volume":"4","author":"Lang N. S.","journal-title":"WSEAS Transactions on Information Science & Applications"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1002\/spe.683"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200006)30:7<775::AID-SPE309>3.0.CO;2-H"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194010004700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T13:08:27Z","timestamp":1565183307000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194010004700"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":8,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2012,4,30]]},"published-print":{"date-parts":[[2010,3]]}},"alternative-id":["10.1142\/S0218194010004700"],"URL":"https:\/\/doi.org\/10.1142\/s0218194010004700","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3]]}}}