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 条
  • [21] Automated Prototype Generation From Formal Requirements Model
    Yang, Yilong
    Li, Xiaoshan
    Ke, Wei
    Liu, Zhiming
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 2020, 69 (02) : 632 - 656
  • [22] From formal requirements to automated web testing and prototyping
    Brasil de Matos, Ernesto Cid
    Sousa, Thiago C.
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (1-2) : 163 - 169
  • [23] Security Requirements Specification: A Formal Method Perspective
    Mishra, Aditya Dev
    Mustafa, K.
    [J]. PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT (INDIACOM-2020), 2019, : 113 - 117
  • [24] Tools for formal specification, verification, and validation of requirements
    Heitmeyer, C
    Kirby, J
    Labaw, B
    [J]. COMPASS '97 - ARE WE MAKING PROGRESS TOWARDS COMPUTER ASSURANCE?, 1997, : 35 - 47
  • [25] FORMAL SPECIFICATION OF INFORMATION-SYSTEMS REQUIREMENTS
    KAMPFNER, RR
    [J]. INFORMATION PROCESSING & MANAGEMENT, 1985, 21 (05) : 401 - 414
  • [26] Methodological support for requirements elicitation and formal specification
    Heisel, M
    Souquieres, J
    [J]. NINTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, PROCEEDINGS, 1998, : 153 - 155
  • [27] A review on security requirements specification by formal methods
    Mishra, Aditya Dev
    Mustafa, Khurram
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2022, 34 (05):
  • [28] 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
  • [29] AN APPROACH TO EXECUTABLE SPECIFICATIONS, BASED ON FORMAL SOURCE TO SOURCE CONVERSION
    ZHANG, ZE
    [J]. SIGPLAN NOTICES, 1995, 30 (12): : 51 - 58
  • [30] 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)
12345