位置：成果数据库 > 会议 > 会议详情页
Deriving Requirements Specification With Time: A Software Environment Ontology based Approach
  • 所属机构名称：华东师范大学
  • 会议名称：the 37th Annual International Computer Software & Applications Conference(COMPSAC)
  • 时间：2013.7.22
  • 成果类型：会议
  • 相关项目：基于环境的信息物理系统时空需求建模方法研究
同会议论文项目
基于环境的信息物理系统时空需求建模方法研究
期刊论文 14 会议论文 10
同项目会议论文
TimePF: A Tool for Modeling and Verifying Timing Requirements based on Problem Frames
Specifying Cyber-Physical System Safety Properties with Metric Temporal-Spatial Logic
Decomposing Automatic Train Control Verification System with Projection
Improving Testing Coverage for Safety-critical System by Mutated Speci？cation
Towardsa Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs
Problem Frames Construction from Feature Models
Evaluating Energy Consumption for Cyber-Physical Energy System: an Environment Ontology-Based Approa
An approach to communicating process modeling of MARTE
Deriving Requirements Specification With Time: A Software Environment Ontology based Approach