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 条
  • [1] Executable requirements specification: Formal semantics of Live Activity Diagrams
    Knicke, Christoph
    Huhn, Michaela
    Lochau, Malte
    [J]. TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 109 - 112
  • [2] An executable specification of a formal argumentation protocol
    Artikis, Alexander
    Sergot, Marek
    Pitt, Jeremy
    [J]. ARTIFICIAL INTELLIGENCE, 2007, 171 (10-15) : 776 - 804
  • [3] A formal and executable specification of the Internet open trading protocol
    Ouyang, C
    Kristensen, LM
    Billington, J
    [J]. E-COMMERCE AND WEB TECHNOLOGIES, PROCEEDINGS, 2002, 2455 : 377 - 387
  • [4] Executable Formal Specification and Validation of NoC Communication Infrastructures
    Borrione, Dominique
    Helmy, Amr
    Pierre, Laurence
    Schmaltz, Julien
    [J]. SBCCI 2008: 21ST SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2008, : 176 - 181
  • [5] A formal specification of document processing
    Brown, AL
    Mantha, S
    Wakayama, T
    [J]. MATHEMATICAL AND COMPUTER MODELLING, 1997, 25 (04) : 57 - 72
  • [6] Research on conversion method of ontology based formal requirements model to UML requirements document
    Wang, Yuhua
    Yin, Guisheng
    Zhang, Haitao
    [J]. COMPUTATIONAL MATERIALS SCIENCE, PTS 1-3, 2011, 268-270 : 1086 - 1091
  • [7] From a B formal specification to an executable code: application to the relational database domain
    Mammar, A
    Laleau, R
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2006, 48 (04) : 253 - 279
  • [8] Automatic generation of formal specification from requirements definition
    Jin, LZ
    Zhu, H
    [J]. FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 243 - 251
  • [9] Tobias-Z: An executable formal specification of a test generator
    Ledru, Y.
    du Bousquet, L.
    [J]. ASE 2006: 21ST IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, : 353 - +
  • [10] Requirements validation based on the visualisation of executable formal specifications
    Ozcan, MB
    Parry, PW
    Morrey, IC
    Siddiqi, J
    [J]. TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS, 1998, : 381 - 386
12345