![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
12th SC@STAF 2013: Budapest, Hungary
- Walter Binder
, Eric Bodden
, Welf Löwe:
Software Composition - 12th International Conference, SC@STAF 2013, Budapest, Hungary, June 19, 2013. Proceedings. Lecture Notes in Computer Science 8088, Springer 2013, ISBN 978-3-642-39613-7 - Seyed H. Haeri
, Sibylle Schupp:
Reusable Components for Lightweight Mechanisation of Programming Languages. 1-16 - Walter Cazzola
, Edoardo Vacchi
:
Neverlang 2 - Componentised Language Development for the JVM. 17-32 - Andreas Fuchs, Sigrid Gürgens:
Preserving Confidentiality in Component Compositions. 33-48 - Wakana Takeshita, Shigeru Chiba:
Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches. 49-64 - José Sánchez, Gary T. Leavens:
Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification. 65-80 - Fuminobu Takeyama, Shigeru Chiba:
Implementing Feature Interactions with Generic Feature Modules. 81-96 - Peter Y. H. Wong:
Compositional Development of BPMN. 97-112 - Fatih Gey, Stefan Walraven, Dimitri Van Landuyt
, Wouter Joosen:
Building a Customizable Business-Process-as-a-Service Application with Current State-of-Practice. 113-127 - Aleksandar S. Dimovski
:
Verifying Data Independent Programs Using Game Semantics. 128-143
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.