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 条
  • [21] Automated hardware synthesis from formal specification using SAT solvers
    Greaves, D
    15TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2004, : 15 - 20
  • [22] Automated generation of Promela model from SDL specification
    Vlaovic, Bostjan
    Vreze, Aleksander
    Brezocnik, Zmago
    Kapus, Tatjana
    COMPUTER STANDARDS & INTERFACES, 2007, 29 (04) : 449 - 461
  • [23] Test-sequence generation from formal requirement models
    Rayadurgam, S
    Heimdahl, MPE
    SIXTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, 2001, : 23 - 31
  • [24] Refinement algebra for formal bytecode generation
    Duran, A
    Cavalcanti, A
    Sampaio, A
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 347 - 358
  • [25] Formal Specification of Medical Systems by Proof-Based Refinement
    Mery, Dominique
    Singh, Neeraj Kumar
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
  • [26] Formal specification and implementation of an automated pattern-based parallel-code generation framework
    Gervasio Pérez
    Sergio Yovine
    International Journal on Software Tools for Technology Transfer, 2019, 21 : 183 - 202
  • [27] Change Impact Analysis for Refinement-Based Formal Specification
    Saruwatari, Shinnosuke
    Ishikawa, Fuyuki
    Kobayashi, Tsutomu
    Honiden, Shinichi
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2019, E102D (08) : 1462 - 1477
  • [28] Human Factor of Formal Engineering Methods in Validating Requirement Specification
    Zainuddin, Fauziah Binti
    Arshah, Ruzaini Bin Abdullah
    Mohamad, Rozlina Binti
    Mokhtar, Rahmah Binti
    ADVANCED SCIENCE LETTERS, 2017, 23 (06) : 5481 - 5486
  • [29] Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language
    A. S. Kossatchev
    P. Kutter
    M. A. Posypkin
    Programming and Computer Software, 2004, 30 : 218 - 229
  • [30] Automated generation of strictly conforming tests based on formal specification of dynamic semantics of the programming language
    Kossatchev, AS
    Kutter, P
    Posypkin, MA
    PROGRAMMING AND COMPUTER SOFTWARE, 2004, 30 (04) : 218 - 229
12345