THE CASE FOR FORMAL METHODS IN STANDARDS

被引：3
|
作者：
BLYTH, D
BOLDYREFF, C
RUGGLES, C
TETTEHLARTEY, N
机构：
来源：
IEEE SOFTWARE | 1990年 / 7卷 / 05期
关键词：
D O I：
10.1109/52.57893
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
[No abstract available]
引用
收藏
页码：65 / 67
页数：3
相关论文
共 50 条
  • [1] The role of formal methods in software standards
    Kegley, KA
    Stavridou, V
    [J]. FOURTH IEEE INTERNATIONAL SYMPOSIUM AND FORUM ON SOFTWARE ENGINEERING STANDARDS - PROCEEDINGS, 1999, : 248 - 248
  • [2] Formal methods in industrial software standards enforcement
    Grinevich, Alexey
    Khoroshilov, Alexey
    Kuliamin, Victor
    Markovtsev, Denis
    Petrenko, Alexander
    Rubanov, Vladimir
    [J]. PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 456 - +
  • [3] FORMAL METHODS AND SAFETY-CRITICAL STANDARDS
    BOWEN, J
    [J]. COMPUTER, 1994, 27 (08) : 68 - 71
  • [4] Using formal methods to reason about architectural standards
    Sullivan, KJ
    Socha, J
    Marchukov, M
    [J]. PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 503 - 513
  • [5] SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS
    BOWEN, J
    STAVRIDOU, V
    [J]. SOFTWARE ENGINEERING JOURNAL, 1993, 8 (04): : 189 - 209
  • [6] FORMAL METHODS IN STANDARDS - A REPORT FROM THE BCS WORKING GROUP
    RUGGLES, C
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 79 - 85
  • [7] Using formal methods in a retrospective safety case
    Eriksson, LH
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2004, 3219 : 31 - 44
  • [8] A Case for Combining Industrial Pragmatics with Formal Methods
    McCorkle, Eric L.
    [J]. 2016 IEEE CYBERSECURITY DEVELOPMENT (IEEE SECDEV 2016), 2016, : 63 - 64
  • [9] Applying formal methods to case based design aids
    DeGrassi, M
    Giretti, A
    Spalazzi, L
    [J]. ARTIFICIAL INTELLIGENCE IN DESIGN '96, 1996, : 191 - 210
  • [10] FORMAL METHODS IN SOFTWARE-DEVELOPMENT REQUIREMENTS FOR A CASE
    BJORNER, D
    PREHN, S
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 509 : 178 - 210
12345