9 citations · 51 across the 16 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain
Jincao Feng, Weikai Miao, Hanyue Zheng +8
Formal methods are promising for modeling and analyzing system requirements. However, applying formal methods to large-scale industrial projects is a remaining challenge. The indus…
cs.SE2022
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals
Yechuan Xia, Jianwen Li, Shengping Xiao +2
In goal-oriented requirement engineering, boundary conditions(BC) are used to capture the divergence of goals, i.e., goals cannot be satisfied as a whole in some circumstances. As…