Software Composition - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642396137, 9783642396144

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reusable Components for Lightweight Mechanisation of Programming Languages

Software Composition - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39614-4_1 ◽

2013 ◽

pp. 1-16 ◽

Cited By ~ 4

Author(s):

Seyed H. Haeri ◽

Sibylle Schupp

Keyword(s):

Programming Languages ◽

Reusable Components

Download Full-text

Verifying Data Independent Programs Using Game Semantics

Software Composition - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39614-4_9 ◽

2013 ◽

pp. 128-143

Author(s):

Aleksandar S. Dimovski

Keyword(s):

Game Semantics

Download Full-text

Building a Customizable Business-Process-as-a-Service Application with Current State-of-Practice

Software Composition - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39614-4_8 ◽

2013 ◽

pp. 113-127 ◽

Cited By ~ 7

Author(s):

Fatih Gey ◽

Stefan Walraven ◽

Dimitri Van Landuyt ◽

Wouter Joosen

Keyword(s):

Business Process ◽

Current State ◽

State Of Practice ◽

Service Application

Download Full-text

Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification

Software Composition - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39614-4_5 ◽

2013 ◽

pp. 65-80 ◽

Cited By ~ 2

Author(s):

José Sánchez ◽

Gary T. Leavens

Keyword(s):

Event Type

Download Full-text

Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches

Software Composition - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39614-4_4 ◽

2013 ◽

pp. 49-64 ◽

Cited By ~ 1

Author(s):

Wakana Takeshita ◽

Shigeru Chiba

Download Full-text

Preserving Confidentiality in Component Compositions

Software Composition - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39614-4_3 ◽

2013 ◽

pp. 33-48 ◽

Cited By ~ 2

Author(s):

Andreas Fuchs ◽

Sigrid Gürgens

Download Full-text

Neverlang 2 – Componentised Language Development for the JVM

Software Composition - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39614-4_2 ◽

2013 ◽

pp. 17-32 ◽

Cited By ~ 7

Author(s):

Walter Cazzola ◽

Edoardo Vacchi

Keyword(s):

Language Development

Download Full-text

Implementing Feature Interactions with Generic Feature Modules

Software Composition - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39614-4_6 ◽

2013 ◽

pp. 81-96 ◽

Cited By ~ 2

Author(s):

Fuminobu Takeyama ◽

Shigeru Chiba

Keyword(s):

Feature Interactions

Download Full-text

Compositional Development of BPMN

Software Composition - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39614-4_7 ◽

2013 ◽

pp. 97-112

Author(s):

Peter Y. H. Wong

Download Full-text

Software Composition - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Reusable Components for Lightweight Mechanisation of Programming Languages

Verifying Data Independent Programs Using Game Semantics

Building a Customizable Business-Process-as-a-Service Application with Current State-of-Practice

Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification

Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches

Preserving Confidentiality in Component Compositions

Neverlang 2 – Componentised Language Development for the JVM

Implementing Feature Interactions with Generic Feature Modules

Compositional Development of BPMN

Software Composition - Lecture Notes in Computer Science
Latest Publications