Do formal methods really belong in the toolbox of the practicing engineer?

被引：0
|
作者：
King, LA [1 ]
机构：
[1] New Mexico State Univ, Las Cruces, NM 88003 USA
来源：
FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS | 2000年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The purpose of this panel is to present different perspectives and opinions regarding the issues associated with the acceptance and use of formal methods by practicing engineers.
引用
收藏
页码：137 / 139
页数：3
相关论文
共 50 条
  • [1] Scientific concepts in singing: Do they belong in a student toolbox of learning?
    Latukefu, Lotte
    Verenikina, Irina
    BRITISH JOURNAL OF MUSIC EDUCATION, 2011, 28 (02) : 181 - 194
  • [2] REALLY RETHINKING 'FORMAL METHODS'
    Parnas, David Lorge
    COMPUTER, 2010, 43 (01) : 28 - 34
  • [3] CANADIAN MEMBERS OF THE AFS - DO WE REALLY BELONG
    MACDONALD, DD
    MARSHALL, TR
    FISHERIES, 1990, 15 (04) : 24 - &
  • [4] Can we really do without the support of formal methods in the verification of large designs?
    Rossi, U
    42nd Design Automation Conference, Proceedings 2005, 2005, : 672 - 673
  • [5] Do you really need formal requirements?
    Lawrence, Brian
    1996, IEEE, Los Alamitos, CA, United States (13)
  • [6] Do you really need formal requirements?
    Lawrence, B
    IEEE SOFTWARE, 1996, 13 (02) : 20 - &
  • [7] Do formal salary systems really matter?
    Gibbs, M
    Hendricks, W
    INDUSTRIAL & LABOR RELATIONS REVIEW, 2004, 58 (01): : 71 - 93
  • [8] ARE DAY-CARE CENTERS REALLY NEEDED - WHERE DO THEY BELONG
    GARCIA, PA
    EDUCATION, 1977, 98 (02): : 168 - 170
  • [9] Visual Transformers: Where Do Transformers Really Belong in Vision Models?
    Wu, Bichen
    Xu, Chenfeng
    Dai, Xiaoliang
    Wan, Alvin
    Zhang, Peizhao
    Yan, Zhicheng
    Tomizuka, Masayoshi
    Gonzalez, Joseph
    Keutzer, Kurt
    Vajda, Peter
    2021 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV 2021), 2021, : 579 - 589
  • [10] Do mangalica pigs of different colours really belong to different breeds?
    Zsolnai, Attila
    Radnoczy, Laszlo
    Fesus, Laszlo
    Anton, Istvan
    ARCHIV FUR TIERZUCHT-ARCHIVES OF ANIMAL BREEDING, 2006, 49 (05): : 477 - 483
12345