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