初论智能建筑的建设

本文对智能建筑的概念与内涵、发展历史、及其组成要素进行了较为深入的分析与讨论；从智能建筑建设全过程的角度出发，提出了智能建筑生命周期的概念。

智能建筑之探索

本文讨论了关于智能建筑的概念、设计、集成等一些问题。

简论MIS开发中方法学的运用

文章讨论了 MIS 开发中常用的两种方法学,即传统的生命周期方法学及原型建造方法学的优缺点。

支持MIS开发的自动工具

本文从计算机专业人员的角度讨论了 MIS 开发各阶段所使用的各种自动工具。基本的看法是:建立能支持开发全过程的既包罗万象又高度集成化的划一工具环境是困难的,现实的解决办法是以类似工具箱的形式为开发人员提供各种工具,使他们能在方法学的指导下组合剪裁这些工具,形成适合自己需要的工具系统,以完成 MIS 开发的各项任务.

维也纳方法简论

维也纳开发方法(VDM)就是在维也纳学派的标志语义、证明逻辑等理论研究基础上形成的切实可行的软件开发方法.本文从实际应用的角度讨论了VDM如何处理程序开发过程的形式化方面:怎样从系统的高度形式化的规范说明按步就班地开发出高级语言程序.同时还讨论了建立软件开发环境以实践VDM的方法.

微型机家族的新秀—Next

一、九十年代的新颖计算机去年,以计算界的奇才怪杰 Steve Jobs 为首的 Next 公司推出一种风格崭新的微机:Next。该机甫一问世,便引起广泛兴趣,在学术教育界中更是倍受青睐,获得了“九十年代的计算机”、“里程碑式的计算机”等美誉。

结构编辑技术简论

结构编辑技术产生于70年代。近10年来,此领域的研究十分活跃。许多系统被建立起来并投入实用。本文简要讨论了近年来结构编辑系统的发展。