基于环境的多形态时间需求建模方法; 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). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论