Skip to content
#

requirement-engineering

Here are 16 public repositories matching this topic...

TraceGuard

基于形式化需求规约与大模型融合的软件需求-代码一致性验证与缺陷自动检测系统 | Alloy 形式化锚定 · Java/Python/C/C++/Go 五语言解析 · 验证集盲评准确率 95.0% · 全程本地可运行(大创立项项目 · 2026AIC 参赛作品)

  • Updated Oct 3, 2026
  • Java

Add this topic to your repo

To associate your repository with the requirement-engineering topic, visit your repo's landing page and select "manage topics."

Learn more