Sfoglia per Autore
Quality analysis of NL requirements: an industrial case study
2005-01-01 Bucchiarone, A.; Gnesi, S.; Pierini, P.
Formal Methods for Service Composition.
2007-01-01 M., ter Beek; Bucchiarone, A; and S., Gnesi
Web Service Composition Approaches: From Industrial Standards to Formal Methods
2007-01-01 Maurice H., ter Beek; Bucchiarone, A; Stefania, Gnesi
QoS Composition of Services for Data-Intensive Application
2007-01-01 Bucchiarone, A; Luigi, Presti
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
An architectural approach to the correct and automatic assembly of evolving component-based systems
2008-01-01 P., Pelliccione; M., Tivoli; Bucchiarone, A; and A., Polini
Modelling Dynamic Software Architectures using Typed Graph Grammars
2008-01-01 Bruni, Roberto; Bucchiarone, Antonio; Gnesi, Stefania; Melgratti, Hernán
From Requirements to Java code: an Architecture-centric Approach for producing quality systems
2008-01-01 Bucchiarone, A; D., di Ruscio; H. Muccini and P., Pelliccione.
A formalisation of Adaptable Pervasive Flows.
2009-01-01 Bucchiarone, A; A., Lluch Lafuente; A. Marconi and M., Pistore
Self-Repairing systems modeling and verification using AGG
2009-01-01 Bucchiarone, A.; Pelliccione, P.; Vattani, C.; Runge, O.
Dynamic Software Architecture Development: Towards an Automated Process
2009-01-01 ter Beek, M. H.; Bucchiarone, A.; Gnesi, S.
Design for Adaptation of Service-Based Applications: Main Issues and Requirements
2009-01-01 Bucchiarone, A.; Cappiello, C.; Di Nitto, E.; Kazhamiakin, R.; Mazza, V.; Pistore, M.
An experience in using a tool for evaluating a large set of natural language requirements
2010-01-01 Bucchiarone, A; Stefania, Gnesi; Alessandro, Fantechi; Gianluca, Trentanni:
Exploiting assumption-based verification for the adaptation of service-based applications
2010-01-01 Andreas, Gehlert; Bucchiarone, A; Raman, Kazhamiakin; Andreas, Metzger; Marco, Pistore; Klaus Pohl., SAC 2010:
A Framework for Rule-Based Dynamic Adaptation
2010-01-01 Lanese, I.; Bucchiarone, A.; Montesi, F.
A context-driven adaptation process for service-based applications
2010-01-01 Bucchiarone, A; Kazhamiakin, Raman; Cappiello, Cinzia; di Nitto, Elisabetta; Mazza, Valentina
Formal Analysis and Verification of Self-Healing Systems
2010-01-01 Ehrig, H.; Ermel, C.; Runge, O.; Bucchiarone, A.; Pelliccione:, P.
Using a Lifecycle Model for Developing and Executing Adaptable Interactive Distributed Applications
2010-01-01 Dominik, Meiländer; Sergei, Gorlatch; Cinzia, Cappiello; Valentina, Mazza; Raman, Kazhamiakin; Bucchiarone, A
An Overall Process for Self-Adaptive Pervasive Systems
2010-01-01 Bucchiarone, A; A., Marconi; M., Pistore; S., Foll; K., Hermann; C., Hiesinger; S., Marinovic
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