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 条
  • [1] A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements
    Bougacha, Racem
    RIGOROUS STATE-BASED METHODS, ABZ 2020, 2020, 12071 : 409 - 413
  • [2] A high-level requirements engineering methodology for electronic system-level design
    Gorse, N.
    Belanger, P.
    Chureau, A.
    Aboulhamid, E. M.
    Savaria, Y.
    COMPUTERS & ELECTRICAL ENGINEERING, 2007, 33 (04) : 249 - 268
  • [3] Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph
    Wu, Wenjuan
    Ma, Dianfu
    Zhao, Yongwang
    Zhao, Xianqi
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2014, 2014, 8793 : 258 - 269
  • [4] Formal techniques for automatically generating marshalling code from high-level specifications
    Dietz, P
    Weigert, T
    Weil, F
    2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 40 - 47
  • [5] Verbalization of high-level formal proofs
    Holland-Minkley, Amanda M.
    Barzilay, Regina
    Constable, Robert L.
    Proceedings of the National Conference on Artificial Intelligence, 1999, : 277 - 284
  • [6] Verbalization of high-level formal proofs
    Holland-Minkley, AM
    Barzilay, R
    Constable, RL
    SIXTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-99)/ELEVENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE (IAAI-99), 1999, : 277 - 284
  • [7] Formal Verification of High-Level Synthesis
    Herklotz, Yann
    Pollard, James D.
    Ramanathan, Nadesh
    Wickerson, John
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):
  • [8] Consistency validation of high-level requirements
    Gorse, N
    Aboulhamid, EM
    Savaria, Y
    4TH IEEE INTERNATIONAL WORKSHOP ON SYSTEM-ON-CHIP FOR REAL-TIME APPLICATIONS, PROCEEDINGS, 2004, : 93 - 98
  • [9] A formal knowledge level process model of Requirements Engineering
    Herlea, DE
    Jonker, CM
    Treur, J
    Wijngaards, NJE
    MULTIPLE APPROACHES TO INTELLIGENT SYSTEMS, PROCEEDINGS, 1999, 1611 : 869 - 878
  • [10] A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems
    Farahbod, Roozbeh
    Avram, Vladimir
    Glaesser, Uwe
    Guitouni, Adel
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 211 - +
12345