| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465417903316 |
|
|
Titolo |
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2012.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 195 p. 66 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 7306 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
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 |
Conference proceedings. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
International conference proceedings. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and author index. |
|
|
|
|
|
|
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. |
|
|
|
|
|
|
Sommario/riassunto |
|
The book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with TOOLS 2012 Federated Conferences. The 12 revised full papers were carefully reviewed and selected from 42 submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on software composition in specification languages; context-aware and dynamic composition; composition in software development; and applications of software composition. |
|
|
|
|
|
|
|
| |