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 条
  • [31] Formal specification based software testing: An automated approach
    Gill, MS
    Bhatia, RK
    [J]. SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 656 - 659
  • [32] Ambiguous Software Requirement Specification Detection: An Automated Approach
    Osman, Mohd Hafeez
    Zaharin, Mohd Firdaus
    [J]. 2018 IEEE/ACM 5TH INTERNATIONAL WORKSHOP ON REQUIREMENTS ENGINEERING AND TESTING (RET 2018), 2018, : 33 - 40
  • [33] Formal specification and verification of a coordination protocol for an automated air traffic control system
    Zhao, Yang
    Rozier, Kristin Yvonne
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 96 : 337 - 353
  • [34] An automated approach to specification-based program inspection
    Liu, SY
    Nagoya, F
    Chen, YT
    Goya, M
    McDermid, JA
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 421 - 434
  • [35] Specification-based verification of embedded systems by automated test case generation
    Kirchsteiger, Christoph M.
    Trummer, Christoph
    Steger, Christian
    Weiss, Reinhold
    Pistauer, Markus
    [J]. DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, 2008, : 35 - +
  • [36] An approach to formal specification and verification of map-centered applications
    Nelson, MAV
    Alencar, PSC
    Cowan, DD
    [J]. ENVIRONMENTAL MODELLING & SOFTWARE, 2001, 16 (05) : 459 - 465
  • [37] APPROACH FOR DATA TYPE SPECIFICATION AND ITS USE IN PROGRAM VERIFICATION
    PEQUENO, TH
    LUCENA, CJ
    [J]. INFORMATION PROCESSING LETTERS, 1979, 8 (02) : 98 - 103
  • [38] A new approach to the specification and verification of real-time systems
    Logothetis, G
    Schneider, K
    [J]. 13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2001, : 171 - 180
  • [39] Verification of HOS software specification by a hierarchical software understanding approach
    Lu, J
    Fei, ZM
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 32 (02) : 135 - 142
  • [40] Formal Specification and Verification of a Data Replication Approach in Distributed Systems
    Souri, Alireza
    [J]. INTERNATIONAL JOURNAL OF NEXT-GENERATION COMPUTING, 2016, 7 (01): : 18 - 37
12345