搜索结果: 1-6 共查到“software systems”相关记录6条 . 查询时间(0.078 秒)
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...
2017年环境软件系统国际研讨会（International Symposium on Environmental Software Systems 2017）
2017年 环境软件系统 研讨会
2017/3/30
ISESS brings together researchers dealing with environmental challenges and trying to provide solutions using forward-looking and leading-edge IT technology. The conference connects researchers and us...
第六届国际软件系统的负载测试和基准测试研讨会（The Sixth International Workshop on Load Testing and Benchmarking of Software Systems ）
国际软件系统 负载测试 基准测试 研讨会
2017/2/15
Software systems (e.g., smartphone apps, desktop applications, e-commerce systems, IoT infrastructures, big data systems, and enterprise systems, etc.) have strict requirements on software performance...
Survey of Approaches for Security Verification of Hardware/Software Systems
formal methods theorem provers model checkers
2016/12/10
Variety of computing systems have been proposed to provide protection for sensitive code or data through hardware or software mechanisms. This paper surveys the landscape of security verification appr...
Evolution Analysis of Large-Scale Software Systems Using Design Structure Matrices and Design Rule Theory
Software Systems Design Structure Design Rule Theory
2015/4/21
Designers often seek modular architectures to better accommodate expected changes and to enable parallel development. However, we lack a formal theory and model of modularity and software evolution, w...