Challenges in the successful transfer of formal methods technology into industrial applications

被引：3
|
作者：
Saiedian, H [1 ]
Hinchey, MG [1 ]
机构：
[1] NEW JERSEY INST TECHNOL, DEPT COMP & INFORMAT SCI, NEWARK, NJ 07102 USA
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1996年 / 38卷 / 05期
关键词：
formal methods; marketing; simulation; training; education; reusable framework;
D O I：
10.1016/0950-5849(95)01057-2
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The primary objective of this article is to discuss a number of challenges (presented in terms of 'guidelines') that must be addressed in a pragmatic manner in order to transfer formal methods technology into the actual workplace and to ensure that formal methods are actually used on an industrial scale.
引用
收藏
页码：313 / 322
页数：10
相关论文
共 50 条
  • [1] Challenges Engaging Formal CBSE in Industrial Applications
    Li, Yi
    Sun, Meng
    [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023, 2024, 14485 : 153 - 167
  • [2] Formal methods technology transfer will fail
    Parnas, DL
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 40 (03) : 195 - 198
  • [3] AN INDUSTRIAL EXPERIENCE OF USING AN INCREMENTAL MODEL OF TECHNOLOGY-TRANSFER OF FORMAL DEVELOPMENT METHODS
    LEON, G
    CARRACEDO, J
    YELMO, JC
    SANCHEZ, C
    MORENO, JC
    GIL, JJ
    CARRASCO, J
    [J]. DIFFUSION, TRANSFER AND IMPLEMENTATION OF INFORMATION TECHNOLOGY, 1994, 45 : 289 - 308
  • [4] Formal Methods for Industrial Critical Systems: A Survey of Applications
    不详
    [J]. ERCIM NEWS, 2013, (94): : 42 - 42
  • [5] Lessons learned from a successful implementation of formal methods in an industrial project
    Wassyng, A
    Lawford, M
    [J]. FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 133 - 153
  • [6] Formal Methods Technology Transfer: A View from NASA
    James L. Caldwell
    [J]. Formal Methods in System Design, 1998, 12 : 125 - 137
  • [7] Formal methods technology transfer: A view from NASA
    Caldwell, JL
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 1998, 12 (02) : 125 - 137
  • [8] Challenges for nanofluid applications in heat transfer technology
    Sukarno, Diah Hidayanti
    [J]. INTERNATIONAL CONFERENCE ON SCIENCE AND APPLIED SCIENCE (ENGINEERING AND EDUCATIONAL SCIENCE) 2016, 2017, 795
  • [9] A Managerial Model to Assess the Industrial Readiness for Successful Technology Transfer
    Nasr, Mahmoud Samiei
    Akhavan, Amir Naser
    [J]. RECENT ADVANCES IN E-ACTIVITIES, INFORMATION SECURITY AND PRIVACY, 2009, : 61 - +
  • [10] THE INDUSTRIAL USE OF FORMAL METHODS
    THOMAS, M
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 1993, 17 (01) : 31 - 36
12345