DArch: LLM-Assisted Logical Architecture Modeling Tool for Safety-Critical Software (Experience Results)
收藏官方服务：
资源简介：
The dataset consists of two components. The first is a compressed archive named “FSE 2026 Tool Demo”, which contains our experimental data, as well as publicly available tool links and tutorials. The second is a PDF file titled “LusGen_ Leveraging LLMs for Safety-Critical Lustre Design and Requirements Traceability.pdf”, which presents the paper on intelligent detailed design generation and intelligent generation of requirements traceability links.
提供机构：
Zenodo创建时间：
2026-01-21
