Transferring formal methods technology to industry

被引：0
|
作者：
Jagadeesan, LJ [1 ]
Godefroid, P [1 ]
Kelly, J [1 ]
Miller, S [1 ]
Weil, F [1 ]
机构：
[1] AT&T Bell Labs, Lucent Technol, Software Prod Res Dept, Naperville, IL 60566 USA
来源：
2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS | 1999年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper describes the panel session on Transferring Formal Methods Technology to Industry that was held at the I;Workshop on Industrial-Strength For mal Specification Techniques in October, 1998. The pastel members were Patrice Godefroid From Lucent Technologies/Bell Labs, John Kelly from NASA Jet Propulsion Laboratory, Steven Miller from Rockwell Collins, and Frank Well from Motorola.
引用
收藏
页码：128 / 131
页数：4
相关论文
共 50 条
  • [1] Transferring APL technology to industry
    Gray, K.M.
    [J]. Johns Hopkins APL Technical Digest (Applied Physics Laboratory), 2001, 22 (02): : 162 - 167
  • [2] Transferring APL technology to industry
    Gray, KM
    [J]. JOHNS HOPKINS APL TECHNICAL DIGEST, 2001, 22 (02): : 162 - 167
  • [3] METHODS AND PROBLEMS OF TRANSFERRING NUCLEAR TECHNOLOGY
    LENY, JC
    [J]. TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1977, 25 : 101 - 102
  • [4] Welcome to Formal Methods in Industry
    Margaria, Tiziana
    Kiniry, Joseph
    [J]. IT PROFESSIONAL, 2020, 22 (01) : 9 - 12
  • [5] The Role of Empirical Evidence for Transferring a New Technology to Industry
    Baldassarre, Maria Teresa
    Bruno, Giovanni
    Caivano, Danilo
    Visaggio, Giuseppe
    [J]. PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROCEEDINGS, 2009, 32 : 111 - 125
  • [6] TRANSFERRING TECHNOLOGY TEMPTS FAST VISION PROCESSING INTO INDUSTRY
    TINHAM, B
    [J]. CONTROL AND INSTRUMENTATION, 1986, 18 (11): : 29 - 29
  • [7] OVERVIEW - SURVEY OF FORMAL METHODS IN INDUSTRY
    PARKIN, GI
    AUSTIN, S
    [J]. FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 189 - 203
  • [8] Superfilling technology: transferring knowledge to industry from the National Institute of Standards and Technology
    Rowe, Brent R.
    Temple, Dorota S.
    [J]. JOURNAL OF TECHNOLOGY TRANSFER, 2011, 36 (01): : 1 - 13
  • [9] Superfilling technology: transferring knowledge to industry from the National Institute of Standards and Technology
    Brent R. Rowe
    Dorota S. Temple
    [J]. The Journal of Technology Transfer, 2011, 36 : 1 - 13
  • [10] Transferring technology to industry through the Secondary Gas Recovery Program
    Hardage, Bob A.
    [J]. Leading Edge (Tulsa, OK), 1996, 15 (03):
12345