GHEZZI, CARLO

GHEZZI, CARLO  

Mostra records
Risultati 1 - 20 di 194 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autori File
A Characterization of Mobility and State Distribution in Mobile Code Languages 1-gen-1997 CUGOLA, GIANPAOLOGHEZZI, CARLOPICCO, GIAN PIETRO +
A compositional method for reliability analysis of workflows affected by multiple failure modes 1-gen-2011 DISTEFANO, SALVATOREFILIERI, ANTONIOGHEZZI, CARLOMIRANDOLA, RAFFAELA
A formal approach to adaptive software: Continuous assurance of non-functional requirements 1-gen-2012 FILIERI, ANTONIOGHEZZI, CARLOTAMBURRELLI, GIORDANO
A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems 1-gen-1996 CUGOLA, GIANPAOLODI NITTO, ELISABETTAFUGGETTA, ALFONSOGHEZZI, CARLO
A Framework for Testing Object-Oriented Components 1-gen-1999 GHEZZI, CARLO +
A Framework for the Deployment of Adaptable Web Service Compositions 1-gen-2007 BARESI, LUCIANODI NITTO, ELISABETTAGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDRO
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 1-gen-2008 BIANCULLI, DOMENICOGHEZZI, CARLOSPOLETINI, PAOLABARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDRO
A hybrid approach (syntactic and textual) to clone detection 1-gen-2010 FUNARO, MARCOBRAGA, DANIELE MARIACAMPI, ALESSANDROGHEZZI, CARLO
A journey to highly dynamic, self-adaptive service-based applications 1-gen-2008 DI NITTO, ELISABETTAGHEZZI, CARLO +
A Model Checking Approach to Verify BPEL4WS Workflows 1-gen-2007 BIANCULLI, DOMENICOGHEZZI, CARLOSPOLETINI, PAOLA
A Model Parametric Real-Time Logic 1-gen-1992 MORZENTI, ANGELO CARLOMANDRIOLI, DINOGHEZZI, CARLO
A Peer-to-Peer Middleware for Mobile Teamwork 1-gen-2003 CUGOLA, GIANPAOLOGHEZZI, CARLOPICCO, GIAN PIETRO
A proposal for a new software reliability model and its preliminary assessment 1-gen-1986 BITTANTI, SERGIOBOLZERN, PAOLO GIUSEPPE EMILIOGHEZZI, CARLOSCATTOLINI, RICCARDO
A quality driven extension to the QVT-relations transformation language 1-gen-2012 DRAGO, MAURO LUIGIGHEZZI, CARLOMIRANDOLA, RAFFAELA
A Survey and Assessment of Software Process Representation Formalisms 1-gen-1993 GHEZZI, CARLOMORZENTI, ANGELO CARLO +
A Timed Extension of WSCoL 1-gen-2007 BARESI, LUCIANOBIANCULLI, DOMENICOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
A Unified High-level Petri Net Model for Time Critical Systems 1-gen-1991 GHEZZI, CARLOMANDRIOLI, DINO +
Adaptive Service-Oriented Mobile Applications: A Declarative Approach 1-gen-2012 CUGOLA, GIANPAOLOGHEZZI, CARLOSALES HOLANDA PINTO, LEANDROTAMBURRELLI, GIORDANO
An Approach to Model and Validate Publish/Subscribe Architectures 1-gen-2003 BARESI, LUCIANOGHEZZI, CARLOZANOLIN, LUCA
An Empirical Investigation Into Large-Scale Java Open Source Code Repository 1-gen-2010 COMI, MARCOCRESPI REGHIZZI, STEFANOGHEZZI, CARLO +