搜索结果: 1-2 共查到“知识库 software systems”相关记录2条 . 查询时间(0.046 秒)
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...