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 条
  • [1] Formal Specification Generation from Requirement Documents
    Cabral, Gustavo
    Sampaio, Augusto
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 195 (171-188) : 171 - 188
  • [2] A formal framework for the specification, analysis and generation of standardized hypermedia documents
    Willrich, R
    Senac, P
    Diaz, M
    deSaquiSannes, P
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS, 1996, : 399 - 406
  • [3] Automated Use Case Diagram Generation from Textual User Requirement Documents
    Vemuri, Sandeep
    Chala, Sisay
    Fathi, Madjid
    2017 IEEE 30TH CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING (CCECE), 2017,
  • [4] An automated multi-component approach to extracting entity relationships from Database Requirement Specification documents
    Du, Siqing
    Metzler, Douglas P.
    NATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS, PROCEEDINGS, 2006, 3999 : 1 - 11
  • [5] A Platform for Requirement Based Formal Specification
    Pross, Uwe
    Markert, Erik
    Langer, Jan
    Richter, Andreas
    Drechsler, Chris
    Heinkel, Ulrich
    2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 237 - 238
  • [6] UNIX STREAMS generation from a formal specification
    Rychwalski, P
    Wytrebowicz, J
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2003, 2003, 2767 : 1 - 14
  • [7] Formal specification and refinement for an interactive Web example
    Van Coppenhagen, Ingrid
    Dwolatzky, Barry
    WEBIST - Int. Conf. Web Inf. Syst. Technol., Proc., (89-96):
  • [8] Formal specification and refinement for an interactive Web example
    van Coppenhagen, Ingrid
    Dwolatzky, Barry
    WEBIST 2006: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES: INTERNET TECHNOLOGY / WEB INTERFACE AND APPLICATIONS, 2006, : 89 - +
  • [9] Formal Specification, Refinement, and Implementation of Path Planning
    Rabiah, Eman
    Belkhouche, Boumediene
    PROCEEDINGS OF THE 2016 12TH INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION TECHNOLOGY (IIT), 2016, : 1 - 6
  • [10] An Automated Transformation Approach for Requirement Specification
    Benabbou, Amel
    Bahloul, Safia Nait
    Dhaussy, Philippe
    PROMOTING BUSINESS ANALYTICS AND QUANTITATIVE MANAGEMENT OF TECHNOLOGY: 4TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND QUANTITATIVE MANAGEMENT (ITQM 2016), 2016, 91 : 891 - 900
12345