Recherche

Zenodo Translation missing: fr.blacklight.search.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 Translation missing: fr.blacklight.search.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

Instructions pour la recherche cartographique

1.Activez le filtre cartographique en cliquant sur le bouton « Limiter à la zone sur la carte ».
2.Déplacez la carte pour afficher la zone qui vous intéresse. Maintenez la touche Maj enfoncée et cliquez pour encadrer une zone spécifique à agrandir sur la carte. Les résultats de la recherche changeront à mesure que vous déplacerez la carte.
3.Pour voir les détails d’un emplacement, vous pouvez cliquer soit sur un élément dans les résultats de recherche, soit sur l’épingle d’un emplacement sur la carte et sur le lien associé au titre.
Remarque : Les groupes servent à donner un aperçu visuel de l’emplacement des données. Puisqu’un maximum de 50 emplacements peut s’afficher sur la carte, il est possible que vous n’obteniez pas un portrait exact du nombre total de résultats de recherche.

(auteur : Mylopoulos, John)

Limiter par :

Effacer tout

au