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

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Binder, Walter (Editor ), Bodden, Eric (Editor ), Löwe, Welf (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Colección:Programming and Software Engineering, 8088
Temas:
Software engineering.
Computer science.
Machine theory.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.  .

Ejemplares similares