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

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 : Rajpal, Sahil)

Limiter par :

Effacer tout

au