Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Binder, Walter (Επιμελητής έκδοσης), Bodden, Eric (Επιμελητής έκδοσης), Löwe, Welf (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Σειρά: Lecture Notes in Computer Science, 8088
• Θέματα: Computer science.; Software engineering.; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

The book constitutes the refereed proceedings of the 12th International Conference on Software Composition, SC 2013, held in Budapest, Hungary, in June 2013, co-located with the STAF 2013 Federated Conferences. The 9 revised full papers were carefully reviewed and selected from 21 submissions for in...

Πίνακας περιεχομένων:

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