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 条

[41] Modeling of Collaborative Enterprises - CSFs Driven High-Level Requirements
Livieri, Barbara
Kaczmarek, Monika
2015 IEEE 17TH CONFERENCE ON BUSINESS INFORMATICS, VOL 1, 2015, : 199 - 208
[42] Integrating high-level requirements in optimization problems: theory and applications
Roda, Fabio
4OR-A QUARTERLY JOURNAL OF OPERATIONS RESEARCH, 2014, 12 (02): : 199 - 200
[43] Integrating high-level requirements in optimization problems: theory and applications
Fabio Roda
4OR, 2014, 12 : 199 - 200
[44] Dynamic High-level Requirements in Self-Adaptive Systems
Rossi, Davide
Poggi, Francesco
Ciancarini, Paolo
33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2018, : 128 - 137
[45] High-level software requirements and iteration changes: a predictive model
Kelly Blincoe
Ali Dehghan
Abdoul-Djawadou Salaou
Adam Neal
Johan Linaker
Daniela Damian
Empirical Software Engineering, 2019, 24 : 1610 - 1648
[46] High-level software requirements and iteration changes: a predictive model
Blincoe, Kelly
Dehghan, Ali
Salaou, Abdoul-Djawadou
Neal, Adam
Linaker, Johan
Damian, Daniela
EMPIRICAL SOFTWARE ENGINEERING, 2019, 24 (03) : 1610 - 1648
[47] Extracting High-Level Functional Design from Software Requirements
Sharma, Vibhu Saujanya
Sarkar, Santonu
Verma, Kunal
Panayappan, Arun
Kass, Alex
APSEC 09: SIXTEENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2009, : 35 - +
[48] Synthesis of high-level requirements models for automatic test generation
Gupta, P
Cunning, SJ
Rozenblit, JW
EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 76 - 82
[49] QUALITY ASSURANCE REQUIREMENTS FOR HIGH-LEVEL WASTE FORM PRODUCTION
CHACEY, KA
CAMPBELL, MH
RADIOACTIVE WASTE MANAGEMENT AND ENVIRONMENTAL RESTORATION, 1989, 12 (1-4): : 237 - 245
[50] Engineering Escherichia coli for high-level production of propionate
Akawi, Lamees
Srirangan, Kajan
Liu, Xuejia
Moo-Young, Murray
Chou, C. Perry
JOURNAL OF INDUSTRIAL MICROBIOLOGY & BIOTECHNOLOGY, 2015, 42 (07) : 1057 - 1072

← 1 2 3 4 5 →