Software Composition  12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /  [electronic resource] : 
edited by Walter Binder, Eric Bodden, Welf Löwe. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2013. 
 - 1 online resource (X, 145 p. 38 ill.) 
 - Lecture Notes in Computer Science,  8088  0302-9743 ; .
<br/><br/>Componentised Language Development for the JVM -- Preserving Confidentiality in Component Compositions -- Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches -- Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification -- Implementing Feature Interactions with Generic Feature Modules -- Compositional Development of BPMN -- Building a Customizable Business-Process-as-a-Service Application with current State-of-Practice -- Verifying Data Independent Programs Using Game Semantics.  . 
<br/><br/><label>ISBN: </label>9783642396144 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Computer logic.<br/>Mathematical logic.