谭力
- 作品数：2 被引量：49H指数：1
- 供职机构：华东师范大学信息科学技术学院计算机科学技术系更多>>
- 发文基金：国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于情态演算的UML形式化验证与OCL约束自动生成研究
- 从软件工程中软件生命周期的角度分析,软件架构是软件的核心结构与行为,因而软件架构的设计是软件设计的核心,也是随后进行代码开发的基础。因此软件架构设计的重要性不言而喻。由于软件架构设计本身是一种建模活动,如何对软件架构设计...
- 谭力
- 关键词：形式化验证软件工程软件生命周期统一建模语言
- 文献传递
- Ajax技术的数据响应优化被引量：49
- 2010年
- 对Ajax工作原理和数据传输性能进行分析,从响应数据的返回格式角度入手,通过实验,对比2种数据格式XML和JSON的差异与优劣,基于实际应用场景,给出权衡取舍的建议,总结出效率和安全性更高的Ajax模型,改善了目前Ajax带来的数据响应冗余的缺陷。
- 谭力杨宗源谢瑾奎
- 关键词：AJAX技术
