Verification and validation of off-the-shelf software

被引:0
|
作者
Eastwick, Michael [1 ]
机构
[1] Intermetrics, Inc, Bellevue, United States
来源
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
  • [1] Lifecycle for off-the-shelf software validation
    Stein, T
    [J]. ASQ'S 57TH ANNUAL QUALITY CONGRESS PROCEEDINGS: EXPANDING HORIZON: GLOBAL, PERSONAL, TOOLS, NETWORKING, SOLUTIONS, 2003, : 65 - 78
  • [2] Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR
    Beyer, Dirk
    Haltermann, Jan
    Lemberger, Thomas
    Wehrheim, Heike
    [J]. 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2022), 2022, : 536 - 548
  • [3] OFF-THE-SHELF SOFTWARE FOR MECHANICAL DESIGN
    KROUSE, JK
    [J]. MACHINE DESIGN, 1983, 55 (09) : 47 - 52
  • [4] INSTALL SOFTWARE OFF-THE-SHELF - FORGET IT
    LETSON, R
    [J]. SYSTEMS INTEGRATION BUSINESS, 1991, 24 (04): : 55 - &
  • [5] BUYING OFF-THE-SHELF PC SOFTWARE
    VAUGHN, MJ
    [J]. I&CS-CONTROL TECHNOLOGY FOR ENGINEERS AND ENGINEERING MANAGEMENT, 1987, 60 (05): : 49 - 52
  • [6] Certifying off-the-shelf software components
    Voas, JM
    [J]. COMPUTER, 1998, 31 (06) : 53 - +
  • [7] SOFTWARE PACKAGES - THE OFF-THE-SHELF ALTERNATIVE
    PRAYTOR, E
    [J]. INFOSYSTEMS, 1987, 34 (09): : 48 - 50
  • [8] BUYING OFF-THE-SHELF PC SOFTWARE. . . .
    Vaughn, M.J.
    [J]. Chilton's instruments & control systems, 1987, 60 (05): : 49 - 52
  • [9] OFF-THE-SHELF SOFTWARE TACKLES REALTIME TASKS
    SUYDAM, WE
    [J]. COMPUTER DESIGN, 1985, 24 (07): : 65 - &
  • [10] A STRUCTURED METHODOLOGY FOR OFF-THE-SHELF SOFTWARE IMPLEMENTATION
    LAUNI, JD
    [J]. JOURNAL OF SYSTEMS MANAGEMENT, 1991, 42 (10): : 6 - 9