A Rule-based System for Web site Verification

Electronic Notes in Theoretical Computer Science

Volumn 157, Issue 2 SPEC. ISS., 2006, Pages 11-17

  Ballis, D ^a   Garcia Vivo J ^b  

^a UNIVERSITY OF UDINE   (Italy)

^b UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Formal Methods; Rewriting; Web site Verification

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; GRAPHICAL USER INTERFACES; SEMANTICS;

FORMAL METHODS; REWRITING; WEB SITE VERIFICATION;

WEBSITES;

EID: 33646351284     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.041     Document Type: Article

References (9)

1. M. Alpuente, D. Ballis, and M. Falaschi. Automated Verification of Web Sites Using Partial Rewriting. In 1st Int'l Symposium on Leveraging Applications of Formal Methods (ISoLA'04), pages 81-88, 2004
2. Alpuente M., Ballis D., and Falaschi M. VERDI: An Automated Tool for Web Sites Verification. In: Alferes J.J., and Leite J. (Eds). Proc. of the 9th European Conference on Logics in Artificial Intelligence. (JELIA'04). Springer LNCS 3229 (2004) 726-729
3. Capra L., Emmerich W., Finkelstein A., and Nentwich C. xlinkit: a Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology 2 2 (2002) 151-185
4. Foster H., Uchitel S., Magee J., and Kramer J. Model-based Verification of Web Service Compositions. Proc. of 18th IEEE International Conference on Automated Software Engineering. (ASE'03) (2003), IEEE Computer Society 152-163
5. Graunke P.T., Findler R.B., Krishnamurthi S., and Felleisen M. Modeling Web Interactions. Proc. of 12th European Symposium on Programming. (ESOP'03). Lecture Notes in Computer Science volume 2618 (2003), Springer 238-252
6. Inverardi P., and Scriboni S. Connectors Synthesis for Deadlock-Free Component-Based Architectures. Proc. of 16th IEEE International Conference on Automated Software Engineering. (ASE'01) (2001), IEEE Computer Society 174-181
7. N. Kaveh and W. Emmerich. Deadlock Detection in Distribution Object Systems. In ESEC / SIGSOFT FSE 2001, pages 44-51, 2001. ISSN: 0163-5948
8. Kaveh N., and Emmerich W. Validating Distributed object and Component Designs. Formal Methods for Software Architecture. Springer LNCS 2408 (2003) 63-91
9. Klop J.W. Term Rewriting Systems. In: Abramsky S., Gabbay D., and Maibaum T. (Eds). Handbook of Logic in Computer Science, volume I (1992), Oxford University Press 1-112