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.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $20. ThriftBooks.com. Read more. Spend less.