Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 133
Titolo Data di pubblicazione Autore(i) Tipo File
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
Improving e-Government Business Processes Applying Formal Verification 1-gen-2010 Corradini, Flavio; D., Falcioni; Polini, Andrea; Polzonetti, Alberto; Re, Barbara 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
Designing Quality Business Processes for E-Government Digital Services 1-gen-2010 Corradini, Flavio; Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara Contributo in atto di convegno su volume
Quality Assurance for Service-based applications - QASBA 2011 1-gen-2011 Domenico, Bianculli; Sam, Guinea; Andreas, Metzger; Polini, Andrea ORGANIZZAZIONE DI EVENTI
Run-time systems failure prediction via proactive monitoring 1-gen-2011 Pengcheng, Zhang; Henry, Muccini; Polini, Andrea; Xuandong, Li Contributo in atto di convegno su volume
Monitoring Cases of Applicative Cooperation in Italian Local Public Administrations Focusing on the Process 1-gen-2011 Corradini, Flavio; Polini, Andrea; Polzonetti, Alberto; Re, Barbara; Carota, S.; Arduini, D. Contributo in atto di convegno su volume
(role)CAST: A Framework for On-line Service Testing 1-gen-2011 Antonia, Bertolino; Guglielmo De, Angelis; Polini, Andrea Contributo in atto di convegno su volume
eGAML: A Domain Specific Language for Design and Verification of e-Government Digital Services 1-gen-2011 Corradini, Flavio; Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara Contributo in atto di convegno su volume
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
Trends and Research Issues in SOA Validation 1-gen-2011 Antonia, Bertolino; Guglielmo De, Angelis; Polini, Andrea; Antonino, Sabetta Capitolo di libro o voce di enciclopedia
Validation and Verification Policies for Governance of Service Choreographies 1-gen-2012 Antonia, Bertolino; Guglielmo De, Angelis; Polini, Andrea Contributo in atto di convegno su volume
Livelock and Deadlock Detection for PA Inter-organizational Business Processes. 1-gen-2012 Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara Contributo in atto di convegno su volume
Formal methods to improve public administration business processes 1-gen-2012 Polini, Andrea; Polzonetti, Alberto; Re, Barbara Articolo
Improving PA Business Processes through Modeling, Analysis, and Reengineering 1-gen-2012 Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara Contributo in atto di convegno su volume
Enhancing Service Federation Trustworthiness through Online Testing 1-gen-2012 Antonia, Bertolino; Guglielmo De, Angelis; Sampo, Kellomäki; Polini, Andrea Articolo
Direct Verification of BPMN Processes through an Optimized Unfolding Technique 1-gen-2012 Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara Contributo in atto di convegno su volume
ParTes: A test generation strategy for choreography participants 1-gen-2013 DE ANGELIS, Francesco; Fani', Daniele; Polini, Andrea Contributo in atto di convegno su volume
ServicePot - An Extensible Registry for Choreography Governance 1-gen-2013 Midhat, Ali; Guglielmo De, Angelis; Polini, Andrea Contributo in atto di convegno su volume
HawkEye: a tool for collaborative business process modelling and verification 1-gen-2013 Riccardo, Cognini; Damiano, Falcioni; Polini, Andrea; Alberto, Polzonetti; Re, Barbara Contributo in atto di convegno su volume
Mostrati risultati da 41 a 60 di 133
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