IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 157
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, Paola; Muccini, Henry; Pelliccione, Patrizio
An Experience in Architectural Extensions: Active Objects in J2EE 1-gen-2002 Inverardi, Paola; F., Mancinelli; Muccini, Henry; Pelliccione, Patrizio
An Experience in Architectural Extension: Active Object in J2EE 1-gen-2002 Inverardi, Paola; Mancinelli, F.; Muccini, Henry; Pelliccione, Patrizio
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 1-gen-2003 Compare, D.; Inverardi, Paola; Pelliccione, Patrizio; Sebastiani, A.
Charmy: A Framework for Designing and Validating Architectural Specifications 1-gen-2004 Mauro, Caporuscio; Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio
Compositional Verification of Middleware-Based Software Architecture descriptions 1-gen-2004 M., Caporuscio; Inverardi, Paola; Pelliccione, Patrizio
Using UML for SA-based Modeling and Analysis 1-gen-2004 Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio
Model-Checking plus Testing: from Software Architecture Analysis to Code Testing 1-gen-2004 A., Bucchiarone; Muccini, Henry; Pelliccione, Patrizio; P., Pierini
Formal Analysis of Architectural Patterns 1-gen-2004 Caporuscio, M.; Inverardi, P.; Pelliccione, Patrizio
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
DUALLY: Putting in Synergy UML 2.0 and ADLs 1-gen-2005 Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio
Charmy: A framework for Software Architecture Specification and Analysis 1-gen-2005 Pelliccione, Patrizio
Modeling Exception Handling: a UML2.0 Platform Independent Profile for CAA 1-gen-2005 A., Capozucca; B., Gallina; N., Guelfi; Pelliccione, Patrizio
CHARMY: An Extensible Tool for Architectural Analysis 1-gen-2005 Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio
Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications 1-gen-2005 M, Caporuscio; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Pierantonio, Alfonso
CORRECT Developing Fault-Tolerant Distributed Systems 1-gen-2006 Alfredo, Capozucca; Barbara, Gallina; Nicolas, Guelfi; Pelliccione, Patrizio; AND ALEXANDER, Romanovsky
CAA-DRIP: a framework for implementing Coordinated Atomic Actions 1-gen-2006 A., Capozucca; N., Guelfi; Pelliccione, Patrizio; A., Romanovsky; A., Zorzo
Towards weaving software architecture models 1-gen-2006 DI RUSCIO, Davide; Muccini, Henry; Pierantonio, Alfonso; Pelliccione, Patrizio
Mostrati risultati da 1 a 20 di 157
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