POLINI, Andrea

POLINI, Andrea  

Scuola di Scienze e Tecnologie  

Mostra records
Risultati 1 - 20 di 120 (tempo di esecuzione: 0.051 secondi).
Titolo Data di pubblicazione Autore(i) Tipo File
1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS 2008) 1-gen-2008 Mauro, Caporuscio; Antinisca Di, Marco; Leonardo, Mariani; Henry, Muccini; Polini, Andrea; Onn, Shehory ORGANIZZAZIONE DI EVENTI
2nd International Workshop Service Oriented Software Engineering 1-gen-2007 Elisabetta Di, Nitto; Polini, Andrea; Andrea, Zisman ORGANIZZAZIONE DI EVENTI
A Counter-example Testing Approach for Orchestrated Services 1-gen-2010 DE ANGELIS, Francesco; DE ANGELIS, Guglielmo; Polini, Andrea Contributo in atto di convegno su volume
A Customer Oriented Framework for Component Deployment Testing 1-gen-2005 Polini, Andrea; Bertolino, Antonia Capitolo di libro o voce di enciclopedia
A Framework for Component Deployment Testing 1-gen-2003 Bertolino, Antonia; Polini, Andrea Contributo in atto di convegno su volume
A Model Checking Strategy to Test Services in Orchestrations 1-gen-2010 Corradini, Flavio; DE ANGELIS, Francesco; Guglielmo De, Angelis; Polini, Andrea; Polzonetti, Alberto Contributo in atto di convegno su volume
A Participant Testing Strategy for Service Orchestrations 1-gen-2008 Corradini, Flavio; DE ANGELIS, Francesco; Polini, Andrea; Polzonetti, Alberto Contributo in atto di convegno su volume
A QoS Test-bed Generator for Web Services 1-gen-2007 Bertolino, Antonia; DE ANGELIS, Guglielmo; Polini, Andrea Contributo in atto di convegno su volume
Addressing Testing Objectives for e-Learning 1-gen-2005 Bertolino, Antonia; HERMANN HANS, Christian; Marchetti, Eda; Polini, Andrea Contributo in atto di convegno su volume
An architectural approach to the correct and automatic assembly of evolving component-based systems 1-gen-2008 Pelliccione, Patrizio; Tivoli, Massimo; Bucchiarone, Antonio; Polini, Andrea Articolo
An Eclipe plug-in for Public Administration software system modellling and simulation 1-gen-2011 Cognini, Riccardo; Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara Contributo in atto di convegno su volume
Applying Advanced UML-based Testing Methodologies to e-Learning 1-gen-2005 Gao, Jinghua; Marchetti, Eda; Polini, Andrea Contributo in atto di convegno su volume
Architectural Verification of Black-box Component-Based Systems 1-gen-2007 Bertolino, Antonia; Muccini, Henry; Polini, Andrea Contributo in atto di convegno su volume
Audition of Web Services for Testing Conformance to Open Specified Protocols 1-gen-2006 Bertolino, Antonia; Frantzen, Lars; Polini, Andrea; Tretmans, Jan Capitolo di libro o voce di enciclopedia
Automated Testing of Healthcare Document Transformations in the PICASSO Interoperability Platform 1-gen-2009 Pascale, Massimo; Roselli, Marcello; Rugani, Umberto; Bartolini, Cesare; Bertolino, Antonia; Lonetti, Francesca; Marchetti, Eda; Polini, Andrea Contributo in atto di convegno su volume
Automatic Generation of Test-beds for Pre-Deployment QoS Evaluation of Web Services 1-gen-2007 Bertolino, Antonia; DE ANGELIS, Guglielmo; Polini, Andrea Contributo in atto di convegno su volume
Automatic Test Data Generation for XML Schema-based Partition Testing 1-gen-2007 Bertolino, Antonia; Gao, Jinghua; Marchetti, Eda; Polini, Andrea Contributo in atto di convegno su volume
BPFM: A Notation and an Approach to Homogenize Variable Business Processes for Public Services 1-gen-2015 Cognini, Riccardo; Polini, Andrea; Polzonetti, Alberto; Re, Barbara Contributo in atto di convegno su volume
BProVe: a Formal Verification Framework for Business Process Models 1-gen-2017 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea Contributo in atto di convegno su volume
BProVe: Tool Support for Business Process Verification 1-gen-2017 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea Contributo in atto di convegno su volume