|
关注：1
2013-05-23 12:21
求翻译：We present an approach for statically reasoning about the behavior of Web applications that are developed using Java Servlets and JSP. Specifically, we attack the problems of guaranteeing that all output is well-formed and valid XML and ensuring consistency of XHTML form fields and session state. Our approach builds on a是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
We present an approach for statically reasoning about the behavior of Web applications that are developed using Java Servlets and JSP. Specifically, we attack the problems of guaranteeing that all output is well-formed and valid XML and ensuring consistency of XHTML form fields and session state. Our approach builds on a
问题补充： |
|
2013-05-23 12:21:38
我们提出了一个方法来静态推理的Web应用程序使用Java Servlet和JSP开发的行为。
|
|
2013-05-23 12:23:18
我们以一个为静态方法推理的行为有关的Web应用程序开发过程中使用Java Servlet和JSP。 specifically,我们攻击的问题,保证所有输出格式及有效的XML和确保一致性田间的XHTML形式和会话状态。 我们的方法是建立在一个集合的程序分析技术的早期开发,jwig和xact项目,再加上工作的均衡方面的自由创作。
|
|
2013-05-23 12:24:58
我们提出一种方法为静态辩解关于的Web应用程序行为使用Java Servlets和JSP被开发。 Specifically，我们攻击保证的问题所有产品是合格和合法的XML和XHTML形式fields和会议状态保证一贯性。 我们的方法修造在程序分析技术的一件收藏品及早在JWIG和Xact项目开发了，结合与在平衡的上下文无关文法的工作。 一起，这提供必要的基础关于辩解关于输出流和应用控制flow。
|
|
2013-05-23 12:26:38
正在翻译，请等待...
|
|
2013-05-23 12:28:18
正在翻译，请等待...
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
