Sfoglia per Rivista SCIENCE OF COMPUTER PROGRAMMING
Beyond Connected Cars: a Systems of Systems perspective
2020-01-01 Pelliccione, Patrizio; Knauss, Eric; Magnus Ågren, S; Heldal, Rogardt; Vinel, Alexey; Bergenhem, Carl; Brunnegård, Oliver
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates
2018-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
CHOReVOLUTION: Service choreography in practice
2020-01-01 Autili, M.; Di Salle, A.; Gallo, F.; Pompilio, C.; Tivoli, M.
Decoupling web application concerns through weaving operations
2008-01-01 Cicchetti, Antonio; DI RUSCIO, Davide
Failure-free coordinators synthesis for component-based architectures
2008-01-01 Tivoli, Massimo; Inverardi, Paola
Guest editorial to the special issue on Success Stories in Model Driven Engineering
2014-01-01 DI RUSCIO, Davide; Paige, R; Pierantonio, Alfonso
Guest editors' introduction to the fifth issue of Experimental Software and Toolkits (EST): A special issue on Academics Modelling with Eclipse (ACME2012)
2015-01-01 Van Den Brand, Mark; DI RUSCIO, Davide; Kolovos, Dimitrios S.; Rose, Louis M.
A hybrid approach for resource-based comparison of adaptable Java applications
2013-01-01 Autili, Marco; PAOLO DI, Benedetto; Inverardi, Paola
Managing the evolution of a software architecture at minimal cost under performance and reliability constraints
2014-01-01 Cortellessa, Vittorio; Mirandola, Raffaela; Potena, Pasqualina
On relating functional specifications to architectural specifications: A case study
2006-01-01 Corradini, Flavio; Inverardi, Paola; Wolf, A.
PRIMA-UML: a Performance Validation Incremental Methodology on Early UML Diagrams
2002-01-01 Cortellessa, Vittorio; R., Mirandola
Relational characterizations of system fault tolerance
2005-01-01 Cortellessa, Vittorio; DEL GOBBO, D.; Shereshevsky, M.; Desharnais, J.; Mili, A.
Special issue on model transformation
2007-01-01 Pierantonio, Alfonso; Vallecillo, A; Selic, B; Gray, J.
Special issue: Selected papers from the 12th International Conference on Quality Software (QSIC 2012)
2015-01-01 Muccini, Henry; Tang, Antony
Static Analysis of Real-Time Component-based Systems Configurations
2003-01-01 Attanasio, Candida; Corradini, Flavio; Inverardi, Paola
Supporting software evolution in component-based FOSS systems
2011-01-01 Di Cosmo, R; DI RUSCIO, Davide; Pelliccione, Patrizio; Pierantonio, Alfonso; Zacchiroli, S.
Uncovering Architectural Mismatch in Component Behavior
1999-01-01 Compare, D; Inverardi, Paola; Wolf, Al
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