12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013 ; proceedings
نام نخستين پديدآور
Walter Binder ... (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2013
مشخصات ظاهری
نام خاص و کميت اثر
VIII, 143 Seiten : Diagramme.
فروست
عنوان فروست
Lecture notes in computer science, 8088.
یادداشتهای مربوط به مندرجات
متن يادداشت
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.