位置：成果数据库 > 期刊 > 期刊详情页
Capturing SoftwareRequirements From the Expected Interactions Between the Software and itsEnvironmen
  • ISSN号：0218-1940
  • 期刊名称：International Journal of Software Engineering and
  • 时间：0
  • 页码：-
  • 相关项目：基于环境的信息物理系统时空需求建模方法研究
作者： Xiaohong Chen|Zhi Jin|
同期刊论文项目
基于环境的信息物理系统时空需求建模方法研究
期刊论文 14 会议论文 10
同项目期刊论文
信息物理融合系统的时间需求一致性分析
基于形式化测试的实时系统变更后安全性验证
面向安全攸关系统中小概率事件的统计模型检测
基于问题框架方法的需求建模：一个本体制导的方法
基于环境的多形态时间需求建模方法
不确定环境下智能大厦空调系统调度策略评估
信息物理融合系统的时间求致性分析
基于STeC-Stateflow转换系统的实时系统仿真与验证方法