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 条
  • [21] Expressing High-Level Scientific Claims with Formal Semantics
    Bucur, Cristina-Iulia
    Kuhn, Tobias
    Ceolin, Davide
    van Ossenbruggen, Jacco
    PROCEEDINGS OF THE 11TH KNOWLEDGE CAPTURE CONFERENCE (K-CAP '21), 2021, : 233 - 240
  • [22] Formal verification of high-level conformance with symbolic simulation
    Kaivola, R
    Naik, A
    HLDVT'05: TENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2005, : 153 - 159
  • [23] Formal Deadlock Checking on High-Level SystemC Designs
    Chou, Chun-Nan
    Hsu, Chang-Hong
    Chao, Yueh-Tung
    Huang, Chung-Yang
    2010 IEEE AND ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2010, : 794 - 799
  • [24] Utilizing high-level information for formal hardware verification
    Johannsen, P
    Drechsler, R
    ADVANCED COMPUTER SYSTEMS, PROCEEDINGS, 2002, 664 : 419 - 431
  • [25] THE REQUIREMENTS FOR A HIGH-LEVEL OF TRANSPOSITION OF BACTERIOPHAGE-MU
    GROENEN, MAM
    VANDEPUTTE, P
    JOURNAL OF CELL SCIENCE, 1987, : 41 - 50
  • [26] REPOSITORY ENGINEERING DESIGN FOR HIGH-LEVEL WASTE
    GRIFFIN, JR
    NUCLEAR ENERGY-JOURNAL OF THE BRITISH NUCLEAR ENERGY SOCIETY, 1982, 21 (04): : 267 - 273
  • [27] Methodology for Specification and Verification of High-Level Requirements with MetAcsl
    Robles, Virgile
    Kosmatov, Nikolai
    Prevosto, Virgile
    Rilling, Louis
    Le Gall, Pascale
    2021 IEEE/ACM 9TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2021), 2021, : 54 - 67
  • [28] COMPILATION TECHNIQUES FOR A HIGH-LEVEL LANGUAGE PROCESSOR
    WATSON, BW
    WITHAGEN, WJ
    STEVENS, MPJ
    MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 29 - 36
  • [29] Formal methods for requirements engineering
    Ghose, A
    INTERNATIONAL SYMPOSIUM ON MULTIMEDIA SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 13 - 13
  • [30] FORMAL REQUIREMENTS ENGINEERING WITH ERAE
    DUBOIS, E
    HAGELSTEIN, J
    RIFAUT, A
    PHILIPS JOURNAL OF RESEARCH, 1988, 43 (3-4) : 393 - 414