搜索结果: 1-5 共查到“计算机软件 Verification”相关记录5条 . 查询时间(0.093 秒)
2017 IEEE国际自动化软件系统验证与确认研讨会（IEEE International Workshop on Verification and Validation of Adaptive Software Systems）
2017 IEEE 国际自动化软件系统 验证 确认 研讨会
2017/6/23
The complexity of software and software-enabled systems and the need to reduce and master this complexity has led the software quality community to look for inspiration in diverse fields such as robot...
2017IEEE国际自动化软件系统验证与确认研讨会（IEEE International Workshop on Verification and Validation of Adaptive Software Systems）
2017年 自动化软件系统验证与确认 研讨会
2017/6/21
The complexity of software and software-enabled systems and the need to reduce and master this complexity has led the software quality community to look for inspiration in diverse fields such as robot...
IEEE2017国际大数据应用质量保证和验证研讨会（IEEE International Workshop on Quality assurance and verification for big data applications）
国际大数据应用质量保证和验证 研讨会
2017/3/27
A smart city integrates information and communication technologies, as well as Internet of Things (IoT) solutions to reduce costs and resource consumption, enhance performance, and connect and engage ...
FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram
Function Block Diagram Formal Verification Counter-example Visualization Verilog Translation Programmable Logic Controller Model Checking
2014/3/11
Model checking is often applied to verify safety-critical software implemented in programmable logic controller (PLC) language such as a function block diagram (FBD). Counter-examples generated by a m...
Empirical Evaluation and Review of a Metrics–Based Approach for Use Case Verification
Empirical Evaluation Review of a Metrics–Based Approach Case Verification
2014/3/12
In this article, an empirical evaluation and review of some metrics–based verification heuristics for use cases are presented. This evaluation is based on empirical data collected from requirements do...