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 条
  • [31] Formal specification and implementation of an automated pattern-based parallel-code generation framework
    Perez, Gervasio
    Yovine, Sergio
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 21 (02) : 183 - 202
  • [32] A Formal Requirement Specification Method Based On Object-Z
    Xia, Jianxun
    Xia, Liping
    PROCEEDINGS OF 2010 ASIA-PACIFIC YOUTH CONFERENCE ON COMMUNICATION, VOLS 1 AND 2, 2010, : 209 - +
  • [33] Automated Prototype Generation From Formal Requirements Model
    Yang, Yilong
    Li, Xiaoshan
    Ke, Wei
    Liu, Zhiming
    IEEE TRANSACTIONS ON RELIABILITY, 2020, 69 (02) : 632 - 656
  • [34] Ambiguous Software Requirement Specification Detection: An Automated Approach
    Osman, Mohd Hafeez
    Zaharin, Mohd Firdaus
    2018 IEEE/ACM 5TH INTERNATIONAL WORKSHOP ON REQUIREMENTS ENGINEERING AND TESTING (RET 2018), 2018, : 33 - 40
  • [35] Automated cloud service based quality requirement classification for software requirement specification
    R Raja Ramesh Merugu
    Satyananda Reddy Chinnam
    Evolutionary Intelligence, 2021, 14 : 389 - 394
  • [36] Automated cloud service based quality requirement classification for software requirement specification
    Merugu, R. Raja Ramesh
    Chinnam, Satyananda Reddy
    EVOLUTIONARY INTELLIGENCE, 2021, 14 (02) : 389 - 394
  • [37] Test cases generation based on formal specification
    State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China
    不详
    Jiefangjun Ligong Daxue Xuebao, 2009, 4 (318-323):
  • [38] Automated generation of structural design models from SBVR specification
    Bonais, Mohammed
    Nguyen, Kinh
    Pardede, Eric
    Rahayu, Wenny
    APPLIED ONTOLOGY, 2016, 11 (01) : 51 - 87
  • [39] Towards formal specification and generation of autonomic policies
    Sterritt, R
    Hinchey, MG
    Rash, JL
    Truszkowski, W
    Rouff, CA
    Gracanin, D
    EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005 WORKSHOPS, PROCEEDINGS, 2005, 3823 : 1245 - 1254
  • [40] Formal specification based software testing: An automated approach
    Gill, MS
    Bhatia, RK
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 656 - 659
12345