Search

Zenodo Logo
Supplementary Material, Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
Zenodo
Zitouni, Mounira Nihad; Anda, Amal Ahmed; Rajpal, Sahil; Amyot, Daniel; Mylopoulos, John — 2025-01-27 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. https://creativecommons.org/licenses/by/4.0/legalcode

Map search instructions

1.Turn on the map filter by clicking the “Limit by map area” toggle.
2.Move the map to display your area of interest. Holding the shift key and clicking to draw a box allows for zooming in on a specific area. Search results change as the map moves.
3.Access a record by clicking on an item in the search results or by clicking on a location pin and the linked record title.
Note: Clusters are intended to provide a visual preview of data location. Because there is a maximum of 50 records displayed on the map, they may not be a completely accurate reflection of the total number of search results.

(Author: Anda, Amal Ahmed)

Limit by:

Clear all

to