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
Zenodo Logo
Dataset for a requirements modeling language and the Desiree framework
Zenodo
Li, Feng-Lin; Horkoff, Jennifer; Mylopoulos, John; Borgida, Alexander; Guizzardi, Renata; Guizzardi, Giancarlo; Liu, Lin; Peng, Yi — 2024-12-09 Case Study results.zip This zip file contains two complete case studies of a meeting scheduler and a nursing scheduler with a translation of the proposed requirements modeling language to OWL as described in the paper "From Stakeholder Requirements to Formal Specifications through Refinement" This dataset includes all the material related to the Desiree framework by Feng-Lin Li et al. It includes a requirements ontology, a description-based formal requirements language, and a prototype tool for the Desiree framework. Part of this repository captures an extension of the PROMISE repository: it provides re-classified PROMISE NFRs using the proposed requirements ontology rewritten in the description-based requirements modeling language. Graded.membership.calculation.pdf This file holds the calculation details of NFR satisfaction as described in the paper "An Ontological Interpretation of  Non-Functional Requirements" The list of PROMISE NFRs and ther Quality Goals.pdf This file holds the full list with all 370 PROMISE NFR items translated into the proposed quality goal modeling language in the papers "An Ontological Interpretation of  Non-Functional Requirements" and "Non-functional requirements as qualities with a spice of ontology" PROMISE NFRs.xslx, PROMISE FRs.xslx These two files hold the more detailed analysis of translating PROMISE requirements into the proposed modeling language. Desiree.Evaluation.pdf This file reports the evaluation of the effectiveness of the entire Desiree framework through three controlled experiments as described in "Engineering requirements with Desiree: an empirical evaluation" Tool.zip This zip file contains the prototype tool developed for the Desiree framework. It includes the protype itself, and a set of tutorials. Desiree Questionnaire.pdf, Desiree Questionnaire Results Original Data.zip These two files contain the questionnaire that was given to participents to evaluate the framework, as well as the the results as described in "Engineering requirements with Desiree: an empirical evaluation". 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: Mylopoulos, John)

Limit by:

Clear all

to