Sfoglia per Autore INVERARDI, PAOLA
Checking consistency between architectural models using SPIN
2001-01-01 Inverardi, P.; Muccini, Henry; Pelliccione, Patrizio
Automated Check of Architectural Models Consistency using Spin
2001-01-01 Inverardi, P.; Muccini, H.; Pelliccione, P
An Experience in Architectural Extensions: Active Objects in J2EE
2002-01-01 Inverardi, P.; Mancinelli, F.; H, Muccini; Pelliccione, P.
An Experience in Architectural Extension: Active Object in J2EE
2002-01-01 Inverardi, P.; Mancinelli, F.; Muccini, H.; Pelliccione, P
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle
2003-01-01 Compare, D.; Inverardi, P.; Pelliccione, P; Sebastiani, A.
Charmy: A Framework for Designing and Validating Architectural Specifications
2004-01-01 Mauro, Caporuscio; Inverardi, Paola; Henry, Muccini; Pelliccione, P
Using UML for SA-based Modeling and Analysis
2004-01-01 Cortellessa, V; DI MARCO, A; Inverardi, P; Muccini, H; Pelliccione, P
Formal Analysis of Architectural Patterns
2004-01-01 Caporuscio, M.; Inverardi, P.; Pelliccione, Patrizio
Compositional Verification of Middleware-Based Software Architecture descriptions
2004-01-01 Caporuscio, M.; Inverardi, P.; Pelliccione, P
Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications
2005-01-01 Caporuscio, M; DI RUSCIO, D; Inverardi, P; Pelliccione, P; A, Pierantonio
DUALLY: Putting in Synergy UML 2.0 and ADLs
2005-01-01 Inverardi, P; Muccini, H; Pelliccione, P
CHARMY: An Extensible Tool for Architectural Analysis
2005-01-01 Inverardi, Paola; H, Muccini; Pelliccione, Patrizio
A framework for integration of functional and non-functional analysis of software architectures
2005-01-01 Cortellessa, V; DI MARCO, A.; Inverardi, P.; Mancinelli, F.; Pelliccione, P.
A framework for integration of functional and non-functional analysis of software architectures
2005-01-01 Cortellessa, V.; DI MARCO, Antinisca; Inverardi, P.; Mancinelli, F.; Pelliccione, Patrizio
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach
2006-01-01 Daniela, Colangelo; Daniele, Compare; Inverardi, Paola; Pelliccione, P
A Scenario Based Notation for Specifying Temporal Properties
2006-01-01 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach
2007-01-01 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
Towards An Assume-Guarantee Theory for Adaptable Systems
2009-01-01 Inverardi, P; Pelliccione, P; Tivoli, M
Automatic synthesis of behavior protocols for composable web-services
2009-01-01 Bertolino, A; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Ad-Opera: Music-inspired Self-adaptive Systems
2010-01-01 Inverardi, Paola; Pelliccione, P; Michelangelo, Lupone; Alessio, Gabriele
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 |
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