Tips to validate, verify software

被引：0

|

作者：

不详

机构：

来源：

CONTROL ENGINEERING | 2006年 / 53卷 / 05期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：30 / 30

页数：1

相关论文

共 50 条

[41] DISK TIPS, HES SOFTWARE FOR THE VIC
BAKER, RW
MICROCOMPUTING, 1982, 6 (12): : 26 - &
[42] Hot tips for using cooling software
2000, Penton Publ Inc, Cleveland, OH, USA (72)
[43] 10 software tips for hardware engineers
Beningo, Jacob
EDN, 2013, 58 (03) : 48 - 50
[44] Twelve quick tips for software design
Wilson, Greg
PLOS COMPUTATIONAL BIOLOGY, 2022, 18 (02)
[45] How to verify and validate a clinical microbiology test before it can be used in routine diagnostics: a practical guide
Yusuf, Erlangga
Schijffelen, Maarten J.
Lee, Mariska
CLINICAL MICROBIOLOGY AND INFECTION, 2024, 30 (10) : 1261 - 1269
[46] A formal approach to verify mapping relation in a software product line
Satyananda, Tonny Kurniadi
Lee, Danhyung
Kang, Sungwon
2007 CIT: 7TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2007, : 934 - 939
[47] How to verify software product quality in user's view
Kim, N
Shin, S
Cho, I
SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 638 - 643
[48] Combining Tactics, Normalization, and SMT Solving to Verify Systems Software
Hawblitzel, Chris
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (307): : 3 - 5
[49] Combination of Model Checking and Theorem Proving to Verify Embedded Software
XIAO Jian-yu
2. Institute of Laser and Information
The Journal of China Universities of Posts and Telecommunications, 2005, (04) : 80 - 84
[50] BEST: A software to verify the feasibility of urban bus line electrification
Valentini, M. P.
Conti, V
Orchi, S.
RESEARCH IN TRANSPORTATION ECONOMICS, 2022, 92

← 1 2 3 4 5 →