Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 132
Titolo Data di pubblicazione Autore(i) File
Quality analysis of NL requirements: an industrial case study 1-gen-2005 Bucchiarone, Antonio; Gnesi, S.; Pierini, P.
Formal Methods for Service Composition 1-gen-2007 Bucchiarone, Antonio; M., ter Beek; S., Gnesi
Architecting Fault-tolerant Component-based Systems: from requirements to testing 1-gen-2007 Bucchiarone, Antonio; Muccini, Henry; Pelliccione, Patrizio
Modelling Dynamic Software Architectures using Typed Graph Grammars 1-gen-2008 Bruni, Roberto; Bucchiarone, Antonio; Gnesi, Stefania; Melgratti, Hernán
Graph-Based Design and Analysis of Dynamic Software Architectures 1-gen-2008 Bruni, Roberto; Bucchiarone, Antonio; Gnesi, Stefania; Hirsch, Dan; Lluch Lafuente, Alberto
Self-Repairing systems modeling and verification using AGG 1-gen-2009 Bucchiarone, Antonio; P., Pelliccione; C., Vattani; O., Runge
Design for Adaptation of Service-Based Applications: Main Issues and Requirements 1-gen-2009 Bucchiarone, Antonio; C., Cappiello; E., Di Nitto; Kazhamiakin, Raman; V., Mazza; Pistore, Marco
A Formalisation of Adaptable Pervasive Flows 1-gen-2009 Bucchiarone, Antonio; A., Lluch Lafuente; Marconi, Annapaola; Pistore, Marco
Dynamic Software Architecture Development: Towards an Automated Process 1-gen-2009 M. H., ter Beek; Bucchiarone, Antonio; S., Gnesi
Formal Analysis and Verification of Self-Healing Systems 1-gen-2010 H., Ehrig; C., Ermel; O., Runge; Bucchiarone, Antonio; P., Pelliccione:
An Overall Process for Self-Adaptive Pervasive Systems 1-gen-2010 Bucchiarone, Antonio; Marconi, Annapaola; Pistore, Marco; S., Foll; K., Hermann; C., Hiesinger; S., Marinovic
A Context-driven Adaptation Process for Service-based Applications 1-gen-2010 Bucchiarone, Antonio; Kazhamiakin, Raman; C., Cappiello; E., Di Nitto; V., Mazza
A Framework for Rule-Based Dynamic Adaptation 1-gen-2010 I., Lanese; Bucchiarone, Antonio; F., Montesi
Service Engineering 1-gen-2010 V., Andrikopoulos; Bucchiarone, Antonio; E., Di Nitto; Kazhamiakin, Raman; S., Lane; V., Mazza; I., Richardson
An experience in using a tool for evaluating a large set of natural language requirements 1-gen-2010 Bucchiarone, Antonio; S., Gnesi; A., Fantechi; G., Trentanni
Describing Case Studies and Classifying Research Approaches 1-gen-2010 Bucchiarone, Antonio; Kazhamiakin, Raman; V., Mazza; P., Plebani
Exploiting assumption-based verification for the adaptation of service-based applications 1-gen-2010 A., Gehlert; Bucchiarone, Antonio; Kazhamiakin, Raman; A., Metzger; Pistore, Marco; K., Pohl
Using a Lifecycle Model for Developing and Executing Adaptable Interactive Distributed Applications 1-gen-2010 D., Meiländer; S., Gorlatch; C., Cappiello; V., Mazza; Kazhamiakin, Raman; Bucchiarone, Antonio
Adaptation of Service-based Business Processes by Context-Aware Replanning 1-gen-2011 Bucchiarone, Antonio; Kazhamiakin, Raman; Pistore, Marco; Raik, Heorhi
Adaptable Pervasive Flows: Towards a More Intelligent Environment 1-gen-2011 Bucchiarone, Antonio; S., Foll; K., Herrmann; Pistore, Marco; Raik, Heorhi
Mostrati risultati da 1 a 20 di 132
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