Automated formal specification generation and refinement from requirement documents

被引：0
|
作者：
Mobile Devices R and D Motorola Industrial Ltda, Rod SP 340-Km 128,7, A - 13820 000 Jaguariuna/SP, Brazil [1 ]
不详 [2 ]
机构：
来源：
J. Braz. Comput. Soc. | 2008年 / 1卷 / 87-106期
关键词：
D O I：
10.1007/bf03192554
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Finite model generation and formal specification development
    Zhang, J
    TOOLS 24: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, 24 : 350 - 355
  • [42] Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement
    Zhao, Yongwang
    Sanan, David
    Zhang, Fuyuan
    Liu, Yang
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2016, 12 (04) : 1321 - 1331
  • [43] Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
    Pacheco, Maria Leonor
    von Hippel, Max
    Weintraub, Ben
    Goldwasser, Dan
    Nita-Rotaru, Cristina
    43RD IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2022), 2022, : 51 - 68
  • [44] A Semantical Approach for Automatically Transforming Software Requirement Specification into Formal Presentation
    Chen, Shu
    Chen, MingKai
    ADVANCED RESEARCH ON AUTOMATION, COMMUNICATION, ARCHITECTONICS AND MATERIALS, PTS 1 AND 2, 2011, 225-226 (1-2): : 776 - +
  • [45] Formal specification and verification of hypermedia documents based on the nested context model
    Santos, CAS
    Courtiat, JP
    Soares, LFG
    de Souza, GL
    1998 MULTIMEDIA MODELING, PROCEEDINGS, 1998, : 21 - 22
  • [46] Automated Generation of Synchronous Formal Models from SystemC Descriptions
    Kalla, Hamoudi
    Berner, David
    Talpin, Jean-Pierre
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2019, 28 (04)
  • [47] KVEST: Automated generation of test suites from formal specifications
    Burdonov, I
    Kossatchev, A
    Petrenko, A
    Galter, D
    FM'99-FORMAL METHODS, 1999, 1708 : 608 - 621
  • [48] Formal Technical Process Specification and Verification for Automated Production Systems
    Hackenberg, Georg
    Campetelli, Alarico
    Legat, Christoph
    Mund, Jakob
    Teufl, Sabine
    Vogel-Heuser, Birgit
    SYSTEM ANALYSIS AND MODELING: MODELS AND REUSABILITY, 2014, 8769 : 287 - +
  • [49] Automated Generation of Test Cases from Logical Specification of Software Requirements
    Sharma, Richa
    Biswas, K. K.
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), 2014, : 241 - 248
  • [50] Automated Test Case Generation from Input Specification in Natural Language
    Li, Tianyu
    Lu, Xiuwen
    Xu, Hui
    2022 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2022), 2022, : 258 - 261
12345