SEMINI, LAURA Statistiche

SEMINI, LAURA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 55 (tempo di esecuzione: 0.027 secondi).
Titolo Data di pubblicazione Autore(i) File
A comparison of NLP Tools for RE to extract Variation Points 1-gen-2020 Arrabito, M.; Fantechi, A.; Gnesi, S.; Semini, L.
A Lightweight Approach to the Early Detection and Resolution of Feature Interactions 1-gen-2015 Montangero, Carlo; Semini, Laura
A Logical View of Choreography 1-gen-2006 Montangero, Carlo; Semini, Laura
A Place for Everything and Everything in its Place 1-gen-2014 Montangero, Carlo; Semini, Laura
A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming 1-gen-1996 Ambriola, Vincenzo; Cignoni, G. A.; Semini, Laura
A Refinement Calculus for Mobility: Expressing Security Properties 1-gen-1999 Ferrari, GIAN-LUIGI; Montangero, C; Semini, Laura
A Refinement Calculus for Tuple Spaces 1-gen-1999 Semini, Laura; Montangero, Carlo
A spaCy-based tool for extracting variability from NL requirements 1-gen-2021 Fantechi, A.; Gnesi, S.; Livi, S.; Semini, L.
Achieving fault tolerance by a formally validated interaction policy 1-gen-2006 A., Fantechi; S., Gnesi; Semini, Laura
Ad Hoc Network Applications: Specification, Design, and Verification in Mob_adtl 1-gen-2001 Ferrari, GIAN-LUIGI; Montangero, Carlo; Semini, Laura; Semprini, S.
Ad Hoc Network Applications: Specification, Design and Verification in Mob-adtl 1-gen-2001 Ferrari, GIAN-LUIGI; Montangero, C; Semini, Laura; Semprini, S.
Adopting a Machine Learning Approach in the Design of Smart Transportation Systems 1-gen-2016 Bacciu, Davide; Carta, Antonio; Gnesi, Stefania; Semini, Laura
Ambiguity defects as variation points in requirements 1-gen-2017 Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura
An experience in using machine learning for short-term predictions in smart transportation systems 1-gen-2017 Bacciu, Davide; Carta, Antonio; Gnesi, Stefania; Semini, Laura
An experience with the application of three nlp tools for the analysis of natural language requirements 1-gen-2020 Arrabito, M.; Fantechi, A.; Gnesi, S.; Semini, L.
Applying Refinement Calculi to Software Process Modelling 1-gen-1996 Montangero, Carlo; Semini, Laura
Applying the QuARS tool to detect variability 1-gen-2019 Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura
Barbed Model--Driven Software Development: A case study 1-gen-2008 Montangero, Carlo; Semini, Laura
Composing Specifications for Coordination 1-gen-1999 Montangero, Carlo; Semini, Laura
Detecting Policy Conflicts by Model Checking UML State Machines 1-gen-2009 M. H., TER BEEK; S., Gnesi; Montangero, Carlo; Semini, Laura