论文部分内容阅读
需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型，用来将软件需求分析直接、自动地转换为形式化描述，为需求验证提供帮助，避免软件在需求规范上可能产生的错误。
软件需求的形式化转换模型
【摘 要】
：
需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型，用来将软件需求分析直接、自动地转换为形式化描述，为需求验证提供帮助，避免软件在需求规范上可
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
计算机工程
【发表日期】
：
2007年5期
其他文献
分析步速对人体下肢关节运动特性的影响,为外骨骼等仿生机械的步态控制提供参考。通过三维运动捕捉实验及人体下肢运动分析模型,获得了不同步速(3、4、5、6km/h),人体下肢关
询问笔录是行政执法中常见的一种证据材料。当前,行政机关在行政执法中存在着较为严重的询问笔录依赖。行政执法机关在获取此类询问笔录的过程中经常存在违法行为。对于行政
在线性和非线性问题的研究中,常需要构造一个基,使线性算子T在此基下的矩阵表示为约当标准型.本文介绍了构造这种基的一个方法,我们从T的每个特征向量开始,通过求解一系列线
需求是软件项目的基础，如何把握用户需求，是项目成功与否的关键。一个灵活的软件需求分析技术，可以帮助开发人员准确获取用户需求。用例建模是面向对象软件开发技术的重要组成内
目的:观察解毒祛瘀滋阴药治疗系统性红斑狼疮对其性激素水平的调节作用.方法:53例女性SLE患者随机分为2组,西药组以糖皮质激素治疗,中西结合组并用解毒祛瘀滋阴中药治疗,另选
目的探讨间接荧光抗体实验(IFAT),疟原虫镜检和疟史访问结果在流行病学和统计学上的联系.方法访问对象,调查上年疟史,同时进行疟原虫镜检和血清学实验.结果敏感性和特异性分
以聚丙烯接枝马来酸酐（PP-g-MAH）为增容剂,共混聚丙烯（PP）与乙烯-乙烯醇（EVOH）制备可润湿性PP。用扫描电镜（SEM）、动态粘弹谱仪（DMA）和差示扫描量热仪（DSC）分析了EVOH/PP共混物的形态结构
通过等温吸附、动力学吸附和热力学吸附模拟试验对我国东部河网地区稻田土壤与河道底泥对P的吸附特性进行了比较研究。结果表明：Langmuir方程对稻田土壤与河道底泥对P的等温吸
本文首先分析了两点式概率数据关联算法,在此基础上将其与交互式多模型算法结合起来提出了一种用于跟踪多机动目标的新算法.由于充分利用了两点式数据关联算法在关联精度和计