Software verification & validation

被引：0

|

作者：

Pierce, P

机构：

来源：

NORTHCON/96 - IEEE TECHNICAL APPLICATIONS CONFERENCE, CONFERENCE RECORD | 1996年

关键词：

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

收藏

页码：265 / 268

页数：4

相关论文

共 50 条

[1] SOFTWARE PROJECT VERIFICATION AND VALIDATION
DEUTSCH, MS
COMPUTER, 1981, 14 (04) : 54 - 70
[2] THE VALIDATION, VERIFICATION AND TESTING OF SOFTWARE
INCE, D
OXFORD SURVEYS IN INFORMATION TECHNOLOGY, 1985, 2 : 1 - 40
[3] Software specification, verification and validation
Shyamasundar, RK
SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1996, 21 : 123 - 123
[4] Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), Software Verification and Validation 2003 Preface
Etalle, Sandro
Mukhopadhyay, Supratik
Roychoudhury, Abhik
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 118 : 1 - 1
[5] TEACHING SOFTWARE-VERIFICATION AND VALIDATION TO SOFTWARE PRACTITIONERS
LUGINBUHL, DR
CARDOW, JE
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 640 : 167 - 179
[6] The role of software verification and validation in software development process
Sujatha, P
Sankar, GV
Rao, AS
Satyanarayana, T
IETE TECHNICAL REVIEW, 2001, 18 (01): : 23 - 26
[7] Towards Automated Software Verification and Validation
Asadollahi, Somayeh
Rafe, Vahid
Rafeh, Reza
PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT, VOL 1, 2009, : 206 - 210
[8] Software Verification and Validation Technologies and Tools
Rodriguez, Moises
Piattini, Mario
Ebert, Christof
IEEE SOFTWARE, 2019, 36 (02) : 13 - 24
[9] SOFTWARE-VERIFICATION AND VALIDATION - AN OVERVIEW
WALLACE, DR
FUJII, RU
IEEE SOFTWARE, 1989, 6 (03) : 10 - 17
[10] Validation and verification of METEOR safety software
Boulanger, JL
Gallardo, M
COMPUTERS IN RAILWAYS VII, 2000, 7 : 189 - 200

← 1 2 3 4 5 →