Software Architecture [[electronic resource] ] : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings / / edited by Ivica Crnkovic, Volker Gruhn, Matthias Book |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XV, 448 p. 155 illus., 52 illus. in color.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Computer communication systems Management information systems Computer science Application software Programming languages (Electronic computers) Software Engineering Logics and Meanings of Programs Computer Communication Networks Management of Computing and Information Systems Information Systems Applications (incl. Internet) Programming Languages, Compilers, Interpreters |
Soggetto genere / forma | Conference papers and proceedings. |
ISBN | 3-642-23798-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465945803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software Composition [[electronic resource] ] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings / / edited by Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XII, 195 p. 66 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer programming Computer logic Programming languages (Electronic computers) Computer communication systems Mathematical logic Software Engineering Programming Techniques Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Mathematical Logic and Formal Languages |
Soggetto genere / forma | Conference proceedings. |
ISBN | 3-642-30564-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modeling dynamic architectures using Dy-BIP / Marius Bozga, Mohamad Jaber, Nikolaos Maris ; and Joseph Sifakis -- Defining composition operators for BPMN / Paul Istoan -- Relaxing B sharing restrictions within CSP[bar][bar]B / Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin ; and Vincent Poirriez -- PaCE: a data-flow coordination language for asynchronous network-based applications / Mauro Caporuscio, Marco Funaro ; and Carlo Ghezzi -- Adaptation of legacy codes to context-aware composition using aspect-oriented programming / Antonina Danylenko ; and Welf Löwe -- Challenges for refinement and composition of instrumentations: position paper / Danilo Ansaloni, Walter Binder, Christoph Bockisch, Eric Bodden ; and Kardelen Hatun, ; et al. -- Constructing customized interpreters from reusable evaluators using GAME / Stijn Timbermont, Coen De Roover ; and Theo D'Hondt -- Revising and extending the Uppaal communication mechanism / Abdeldjalil Boudjadar, Jean-Paul Bodeveix ; and Mamoun Filali -- On the automated modularisation of Java programs using service locators / Syed Muhammad Ali Shah, Jens Dietrich ; and Catherine McCartin -- Touching factor: software development on tablets / Marc Hesenius, Carlos Dario Orozco Medina ; and Dominikus Herzberg -- Domain-specific languages in few steps: the Neverlang approach / Walter Cazzola -- Business process lines and decision tables driving flexibility by selection / Nicola Boffoli, Danilo Caivano, Daniela Castelluccia ; and Giuseppe Visaggio. |
Record Nr. | UNISA-996465417903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|