一种多视角的需求定义及其一致性验证方法

文中针对ＮＤＲＡＳＳ系统的需要，首先讨论了它的多视角的需求定义．然后重点讨论了这个多视角的需求定义的一致性问题，包括数据流图、实体关系图、控制流图之间的一致性关系，以及它们与数据字典、关系字典、操作字典之间的一致性关系．并在此基础上，讨论了相应的自动验证与实现技术．

基于语法制导的人机界面设计方法

文中结合类字典管理子系统ＣＤＭＳＳ的人机界面设计，提出了基于语法制导的人机界面设计方法。

Z状态空间和操作定义的自动生成技术

从软件需求定义到形式功能规约的自动转换是需求工程的重要问题之一．文中以软件需求定义语言ＮＤＲＤＬ和形式功能规约语言Ｚ为基础，探讨了其间的自动转换技术，特别是从ＮＤＲＤＬ需求定义自动获取Ｚ形式规约中状态空间与操作定义的技术．

数字保存项目的投资时机研究

数字保存项目的投资存在着众多可以延迟的因素,不同时机投资获取的效益可能很不一样,因此寻求最佳投资时机是项目的一个重要决策。在假设投资和预期收益都遵从几何布朗运动模型的前提下,本文建立了数字保存项目投资机会价值模型,分析了投资机会收益率,探讨了影响投资机会选择的重要参数,并结合具体实例计算了投资机会价值和最佳投资规则,得出了投资时机选择对数字保存项目价值具有重大影响的结论。