Tips to validate, verify software

被引：0
|
作者：
不详
机构：
来源：
CONTROL ENGINEERING | 2006年 / 53卷 / 05期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：30 / 30
页数：1
相关论文
共 50 条
  • [31] MICRO SOFTWARE PURCHASE TIPS
    PADEN, B
    JOURNAL OF ACCOUNTANCY, 1985, 159 (02): : 108 - 109
  • [32] Design and verify a natural frequency using ANSYS software
    Kukreja, Nitin
    Singhal, Piyush
    MATERIALS TODAY-PROCEEDINGS, 2021, 45 : 3255 - 3258
  • [33] To Verify Embedded System Software Integrity with TCM and FPGA
    Huang, Huaqiang
    Hu, Chen
    He, Jianhua
    PROCEEDINGS 2010 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, (ICCSIT 2010), VOL 1, 2010, : 65 - 70
  • [34] Making software timing properties easier to inspect and verify
    Xu, J
    IEEE SOFTWARE, 2003, 20 (04) : 34 - +
  • [35] Engineering Approaches and Methods to Verify Software in Autonomous Systems
    Cicala, G.
    Khalili, A.
    Metta, G.
    Natale, L.
    Pathak, S.
    Pulina, L.
    Tacchella, A.
    INTELLIGENT AUTONOMOUS SYSTEMS 13, 2016, 302 : 1683 - 1700
  • [36] ECAPNVer: A Software Tool to Verify Active Rule Bases
    Chavarria-Baez, Lorena
    Li, Xiaoou
    22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 2, 2010, : 138 - 141
  • [37] Developing and Implementing a Process to Verify and Validate the NASA InSight Mission's Instrument Command Products
    Mittal, Nimisha
    Cloutier, Kyle
    2020 IEEE AEROSPACE CONFERENCE (AEROCONF 2020), 2020,
  • [38] A family of experiments to validate metrics for software process models
    Canfora, G
    García, F
    Piattini, M
    Ruiz, F
    Visaggio, CA
    JOURNAL OF SYSTEMS AND SOFTWARE, 2005, 77 (02) : 113 - 129
  • [39] A general method to validate breeding value prediction software
    Leclerc, H.
    Wensch-Dorendorf, M.
    Wensch, J.
    Ducrocq, V.
    Swalve, H. H.
    JOURNAL OF DAIRY SCIENCE, 2008, 91 (08) : 3179 - 3183
  • [40] BUYING HARDWARE AND SOFTWARE - SHOPPING TIPS
    KLAPHOLZ, J
    DB-SOUND ENGINEERING MAGAZINE, 1984, 18 (06): : 19 - 21
12345