基于环境的多形态时间需求建模方法

doi:10.3724/SP.J.1016.2013.00088

CORC > 北京大学 > 信息科学技术学院

	基于环境的多形态时间需求建模方法; Modeling Software Timing Requirements: An Environment Based Approach
	陈小红 ; 刘静
刊名	计算机学报
	2013
关键词	时间需求多形态时间基于环境建模嵌入式系统
DOI	10.3724/SP.J.1016.2013.00088
英文摘要	时间需求作为嵌入式系统的关键要素,其重要性越来越突出.但是目前的时间需求存在着多样的环境时间描述与单一的软件时间描述融合问题.文中在基于环境的功能性需求的基础上,提出基于环境的多形态时间需求建模方法,试图在需求层次上为该问题提供解决方案.文中构建了支持这个方法的多形态时间需求模型,在环境因素的基础上增加了多形态时间描述,并提出该需求模型制导的需求建模过程,帮助需求分析员在功能性需求的基础上建模时间需求.文中还给出了从多样的环境时间描述得到软件时间需求规约的步骤,指导需求分析人员抽取时间需求规约.; 国家自然科学青年基金; 国家自然科学重点基金; 国家"九七三"重点基础研究发展规划项目基金; 国家"八六三"高技术研究发展计划项目基金; 教育部博士点基金; 创新群体; 浙江师范大学计算机软件与理论省级重中之重学科开放基金; 中文核心期刊要目总览(PKU); 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 1; 88-103; 36
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/277268]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	陈小红,刘静. 基于环境的多形态时间需求建模方法, Modeling Software Timing Requirements: An Environment Based Approach[J]. 计算机学报,2013.
APA	陈小红,&刘静.(2013).基于环境的多形态时间需求建模方法.计算机学报.
MLA	陈小红,et al."基于环境的多形态时间需求建模方法".计算机学报 (2013).