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