Description |
1 online resource |
Series |
Lecture notes in computer science, 0302-9743 ; 7306 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7306.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
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 |
Summary |
Annotation 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 |
Analysis |
Computer science |
|
Software engineering |
|
Logic design |
|
Programming Techniques |
|
Logics and Meanings of Programs |
|
Programming Languages, Compilers, Interpreters |
|
Mathematical Logic and Formal Languages |
Bibliography |
Includes bibliographical references and author index |
Subject |
Computer software -- Development -- Congresses
|
|
Software engineering -- Congresses
|
|
Informatique.
|
|
Computer software -- Development
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Gschwind, Thomas.
|
ISBN |
9783642305641 |
|
3642305644 |
|
3642305636 |
|
9783642305634 |
|