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