论文部分内容阅读
从软件需求定义到形式功能堆约的自动转换是需求工程的重要问题之一。文中以软件需求定义语言ＮＤＲＤＬ和形式功能规给语言Ｚ为基础，探讨了基间的自动转换技术，特别是从ＮＤＲＤＬ需求定义自动获取Ｚ形式规约中状态空间与操作定义的技术。
Z状态空间和操作定义的自动生成技术
【摘 要】
：
从软件需求定义到形式功能堆约的自动转换是需求工程的重要问题之一。文中以软件需求定义语言ＮＤＲＤＬ和形式功能规给语言Ｚ为基础，探讨了基间的自动转换技术，特别是从ＮＤＲＤＬ需求定义自动获取Ｚ形
【机 构】
：
南京大学计算机科学与技术系
【出 处】
：
计算机研究与发展
【发表日期】
：
1997年12期
【基金项目】
：
“863”高技术项目
其他文献
1 前言 在西德,目前进行越野滑雪运动的人数,不断增加,伴随参与人数的增加,运动损伤也随着增加;在尽可能多地收集到的文献资料中,只有很少的有关典型的越野滑雪损伤的发生频
本文根据ＭＡＰ协议中网络层的无连接传输方式服务协议和开放系统互连参考模型的安全体系结构，在网络层用一个安全子层来实现数据的安全传输。并给出了该安全子层的协议处理功能和协
一、短道速度滑冰的起源我们习惯地把短道速度滑冰称为"短跑道",这个项目的全称应该是室内短道速度滑冰.短跑道的故乡是北美洲.根据资料记载,早在1905年加拿大就举行了首届比
在计算机视觉领域，人体运动分析的的研究正因其广泛的应用前景而越来越受到研究 重视，对图像序列中的人体运动进行了跟踪是其中的关键技术。由于人体运动的特殊复杂性，已有的研
目的探讨整体护理在反流性食管炎护理中的应用效果。方法选取我院2015年1月至2016年1月进入到我院进行治疗的反流性食管炎患者120例,将120例患者随机分为实验组和对照组,各60
本文准备提出一种谓之按字节桶分配链接的新序方法，给出排序算法，流科和用Ｃ语言编写程序进行实验的结果。算法分析和实验结果都表明，该排序方法的时间复杂性Ｏ且与数据的分布情况，附
本文简述了图像代数以及它与数学形态神经网络的关系，并以此为基础建立了一个数学形态视觉感知机模型。论文同时展示了使用光电处理器阵列来实现人工数学形态视觉感知机。
文中介绍了９０年代高速网络性能评价领域中一个重大发现，即真实的网络业务具有自相似性。传统的基于Ｍａｒｋｏｖ模型的性能评价结果对自相似业务已不再适用，需要研制新的模型与工具。文中介绍
本文讨论一种从结构化源程序导出ＰＡＤ图的方法，该方法可用于程序理解和维护，以求有效地保持ＰＡＤ文档与结构化源程序之间的一致。