面向软件行为的需求模型及特性检测

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：stoneinhigh

【摘要】

：

软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行

【作者】

：

吴怀广毋国庆陈曙万黎

【机构】

：

武汉大学计算机学院

【出处】

：

计算机研究与发展

【发表日期】

：

2011年5期

【关键词】

：

软件行为需求模型系统特性逻辑刻画特性检测 software behavior requirements model properties of sy

【基金项目】

：

国家“八六三”高技术研究发展计划基金项目（2007AA01Z185）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行为的需求模型描述语言BDL（behavior description language）,定义了它的语法、语义;讨论了CCS（calculus of communication system）与BDL的转换关系,构造了BDL到CCS的转换函数M〖-〗;给出了需求模型的系统一致性、系统安全性、行为可信性及行为非终止性等4种系统特性的时序逻辑描述;最

其他文献

对A军区10所医院后勤保障投入中的间接效益分析

目的对10所不同等级医院进行后勤保障系统投入与收益对比调查，得出前5年与后5年投入比例与产生效益的相同与不同点，为院长决策提供科学数据。方法选定三组甲等医院3所，三级乙

期刊

军队医院后勤保障间接效益医院管理调查投入比例

延长轴承使用寿命的探索

在轴承使用过程中,正确适量地对轴承润滑,防止润滑剂污染轴承,排除诱发轴承故障因素,加强维护人员培训工作,可延长轴承的使用寿命.

期刊

润滑防污染排故障培训lubrication avoid pollution getting rid of trouble training

友宝二井14层煤建筑物下条带开采法采留宽度尺寸的确定

期刊

建筑物下采煤条带开采法采留密度尺寸

Current state and clinical outcome in Turkish patients with hepatocellular carcinoma

AIM To investigate clinical,etiological,and prognostic features in patients with hepatocellular carcinoma.METHODS Patients with hepatocellular carcinoma who wer

期刊

HEPATOCELLULARcarcinomaCIRRHOSISAlfafetoproteinPROGNOSISTreatmentSURVIVAL

优先叙事——解读卜哈拉蒂·穆克基的小说《好女儿》(英文)

宽带网络环境下,何种故事才具有真正的适应性呢?地球村的村民们应该如何选择自己的优先叙事呢?巴拉蒂·穆克吉的小说《好女儿》描述了一家三姐妹在面临美国和印度迥异的

期刊

巴拉蒂·穆克吉《好女儿》优先叙事全球化家庭题材Bharati MukherjeDesirable Daughterspriority

Regulation of hepatic micro RNA expression by hepatocyte nuclear factor 4 alpha

AIM To uncover the role of hepatocyte nuclear factor 4 alpha(HNF4α) in regulating hepatic expression of micro RNAs.METHODS Microarray and real-time PCR were us

期刊