SEMINI, LAURA Statistiche

SEMINI, LAURA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 55 (tempo di esecuzione: 0.038 secondi).
Titolo Data di pubblicazione Autore(i) File
A Logical View of Choreography 1-gen-2006 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
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
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
A comparison of NLP Tools for RE to extract Variation Points 1-gen-2020 Arrabito, M.; Fantechi, A.; Gnesi, S.; Semini, L.
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
Detection and Resolution of Feature Interactions, the Early Light Way 1-gen-2015 Montangero, Carlo; Semini, Laura
Distributed States Logic 1-gen-2002 Montangero, Carlo; Semini, Laura
DSTL: A Logic for Global Computing 1-gen-2005 Montangero, Carlo; Semini, Laura; Zanardo, A.
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.