Author:
Jin Zhi,Chen Xiaohong,Li Zhi,Yu Yijun
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deriving and Verifying B Specifications from Problem Frames Models via Model Transformation;2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW);2024-06-24
2. A Multimedia Approach to Problem Descriptions for Fine-Grained Detail Characterization;2023 IEEE 31st International Requirements Engineering Conference Workshops (REW);2023-09
3. Requirements Modeling Aided by ChatGPT: An Experience in Embedded Systems;2023 IEEE 31st International Requirements Engineering Conference Workshops (REW);2023-09
4. Efficiently Verifying Mutually Exclusive Inconsistency of Requirements for Embedded Systems;2023 9th International Symposium on System Security, Safety, and Reliability (ISSSR);2023-06
5. An Extended Meta-Model of Problem Frames for Enriching Environmental Descriptions;2021 IEEE 29th International Requirements Engineering Conference Workshops (REW);2021-09