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.
Ask a Question About this Product More... |