FACILITY FOR VERIFICATION, TESTING AND DOCUMENTATION OF CONCURRENT PROCESS SOFTWARE.

被引：0
|
作者：
Taylor, Richard N.
Osterwil, Leon J.
机构：
来源：
| 1978年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
14
引用
收藏
页码：36 / 41
相关论文
共 50 条
  • [31] Documentation Automation for the Verification and Validation of Rubin Observatory Software
    Comoretto, Gabriele
    Guy, Leanne P.
    O'Mullane, William
    Bechtol, Keith
    Carlin, Jeffrey L.
    Sick, Jonathan
    Van Klaveren, Brian
    Roberts, Austin
    MODELING, SYSTEMS ENGINEERING, AND PROJECT MANAGEMENT FOR ASTRONOMY IX, 2020, 11450
  • [32] JKTech Launches New Process-Improvement Equipment, Software and Testing Facility
    不详
    E&MJ-ENGINEERING AND MINING JOURNAL, 2010, 211 (06): : 88 - 89
  • [33] Software speeds up process documentation
    Anon
    Assembly, 2001, 44 (05):
  • [34] Software documentation process - Symbios Logic
    Burroughs, DH
    STC 1996 PROCEEDINGS - 43RD ANNUAL CONFERENCE: EVOLUTION/REVOLUTION, 1996, : 512 - 512
  • [35] A unified process for software and documentation development
    Priestley, M
    Utt, MH
    IEEE PROFESSIONAL COMMUNICATION SOCIETY INTERNATIONAL PROFESSIONAL COMMUNICATION CONFERENCE AND ACM SPECIAL INTEREST GROUP ON DOCUMENTATION CONFERENCE, 2000, : 221 - 238
  • [36] Verification and testing of concurrent systems with action races
    Petrenko, A
    Ulrich, A
    TESTING OF COMMUNICATING SYSTEMS: TOOLS AND TECHNIQUES, 2000, 48 : 261 - 280
  • [37] Logic programming for software verification and testing
    Khanna, S.
    1600, (34):
  • [38] Special track on software verification and testing
    Rezk, Tamara
    Proceedings of the ACM Symposium on Applied Computing, 2009,
  • [39] Special issue: software verification and testing
    Mousavi, Mohammad Reza
    Pang, Jun
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2013, 9 (02) : 57 - 58
  • [40] Cognitive Reflection in Software Verification and Testing
    Buffardi, Kevin
    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING-SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET, 2023, : 1 - 10
12345