Automated conversion from a requirements document to an executable formal specification

被引：1
|
作者：
Lee, BS [1 ]
机构：
[1] Univ Alabama, Dept Comp & Informat Sci, Birmingham, AL 35294 USA
来源：
16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS | 2001年
关键词：
D O I：
10.1109/ASE.2001.989850
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：437 / 437
页数：1
相关论文
共 50 条
  • [31] 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
  • [32] AN APPROACH TO EXECUTABLE SPECIFICATIONS, BASED ON FORMAL SOURCE TO SOURCE CONVERSION
    ZHANG, ZE
    [J]. SIGPLAN NOTICES, 1995, 30 (12): : 51 - 58
  • [33] Formal requirements modelling with executable use cases and coloured Petri nets
    Jens B. Jørgensen
    Simon Tjell
    João M. Fernandes
    [J]. Innovations in Systems and Software Engineering, 2009, 5 (1)
  • [34] Automated hardware synthesis from formal specification using SAT solvers
    Greaves, D
    [J]. 15TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2004, : 15 - 20
  • [35] Formal requirements modelling with executable use cases and coloured Petri nets
    Jorgensen, Jens B.
    Tjell, Simon
    Fernandes, Joao M.
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2009, 5 (01) : 13 - 25
  • [36] FORMAL SPECIFICATION OF COMPLETE AND CONSISTENT PERFORMANCE REQUIREMENTS.
    Zave, Pamela
    [J]. Proceedings of the Texas Conference on Computing Systems, 1979, : 18 - 4
  • [37] Software Reliability Prediction Based on a Formal Requirements Specification
    Alipour, Hooshmand
    Isazadeh, Ayaz
    [J]. ADVANCES IN COMPUTER SCIENCE AND ENGINEERING, 2008, 6 : 816 - +
  • [38] An Intelligent Assistant for Converting City Requirements to Formal Specification
    Chen, Zirong
    Li, Isaac
    Zhang, Haoxiang
    Preurn, Sarah
    Stankovic, John A.
    Ma, Meiyi
    [J]. 2022 IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP 2022), 2022, : 174 - 176
  • [39] Automated Generation of Test Cases from Logical Specification of Software Requirements
    Sharma, Richa
    Biswas, K. K.
    [J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), 2014, : 241 - 248
  • [40] Software Reliability Assessment Based on a Formal Requirements Specification
    Alipour, Hooshmand
    Isazadeh, Ayaz
    [J]. 2008 CONFERENCE ON HUMAN SYSTEM INTERACTIONS, VOLS 1 AND 2, 2008, : 311 - +
12345