Encouraging the Uptake of Formal Methods Training in an Industrial Context

被引：0
|
作者：
Hinchey, Michael G. [1 ]
机构：
[1] Univ Limerick, Lero Irish Software Engn Res Ctr, Limerick, Ireland
来源：
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS | 2008年 / 17卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：473 / 477
页数：5
相关论文
共 50 条
  • [1] Balancing insight and effort: The industrial uptake of formal methods
    Fitzgerald, John
    Larsen, Peter Gorm
    FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS, 2007, 4700 : 237 - +
  • [2] On Education and Training in Formal Methods for Industrial Critical Systems
    Westphal, Bernd
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2021, 2021, 12863 : 85 - 103
  • [3] The role of education and training in the industrial application of formal methods
    Ralston, T
    Gerhart, S
    Craigen, D
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 41 - 49
  • [4] On the Industrial Uptake of Formal Methods in the Railway Domain A Survey with Stakeholders
    Basile, Davide
    ter Beek, Maurice H.
    Fantechi, Alessandro
    Gnesi, Stefania
    Mazzanti, Franco
    Piattino, Andrea
    Trentini, Daniele
    Ferrari, Alessio
    INTEGRATED FORMAL METHODS, IFM 2018, 2018, 11023 : 20 - 29
  • [5] FORMAL TRAINING COURSES IN CONTEXT
    JOYCE, L
    PERSONNEL REVIEW, 1982, 11 (02) : 15 - 20
  • [6] Teaching formal methods in context
    Davies, J
    Simpson, A
    Martin, A
    TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 185 - 202
  • [7] THE INDUSTRIAL USE OF FORMAL METHODS
    THOMAS, M
    MICROPROCESSORS AND MICROSYSTEMS, 1993, 17 (01) : 31 - 36
  • [8] Formal methods in an industrial environment
    Cuéllar, JR
    COMPUTER AIDED VERIFICATION, 1998, 1427 : 57 - 60
  • [9] ENCOURAGING GRADUATE TRAINING - AN INDUSTRIAL ANALYTICAL SHORT COURSE
    BOUTILIER, GD
    CHARPENTIER, BA
    DEPALMA, RA
    GREENBERG, MS
    THORPE, TM
    ULLMAN, AH
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1985, 190 (SEP): : 96 - CHD
  • [10] Formal Methods for Industrial Interlocking Verification
    Chadwick, Simon
    James, Phillip
    Roggenbach, Markus
    Werner, Tom
    2018 INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2018,
12345