软件工程
形式化方法
摘要: 我今年在《计算机科学》第11期的杂志上发表的一篇关于层次型软件的一些理论,当初在提与应用时并没有考虑把他放到很高的高度,只是想提出一种新的软件开发方式,如果不仔细研读文章诸位可能会认为不过时COM或其他组件技术的一个翻版。我也曾经收到过一些学生、老师、工程技术人员的来信。 现在比较忙,等闲下来了继续写完这篇文章 阅读全文
posted @ 2006-11-22 10:45 王友 阅读(131) 评论(0) 推荐(0)