RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
CBSE 2013 - Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering
2013-01-01 Kruchten, P; Giannakopoulou, D; Tivoli, Massimo
Editorial to theme issue on model-driven engineering of component-based software systems
2019-01-01 Ciccozzi, Federico; Carlson, Jan; Pelliccione, Patrizio; Tivoli, Massimo
IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014) - IEEE 10th World Congress on Services
2014-01-01 Autili, Marco; Goldman, A; Tivoli, Massimo
ModComp’14, Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, September 29, 2014, Vol. 1281, urn:nbn:de:0074-1281-7, http://ceur-ws.org/Vol-1281/
2014-01-01 Ciccozzi, F; Tivoli, Massimo; Carlson, J.
Preface
2007-01-01 Becker, S; Canal, C; Diakiv, N; Murillo, J. M.; Poizat, P; Tivoli, Massimo
Proceedings 14th international workshop on foundations of coordination languages and self-adaptive systems – Preface
2015-01-01 Proença, José; Tivoli, Massimo
Proceedings of the IEEE World Congress on Services, Visionary Track on Service Composition for the Future Internet (SCFI 2015)
2015-01-01 Autili, Marco; Goldman, Alfredo; Tivoli, Massimo
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019)
2019-01-01 Arbab, Farhad; Autili, Marco; Ciccozzi, Federico; Poizat, Pascal; Tivoli, Massimo
Proceedings of the International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)
2016-01-01 Autili, Marco; Bersani, Marcello; Bresolin, Davide; Ferrucci, Luca; Garcia-Valls, Marisol; Mazzara, Manuel; Tivoli, Massimo
Proceedings of the International Workshop on the "ART" of Software Composition and Formal Verification (VERY*SCART 2015)
2015-01-01 Autili, Marco; Goldman, A; Tivoli, Massimo
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
Opzioni
Scopri
Tipologia
- 7 Curatele 16
- 7 Curatele::7.1 Curatela 16
Data di pubblicazione
- 2020 - 2024 2
- 2010 - 2019 12
- 2007 - 2009 2
Editore
- Elsevier 2
- Springer 2
- ACM 1
- ACM Digital Library 1
- IEEE Computer Society Conference ... 1
- Institute of Electrical and Elect... 1
- Open Publishing Association 1
- Springer Verlag 1
- Springer-Verlag Berlin Heidelberg 1
Rivista
- ELECTRONIC NOTES IN THEORETICAL C... 2
- JOURNAL OF INTERNET SERVICES AND ... 2
- ELECTRONIC PROCEEDINGS IN THEORET... 1
- JOURNAL OF INTERNET SERVICES AND ... 1
- SOFTWARE AND SYSTEMS MODELING 1
- SOFTWARE ENGINEERING NOTES 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 2
- CEUR WORKSHOP PROCEEDINGS 1
- LECTURE NOTES IN COMPUTER SCIENCE 1
Keyword
- Computer Networks and Communications 2
- Computer Science Applications1707... 2
- Software 2
- Modeling and Simulation 1
Lingua
- eng 10
Accesso al fulltext
- no fulltext 16