Sfoglia per Autore  PELLICCIONE, PATRIZIO

Opzioni
Mostrati risultati da 1 a 20 di 177
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
Model-Checking plus Testing: from Software Architecture Analysis to Code Testing 1-gen-2004 Bucchiarone, A.; H, Muccini; Pelliccione, P.; Pierini, P.
Compositional Verification of Middleware-Based Software Architecture descriptions 1-gen-2004 Caporuscio, M.; Inverardi, P.; Pelliccione, P
Formal Analysis of Architectural Patterns 1-gen-2004 Caporuscio, M.; Inverardi, P.; Pelliccione, Patrizio
Charmy: A framework for Software Architecture Specification and Analysis 1-gen-2005 Pelliccione, P
Modeling Exception Handling: a UML2.0 Platform Independent Profile for CAA 1-gen-2005 A., Capozucca; B., Gallina; N., Guelfi; Pelliccione, P
DUALLY: Putting in Synergy UML 2.0 and ADLs 1-gen-2005 Inverardi, P; Muccini, H; Pelliccione, P
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.
CHARMY: An Extensible Tool for Architectural Analysis 1-gen-2005 Inverardi, Paola; H, Muccini; Pelliccione, Patrizio
Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications 1-gen-2005 Caporuscio, M; DI RUSCIO, D; Inverardi, P; Pelliccione, P; A, Pierantonio
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
TeStor: Deriving Test Sequences from Model-based Specifications 1-gen-2005 Pelliccione, Patrizio; Muccini, Henry; A., Bucchiarone; AND F., Facchini
CORRECT Developing Fault-Tolerant Distributed Systems 1-gen-2006 Alfredo, Capozucca; Barbara, Gallina; Nicolas, Guelfi; Pelliccione, P; AND ALEXANDER, Romanovsky
A Scenario Based Notation for Specifying Temporal Properties 1-gen-2006 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
Mostrati risultati da 1 a 20 di 177
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