杂谈
文章平均质量分 51
mindhawk
这个作者很懒,什么都没留下…
展开
-
意外发现:网易的 Blog 是用 dwr 做的
有好长一段时间没有上来写blog了。主要是忙于为Tapestry4.0写一个远程方法调用的扩展。目的就是希望能够 为javascript提供一种简捷方便的访问服务器的异步访问方法。类似于java 的 RMI,.NET 的 remoting。不同的是底层是采用的是AJAX技术,另外还需要涉及到不同语言(java 和 javascript)之间的对象、数据的转换。目前已经有一个比较稳定的版本,过一段时原创 2007-01-18 12:35:00 · 927 阅读 · 0 评论 -
REST介绍
REST架构风格是全新的针对Web应用的开发风格,是当今世界最成功的互联网超媒体分布式系统架构,它使得人们真正理解了Http协议本来面貌。随着REST架构成为主流技术,一种全新的互联网网络应用开发的思维方式开始流行。 REST是什么 REST是英文Representational State Transfer的缩写,中文翻译为“表述性状态转移”,他是由Roy Thom转载 2007-11-15 15:55:00 · 4735 阅读 · 4 评论 -
形式化方法
1 形式化方法的发展 软件形式化方法最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究,即J.Backus提出BNF描述Algol60语言的语法,出现了各种语法分析程序自动生成器以及语法制导的编译方法,使得编译系统的开发从“手工艺制作方式”发展成具有牢固理论基础的系统方法。形式化方法的研究高潮始于20 世纪60年代后期,针对当时所谓“软件危机”,人们提出种种解决方法,归纳起转载 2008-07-13 00:11:00 · 2045 阅读 · 0 评论