INVERARDI, PAOLA

INVERARDI, PAOLA  

Mostra records
Risultati 1 - 20 di 23 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
A framework for integration of functional and non-functional analysis of software architectures 1-gen-2005 Cortellessa, V; DI MARCO, A.; Inverardi, P.; Mancinelli, F.; Pelliccione, P.
A framework for integration of functional and non-functional analysis of software architectures 1-gen-2005 Cortellessa, V.; DI MARCO, Antinisca; Inverardi, P.; Mancinelli, F.; Pelliccione, Patrizio
A Scenario Based Notation for Specifying Temporal Properties 1-gen-2006 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 1-gen-2019 Autili, Marco; Di Ruscio, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Ad-Opera: Music-inspired Self-adaptive Systems 1-gen-2010 Inverardi, Paola; Pelliccione, P; Michelangelo, Lupone; Alessio, Gabriele
An Experience in Architectural Extension: Active Object in J2EE 1-gen-2002 Inverardi, P.; Mancinelli, F.; Muccini, H.; Pelliccione, P
An Experience in Architectural Extensions: Active Objects in J2EE 1-gen-2002 Inverardi, P.; Mancinelli, F.; H, Muccini; Pelliccione, P.
Automated Check of Architectural Models Consistency using Spin 1-gen-2001 Inverardi, P.; Muccini, H.; Pelliccione, P
Automatic synthesis of behavior protocols for composable web-services 1-gen-2009 Bertolino, A; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Charmy: A Framework for Designing and Validating Architectural Specifications 1-gen-2004 Mauro, Caporuscio; Inverardi, Paola; Henry, Muccini; Pelliccione, P
CHARMY: An Extensible Tool for Architectural Analysis 1-gen-2005 Inverardi, Paola; H, Muccini; Pelliccione, Patrizio
Checking consistency between architectural models using SPIN 1-gen-2001 Inverardi, P.; Muccini, Henry; Pelliccione, Patrizio
Compositional Verification of Middleware-Based Software Architecture descriptions 1-gen-2004 Caporuscio, M.; Inverardi, P.; Pelliccione, P
DUALLY: Putting in Synergy UML 2.0 and ADLs 1-gen-2005 Inverardi, P; Muccini, H; Pelliccione, P
Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications 1-gen-2005 Caporuscio, M; DI RUSCIO, D; Inverardi, P; Pelliccione, P; A, Pierantonio
Formal Analysis of Architectural Patterns 1-gen-2004 Caporuscio, M.; Inverardi, P.; Pelliccione, Patrizio
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 1-gen-2007 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
Hey, my data are mine! Active data to empower the user 1-gen-2020 Scoccia, GIAN LUCA; Autili, Marco; Pelliccione, Patrizio; Inverardi, Paola; Maria Fiore, Matteo; Russo, Alejandro
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 1-gen-2003 Compare, D.; Inverardi, P.; Pelliccione, P; Sebastiani, A.
ModelLAND: Where do models come from? 1-gen-2014 Autili, Marco; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo