Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

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...

Full description

Saved in:
Bibliographic Details
Main Authors Gschwind, Thomas, De Paoli, Flavio, Gruhn, Volker, Book, Matthias
Format eBook
LanguageEnglish
Published Netherlands Springer Nature 2012
Springer Berlin / Heidelberg
Springer
Edition1
SeriesLNCS sublibrary. SL 2, Programming and software engineering
Subjects
Computer programming, programs, data
Computer software
Congresses
Development
Software engineering
Online AccessGet full text

Cover

Abstract 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.
AbstractList 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.
Author Book, Matthias
Gruhn, Volker
Gschwind, Thomas
De Paoli, Flavio
Author_xml – sequence: 1
  fullname: Gschwind, Thomas
– sequence: 2
  fullname: De Paoli, Flavio
– sequence: 3
  fullname: Gruhn, Volker
– sequence: 4
  fullname: Book, Matthias
BookMark eNpNz0tLAzEQwPGID2xrb34A8SIeCkkmz6Mu9QEFD4rXkE2zdu02WXdW-_VdXBHnMgz8-MNMyVHKKR6QKSjBgUolxOH_44RMtBVGgOT6lMwR3-kwymrFxIScP-eq3_suXhR512as-zqnM3Jc-Qbj_HfPyOvd8qV4WKye7h-Lm9XCD3ljFyCBB2kYGK8k57qUPEQtq7XmStqyDFBZqhRT0piopKZUGBNYuY5CReAVzMj1GPa4jXvc5KZH99XEMuctOqvN3xtssFejbbv88Rmxdz8sxNR3vnHL2wKopkyLQV6OMnj0TZ1qt8spv3W-3aCTQ4pzC99jylR-
ContentType eBook
DBID I4C
DEWEY 005
DatabaseName Casalini Torrossa eBook Single Purchase
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 3642305644
9783642305641
Edition 1
Editor Book, Matthias
Gruhn, Volker
De Paoli, Flavio
Gschwind, Thomas
Editor_xml – sequence: 1
  fullname: Book, Matthias
– sequence: 2
  fullname: De Paoli, Flavio
– sequence: 3
  fullname: Gruhn, Volker
– sequence: 4
  fullname: Gschwind, Thomas
ExternalDocumentID 9783642305641
EBC3070174
5413229
GroupedDBID 089
0D6
0DA
2HV
38.
A4J
AABBV
AAPKO
ABBVZ
ABFCL
ABFCV
ABMNI
ADWNV
AEDXK
AEKFX
AEZAY
AFSBW
AIJHZ
AIMOO
ALMA_UNASSIGNED_HOLDINGS
AZZ
BBABE
CZZ
I4C
IEZ
IX.
JJU
LDH
MA.
NUC
PH7
PI1
SAO
SBO
TGCOT
TPJZQ
TSXQS
Z7R
Z7S
Z7U
Z7V
Z7W
Z7X
Z7Y
Z7Z
Z81
Z82
Z83
Z84
Z85
Z87
Z88
AEJLV
Z5O
ID FETCH-LOGICAL-a36489-3532c58138a65227b52ce75fd72659bbc3f906616588e65700488c1bde46e32f3
ISBN 3642305644
9783642305641
3642305636
9783642305634
IngestDate Fri Nov 08 02:53:38 EST 2024
Mon Mar 25 23:56:39 EDT 2024
Tue Nov 14 22:48:28 EST 2023
IsPeerReviewed false
IsScholarly false
LCCallNum_Ident Q
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-a36489-3532c58138a65227b52ce75fd72659bbc3f906616588e65700488c1bde46e32f3
OCLC 794843527
PQID EBC3070174
PageCount 203
ParticipantIDs askewsholts_vlebooks_9783642305641
proquest_ebookcentral_EBC3070174
casalini_monographs_5413229
PublicationCentury 2000
PublicationDate 2012
2012-04-30
PublicationDateYYYYMMDD 2012-01-01
2012-04-30
PublicationDate_xml – year: 2012
  text: 2012
PublicationDecade 2010
PublicationPlace Netherlands
PublicationPlace_xml – name: Netherlands
– name: Berlin, Heidelberg
PublicationSeriesTitle LNCS sublibrary. SL 2, Programming and software engineering
PublicationYear 2012
Publisher Springer Nature
Springer Berlin / Heidelberg
Springer
Publisher_xml – name: Springer Nature
– name: Springer Berlin / Heidelberg
– name: Springer
SSID ssj0000697614
Score 1.8995603
Snippet The book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in...
SourceID askewsholts
proquest
casalini
SourceType Aggregation Database
Publisher
SubjectTerms Computer programming, programs, data
Computer software
Congresses
Development
Software engineering
Subtitle 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
TableOfContents The Architectural Model -- Dependency Classification -- The Refactoring Process - CARE Plugin -- Results -- Impact of Refactorings -- Discussion -- Conclusion -- References -- Applications of Software Composition -- Touching Factor: Software Development on Tablets -- Introduction -- Productive Programming on a Tablet -- Advantages of Concatenative Programming -- Graphical Interface Prototype -- The Dictionary -- The Scratchpad -- The Traveller -- The Stack Viewer -- Related Work -- Conclusions and Perspective -- References -- Domain-Specific Languages in Few Steps The Neverlang Approach -- Introduction -- The Neverlang Framework -- Neverlang at a Glance -- Neverlang at Work -- Case Study: Linda+Python -- Linda+Python Building Blocks -- Building Linda+Python Up -- Flushing Flexibility Out -- Neverlang Close-up -- Related Work -- Conclusions -- References -- Business Process Lines and Decision Tables Driving Flexibility by Selection -- Introduction -- Business Process Lines Boosting Process Flexibility -- What Is BPL -- How to Build a BPL -- Illustrative Case Study -- The Validation Issue -- Decision Tables: Modeling and V&amp -- V -- What They Are -- What They Do -- Related Works -- Conclusion -- References -- Author Index
Adaptation of Legacy Codes to Context-Aware Composition Using Aspect-Oriented Programming -- Introduction -- Towards Context-Aware Composition with AOP -- Context-Aware Composition -- Prerequisites for Adaptation to Context-Aware Composition -- Concerns of Context-Aware Composition -- Aspect-Oriented Context-Aware Composition -- Implementation Details -- Experiments -- Overall Performance -- Performance Overhead -- Lines of Code -- Related Work -- Conclusions and Future Work -- References -- Challenges for Refinement and Composition of Instrumentations: Position Paper -- Introduction -- Challenges -- Motivating Example -- Specification and Enforcement of Constraints -- Hard-Coded Dependencies -- Related Work -- Instrumentation Frameworks -- Aspect-Oriented Approaches -- Conclusion -- References -- Composition in Software Development -- Constructing Customized Interpreters from Reusable Evaluators Using Game -- Introduction -- Motivating Example: The Impact of Automatic Memory Management on the Structure of an Evaluator -- Overview of Game -- Developing a Generic Evaluator -- Deriving a Generic Abstract Machine -- Instantiation of Generic Abstract Machines -- Evaluation -- Related Work -- Conclusions and Future Work -- References -- Revising and Extending the Uppaal Communication Mechanism -- Introduction -- Related Work -- Motivating Example. -- Transition System Extensions -- Labelled Transition Systems -- Timed Transition Systems Extensions -- Product of ETTSs -- Uppaal Networks of Timed Automata -- Extensions of Uppaal -- Compositional Uppaal -- Translation of Compositional Uppaal to Basic Uppaal -- Compositional Uppaal with Conditional Data Communication -- Conclusion -- References -- On the Automated Modularisation of Java Programs Using Service Locators -- Introduction -- Related Work -- Methodology -- Antipatterns Definition
Title -- Preface -- Organization -- Table of Contents -- Software Composition in Specification Languages -- Modeling Dynamic Architectures Using Dy-BIP -- Introduction -- Related Work -- The Dynamic-BIP Model -- Interaction Constraints -- Atomic Components -- Composition -- Methodology for Writing Interaction Constraints -- Causal Constraints -- Acceptance Constraints -- Filtering Constraints -- Experimental Results -- Masters and Slaves -- Fault-Tolerant Servers -- Trackers and Peers -- Conclusion -- References -- Defining Composition Operators for BPMN -- Introduction -- Research Context -- Petri Nets -- BPMN: Business Process Modelling and Notation -- Creating BPMN Composition Operators -- Abstract Syntax of BPMN Diagrams -- Extending BPMN with Composition Interfaces -- Sequential Composition Operator -- Parallel, Choice and Exclusive Choice Composition Operators -- Refinement Composition Operator -- Synchronization Composition Operator -- Exemplification of Composition Operators -- Conclusions -- References -- Relaxing B Sharing Restrictions within CSP B -- Introduction -- Concepts and Tools for CSP"026B30D B Components -- B Machines -- Communicating Sequential Processes (CSP) -- CSP B Components -- Motivating Case Study -- B-Based State Sharing within CSP B -- B Modular Characterisation of CSP Control -- From CSP to B Modularity -- Application to the Vehicle System -- Ensuring Divergence-Freedom of Shared B Machines -- Conclusion -- References -- PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Application -- Introduction -- Related Work -- The P-REST Approach at a Glance -- PaCE - Prime Coordination languagE -- Syntax -- Semantics -- PaCE: Interpreter -- Run-Time Adaptation -- Case Study -- Conclusion -- References -- Context-Aware and Dynamic Composition
Title Software Composition
URI http://digital.casalini.it/9783642305641
https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=3070174
https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783642305641&uid=none
Volume 7306
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3Nb9MwFLdgu7AL36IMJgtxS4LqOJ-TOLCoY6rKLh3VblHs2uu00kpLyrT99bznOB8dHDYuUWsldvLeL34feR-EfNZSg9CeR14gY2xhJrQnuASrdRhIUPd1OBSYjfzjNDr5GYzPw_MubMxkl1Tii7z7Z17J_3AVxoCvmCX7CM62k8IA_Ab-whE4DMd7ym_7t0mq1dWNidmC19mGXRnbnlULUwGic_LJNqXPODozB2Sxb3TH6-JiU8cB3im5QFXcuPDqDJ5bhzPHc8ZYVYThEF5m_AedyGvV8e9gIt9c1i7qXsSR-TK1rvOvj5dYDaCL9tkszHY3Wy-vuvhgTLyol6-qxaWdBSmpyq-T02zqlHiHtZfUmU4c-xwmwuxXk21ZNrRRXanFvm8Dg0TazzR93-aWzcvBYkK7x_pA7SYOG9W9itpr27KhOR-rGzyNE9j5dr-NxpNZ64kbRqCSmf5f7dRRXZqpW2qP7BXlFYgdEElViTpMURaYuvqXCDd6ydkLsquQZi_JE7V6RZ43LTqo3bFfk9sGKbSHlEOKOKFbOKEdTlw6zSjSyaU1RlxqEEIbhLgU8EE5ox5FfFDmmtPpIe1h4w2ZHY_OshPPdtvwCnjOJPV4yH0ZJownRQRaeSxCX6o41PPYj8JUCMl1CgoqA501UZHpi5Akkom5CiLFfc3fkp3VeqXeEcqSWCWsUNoP5gGXWhRgdrNAKR6lGoyIAfnUI2f-e2kiA8p8i10Dst9QOYcXt67gXuZhgA6UdEBoQ_jcXG2DmfPRUYZyDCzt9w9ZZZ8865D3gexU1xv1EfTMShxYoPwBNZ54Tg
link.rule.ids 307,783,787,789
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Software+composition%3A+11th+international+conference%2C+SC+2012%2C+Prague%2C+Czech+Republic%2C+May+31+-+June+1%2C+2012+%3A+proceedings&rft.au=Gschwind%2C+Thomas&rft.au=Paoli%2C+Flavio&rft.au=Gruhn%2C+Volker&rft.au=Book%2C+Matthias&rft.series=LNCS+sublibrary.+SL+2%2C+Programming+and+software+engineering&rft.date=2012-04-30&rft.pub=Springer&rft.isbn=9783642305634&rft.volume=7306&rft.externalDocID=9783642305641
thumbnail_m http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97836423%2F9783642305641.jpg