IRIS

Sfoglia per Autore  INVERARDI, PAOLA

Opzioni
Mostrati risultati da 1 a 20 di 23
Titolo Data di pubblicazione Autore(i) File
Checking consistency between architectural models using SPIN 1-gen-2001 Inverardi, P.; Muccini, Henry; Pelliccione, Patrizio
Automated Check of Architectural Models Consistency using Spin 1-gen-2001 Inverardi, P.; Muccini, H.; Pelliccione, P
An Experience in Architectural Extensions: Active Objects in J2EE 1-gen-2002 Inverardi, P.; Mancinelli, F.; H, Muccini; Pelliccione, P.
An Experience in Architectural Extension: Active Object in J2EE 1-gen-2002 Inverardi, P.; Mancinelli, F.; Muccini, H.; Pelliccione, P
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 1-gen-2003 Compare, D.; Inverardi, P.; Pelliccione, P; Sebastiani, A.
Charmy: A Framework for Designing and Validating Architectural Specifications 1-gen-2004 Mauro, Caporuscio; Inverardi, Paola; Henry, Muccini; Pelliccione, P
Using UML for SA-based Modeling and Analysis 1-gen-2004 Cortellessa, V; DI MARCO, A; Inverardi, P; Muccini, H; Pelliccione, P
Formal Analysis of Architectural Patterns 1-gen-2004 Caporuscio, M.; Inverardi, P.; Pelliccione, Patrizio
Compositional Verification of Middleware-Based Software Architecture descriptions 1-gen-2004 Caporuscio, M.; Inverardi, P.; 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
DUALLY: Putting in Synergy UML 2.0 and ADLs 1-gen-2005 Inverardi, P; Muccini, H; Pelliccione, P
CHARMY: An Extensible Tool for Architectural Analysis 1-gen-2005 Inverardi, Paola; H, Muccini; Pelliccione, Patrizio
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
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach 1-gen-2006 Daniela, Colangelo; Daniele, Compare; Inverardi, Paola; Pelliccione, P
A Scenario Based Notation for Specifying Temporal Properties 1-gen-2006 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 1-gen-2007 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
Towards An Assume-Guarantee Theory for Adaptable Systems 1-gen-2009 Inverardi, P; Pelliccione, P; Tivoli, M
Automatic synthesis of behavior protocols for composable web-services 1-gen-2009 Bertolino, A; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Ad-Opera: Music-inspired Self-adaptive Systems 1-gen-2010 Inverardi, Paola; Pelliccione, P; Michelangelo, Lupone; Alessio, Gabriele
Mostrati risultati da 1 a 20 di 23
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile