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 条
  • [21] An intranet application supporting software verification and validation
    Fjordstrom, LB
    Pedersen, GS
    DASIA '97 - DATA SYSTEMS IN AEROSPACE, 1997, 409 : 399 - 404
  • [22] Software independent verification and validation for spacecraft at JAXA
    Kohtake, Naohiko
    Katoh, Atsushi
    Ishihama, Naoki
    Miyamoto, Yuko
    Kawasaki, Tomomi
    Katahira, Masafumi
    2008 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2008, : 3577 - 3584
  • [23] Integrating formal specification and software verification and validation
    Duke, R
    Miller, T
    Strooper, P
    TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 124 - 139
  • [24] Constraint solving for sequences in software validation and verification
    Kosmatov, Nikolai
    DECLARATIVE PROGRAMMING FOR KNOWLEDGE MANAGEMENT, 2006, 4369 : 25 - 37
  • [25] Verification and validation in support for software certification methods
    Vermesan, A
    Martinsen, P
    Sjovaag, J
    Bell, K
    VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 277 - 295
  • [26] Verification and validation of a fingerprint image registration software
    Desovski, Dejan
    Gandikota, Vijai
    Liu, Yan
    Jiang, Yue
    Cukic, Bojan
    Eurasip Journal on Applied Signal Processing, 2006, 2006
  • [27] Verification and validation of off-the-shelf software
    Eastwick, Michael
    Medical Device and Diagnostic Industry, 1995, 17 (04):
  • [28] COMBUSTION MODELING SOFTWARE DEVELOPMENT, VERIFICATION AND VALIDATION
    Briones, Alejandro M.
    Olding, Robert
    Sykes, Joshua P.
    Rankin, Brent A.
    McDevitt, Kyle
    Heyne, Joshua S.
    PROCEEDINGS OF THE ASME POWER CONFERENCE, 2018, VOL 1, 2018,
  • [29] Coping with requirements changes in software verification and validation
    Li, Shimin
    Tahvildari, Ladan
    Liu, Weining
    Morrissey, Mike
    Cort, Gary
    CSMR 2008: 12TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING: DEVELOPING EVOLVABLE SYSTEMS, 2008, : 317 - +
  • [30] Specifying software validation and verification for a biomedical application
    Morozoff, Paul E.
    Materials World, 1994, 2 (04) : 196 - 204
12345