SOFSPEC - A PRAGMATIC APPROACH TO AUTOMATED SPECIFICATION VERIFICATION

被引：0
|
作者：
NYARI, E
SNEED, H
机构：
[1] SZKI,BUDAPEST,HUNGARY
[2] SES,MUNICH,FED REP GER
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 1983年 / 3卷 / 03期
关键词：
D O I：
10.1016/0164-1212(83)90034-1
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：193 / 200
页数：8
相关论文
共 50 条
  • [1] VESAR - A PRAGMATIC APPROACH TO FORMAL SPECIFICATION AND VERIFICATION
    ALGAYRES, B
    COELHO, V
    DOLDI, L
    GARAVEL, H
    LEJEUNE, Y
    RODRIGUEZ, C
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1993, 25 (07): : 779 - 790
  • [2] Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach
    Rodriguez-Navas, Guillermo
    Seceleanu, Cristina
    Hansson, Hans
    Nyberg, Mattias
    Ljungkrantz, Oscar
    Lonn, Henrik
    [J]. 2014 51ST ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2014,
  • [3] An Approach for Interoperability Requirements Specification and Verification
    Mallck, Sihem
    Daclin, Nicolas
    Chapurlat, Vincent
    [J]. ENTERPRISE INTEROPERABILITY, 2011, 76 : 89 - 102
  • [4] ONE APPROACH TO THE SPECIFICATION AND VERIFICATION OF TRANSLATORS
    NEPOMNYASHCHII, VA
    SULIMOV, AA
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1983, 9 (04) : 195 - 202
  • [5] Special issue on Automated Specification and Verification of Web Systems
    Kovacs, Laura
    Pugliese, Rosario
    Silva, Josep
    Tiezzi, Francesco
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2013, 82 (08): : 241 - 242
  • [6] Special issue on Automated Specification and Verification of Web Systems
    Kovacs, Laura
    Kutsia, Temur
    [J]. JOURNAL OF APPLIED LOGIC, 2012, 10 (01) : 1 - 1
  • [7] Automated specification and verification of Web-based applications
    ter Beek, Maurice H.
    Lafuente, Alberto Lluch
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2017, 87 : 51 - 51
  • [8] An Automated Approach for Requirements Specification Maintenance
    Garcia, Jorge Esparteiro
    Paiva, Ana C. R.
    [J]. NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, 2016, 444 : 827 - 833
  • [9] Assessing the Learning Path Specification: a Pragmatic Quality Approach
    Janssen, Jose
    Berlanga, Adriana J.
    Heyenrath, Stef
    Martens, Harry
    Vogten, Hubert
    Finders, Anton
    Herder, Eelco
    Hermans, Henry
    Melero Gallardo, Javier
    Schaeps, Leon
    Koper, Rob
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2010, 16 (21) : 3191 - 3209
  • [10] An Automated Transformation Approach for Requirement Specification
    Benabbou, Amel
    Bahloul, Safia Nait
    Dhaussy, Philippe
    [J]. PROMOTING BUSINESS ANALYTICS AND QUANTITATIVE MANAGEMENT OF TECHNOLOGY: 4TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND QUANTITATIVE MANAGEMENT (ITQM 2016), 2016, 91 : 891 - 900
12345