Static consistency checking of web applications with WebDSL

机译：使用WebDSL的Web应用程序的静态一致性检查

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Hemel Zef; Groenewegen Danny M.; Kats Lennart C.L.; Visser Eelco;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Static consistency checking of web applications with WebDSL [J] . Zef Hemel, Danny M. Groenewegen, Lennart C.L Kats, Journal of symbolic computation . 2011,第2期

机译：使用WebDSL的Web应用程序的静态一致性检查
2. Static consistency checking for Verilog wire interconnects Using dependent types to check the sanity of Verilog descriptions [J] . Cherif Salama, Gregory Malecha, Walid Taha, Higher-order and symbolic computation . 2011,第1a2期

机译：Verilog导线互连的静态一致性检查使用相关类型检查Verilog描述的完整性
3. Formal techniques for consistency checking of orchestrations of semantic Web services [J] . Hammal Youcef, Mansour Khadidja Salah, Abdelli Abdelkrim, Journal of computational science . 2020,第Jula期

机译：正式技术，用于编码Web服务编排的一致性检查
4. A state propagation method for consistency checking of web service function invocations in web applications [C] . Tomohiro Kaizu, Tomoya Noro, Takehiro Tokuda, International conference on Web engineering . 2006

机译：一种用于在Web应用程序中对Web服务功能调用进行一致性检查的状态传播方法
5. Model checking techniques for vulnerability analysis of Web applications [D] . Ruse, Michelle Elaine 2013

机译：用于Web应用程序漏洞分析的模型检查技术
6. Supporting secure programming in web applications through interactive static analysis [O] . Jun Zhu, Jing Xie, Heather Richter Lipford, 2014

机译：通过交互式静态分析支持Web应用程序中的安全编程
7. Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study [O] . Rioux Frédéric, Chalin Patrice 2006

机译：通过扩展静态检查提高基于Web的企业应用程序的质量：一个案例研究

Static consistency checking of web applications with WebDSL

著录项

引文网络

相似文献

相关主题

期刊订阅