Tips to validate, verify software

被引：0

作者：

不详

机构：

来源：

CONTROL ENGINEERING | 2006年 / 53卷 / 05期

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：30 / 30

页数：1

共 50 条

[1] Validate and Verify: Keys to Scientific Excellence
Chaguturu, Rathnam
Lushington, Gerald H.
COMBINATORIAL CHEMISTRY & HIGH THROUGHPUT SCREENING, 2016, 19 (03) : 178 - 179
[2] HOW TO DESIGN, VERIFY AND VALIDATE EMERGENCY SHUTDOWN SYSTEMS
GREEN, DL
DOWELL, AM
ISA TRANSACTIONS, 1995, 34 (03) : 261 - 272
[3] Using docking/replication to verify and validate computational models
Olaru, D.
Purchase, S.
Denize, S.
18TH WORLD IMACS CONGRESS AND MODSIM09 INTERNATIONAL CONGRESS ON MODELLING AND SIMULATION: INTERFACING MODELLING AND SIMULATION WITH MATHEMATICAL AND COMPUTATIONAL SCIENCES, 2009, : 4432 - 4438
[4] On Verify and Validate a Next Generation Automotive Communication Network
Brunthaler, Sebastian
Waas, Thomas
Kucera, Markus
PECCS: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON PERVASIVE AND EMBEDDED COMPUTING AND COMMUNICATION SYSTEMS, 2019, : 121 - 127
[5] Ensuring Product Quality and Managing Risk: Validate, Verify, Implement
Leinfuss, Ellen
BIOPHARM INTERNATIONAL, 2009, 22 (07) : 58 - 58
[6] A knowledge based tool to validate and verify an aion knowledge base
Spreeuwenberg, S
Gerrits, R
VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 67 - 78
[7] Validate your engineering software!
Tanzio, M
CHEMICAL ENGINEERING PROGRESS, 2001, 97 (07) : 64 - 73
[8] VALENS: A knowledge based tool to validate and verify an aion knowledge base
Spreeuwenberg, S
Gerrits, R
Boekenoogen, M
ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 731 - 735
[9] DEVELOPING MEASUREMENT SCIENCE TO VERIFY AND VALIDATE THE IDENTIFICATION OF ROBOT WORKCELL DEGRADATION
Weiss, Brian A.
PROCEEDINGS OF THE ASME 14TH INTERNATIONAL MANUFACTURING SCIENCE AND ENGINEERING CONFERENCE, 2019, VOL 1, 2019,
[10] USING TERM REWRITING TO VERIFY SOFTWARE
ANTOY, S
GANNON, J
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (04) : 259 - 274

← 1 2 3 4 5 →