Mixing linguistic and formal techniques for high-level requirements engineering

被引：0
|
作者：
Gorse, N [1 ]
Bélanger, P
Aboulhamid, EM
Savaria, Y
机构：
[1] Univ Montreal, Montreal, PQ H3C 3J7, Canada
[2] Ecole Polytech, Montreal, PQ H3C 3A7, Canada
来源：
16TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS, PROCEEDINGS | 2004年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
We propose a methodology and a tool for the modeling and validation of requirements as well as elicitation of missing requirements. Modeling relies on a formally structured linguistic approach. Validation is performed using characteristic error patterns. Elicitation of missing requirements is based on Boolean logic concepts. This methodology provides effective modeling and early detection of errors in the hardware/software design cycle.
引用
收藏
页码：339 / 342
页数：4
相关论文
共 50 条
  • [31] PML: Toward a High-Level Formal Language for Biological Systems
    Chang, Bor-Yuh Evan
    Sridharan, Manu
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 180 (03) : 15 - 30
  • [32] A Formal Approach to Slack-Driven High-Level Synthesis
    Yeh, Hua-Hsin
    Huang, Shih-Hsu
    Cheng, Chun-Hua
    2012 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS 2012), 2012, : 584 - 587
  • [33] Formal Verification of Optimizing Transformations during High-level Synthesis
    Chouksey, Ramanuj
    Karfa, Chandan
    Bhaduri, Purandar
    PROCEEDINGS OF THE 12TH INNOVATIONS ON SOFTWARE ENGINEERING CONFERENCE (ISEC), 2019,
  • [34] Automated test case generation from high-level logic requirements using model transformation techniques
    Olajubu, Oyindamola
    Ajit, Suraj
    Johnson, Mark
    Turner, Scott
    Thomson, Scott
    Edwards, Mark
    2017 9TH COMPUTER SCIENCE AND ELECTRONIC ENGINEERING (CEEC), 2017,
  • [35] Industrial use of formal methods for a high-level security evaluation
    Chetali, Boutheina
    Nguyen, Quang-Huy
    FM 2008: FORMAL METHODS, PROCEEDINGS, 2008, 5014 : 198 - 213
  • [36] High-Level Guidance for Managers Deploying Formal Methods in Their Organisation
    Ponsard, Christophe
    Deprez, Jean-Christophe
    De landtsheer, Renaud
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2013, 8187 : 139 - 153
  • [37] Requirements for requirements engineering techniques
    Macaulay, L
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, 1996, : 157 - 164
  • [38] Comparative study of strategies for formal verification of high-level processors
    Velev, MN
    IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS & PROCESSORS, PROCEEDINGS, 2004, : 119 - 124
  • [39] Functional specificity for high-level linguistic processing in the human brain
    Fedorenko, Evelina
    Behr, Michael K.
    Kanwisher, Nancy
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2011, 108 (39) : 16428 - 16433
  • [40] Suitability of Requirements Abstraction Model (RAM) Requirements for High-Level System Testing
    Muhammad, Naeem
    Vandewoude, Yves
    Berbers, Yolande
    Feldt, Robert
    PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 28, 2008, 28 : 68 - +
12345