Supplementary Material, Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo

Name: Supplementary Material, Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
Creator: University of Ottawa
Published: 2025-01-27T00:00:00+08:00

Zenodo2025-01-27 更新2026-04-07 收录

合同形式化规范生成

LLM需求工程应用

数据链接：

https://zenodo.org/doi/10.5281/zenodo.14749797 数据链接链接失效反馈

官方服务：

资源简介：

This repository contains all the files used in the experiments described in the paper "Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo", which appeared in "RAISE 2025: Requirements engineering for AI-powered SoftwarE", an ICSE 2025 workshop, Ottawa, May 3, 2025.

提供机构：

University of Ottawa

创建时间：

2025-01-27