Objects, Components, Models and Patterns - Lecture Notes in Business Information Processing
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642025709, 9783642025716

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages

Objects, Components, Models and Patterns - Lecture Notes in Business Information Processing ◽

10.1007/978-3-642-02571-6_8 ◽

2009 ◽

pp. 116-135 ◽

Author(s):

Aram Hovsepyan ◽

Stefan Van Baelen ◽

Yolande Berbers ◽

Wouter Joosen

Keyword(s):

Modeling Languages ◽

Domain Specific ◽

Domain Specific Modeling ◽

Specific Modeling

Download Full-text

Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach

Objects, Components, Models and Patterns - Lecture Notes in Business Information Processing ◽

10.1007/978-3-642-02571-6_11 ◽

2009 ◽

pp. 175-194 ◽

Author(s):

Christian Kästner ◽

Sven Apel ◽

Salvador Trujillo ◽

Martin Kuhlemann ◽

Don Batory

Keyword(s):

Download Full-text

Automatic Generation of Integrated Formal Models Corresponding to UML System Models

Objects, Components, Models and Patterns - Lecture Notes in Business Information Processing ◽

10.1007/978-3-642-02571-6_21 ◽

2009 ◽

pp. 357-367 ◽

Author(s):

Helen Treharne ◽

Edward Turner ◽

Richard F. Paige ◽

Dimitrios S. Kolovos

Keyword(s):

Automatic Generation ◽

Formal Models ◽

Download Full-text

A Sound and Complete Program Logic for Eiffel

Objects, Components, Models and Patterns - Lecture Notes in Business Information Processing ◽

10.1007/978-3-642-02571-6_12 ◽

2009 ◽

pp. 195-214 ◽

Author(s):

Martin Nordio ◽

Cristiano Calcagno ◽

Peter Müller ◽

Bertrand Meyer

Keyword(s):

Program Logic ◽

Complete Program

Download Full-text

A Classification Framework for Pointcut Languages in Runtime Monitoring

Objects, Components, Models and Patterns - Lecture Notes in Business Information Processing ◽

10.1007/978-3-642-02571-6_17 ◽

2009 ◽

pp. 289-307 ◽

Author(s):

Karl Klose ◽

Klaus Ostermann

Keyword(s):

Runtime Monitoring ◽

Classification Framework

Download Full-text

Algebraic Semantics of OCL-Constrained Metamodel Specifications

Objects, Components, Models and Patterns - Lecture Notes in Business Information Processing ◽

10.1007/978-3-642-02571-6_7 ◽

2009 ◽

pp. 96-115 ◽

Author(s):

Artur Boronat ◽

José Meseguer

Keyword(s):

Algebraic Semantics

Download Full-text

Reusing and Composing Tests with Traits

Objects, Components, Models and Patterns - Lecture Notes in Business Information Processing ◽

10.1007/978-3-642-02571-6_15 ◽

2009 ◽

pp. 252-271 ◽

Author(s):

Stéphane Ducasse ◽

Damien Pollet ◽

Alexandre Bergel ◽

Damien Cassou

Download Full-text

CIF: A Framework for Managing Integrity in Aspect-Oriented Composition

Objects, Components, Models and Patterns - Lecture Notes in Business Information Processing ◽

10.1007/978-3-642-02571-6_3 ◽

2009 ◽

pp. 18-36 ◽

Author(s):

Andrew Camilleri ◽

Geoffrey Coulson ◽

Lynne Blair

Download Full-text

Stream-Based Dynamic Compilation for Object-Oriented Languages

Objects, Components, Models and Patterns - Lecture Notes in Business Information Processing ◽

10.1007/978-3-642-02571-6_6 ◽

2009 ◽

pp. 77-95 ◽

Author(s):

Michael Bebenita ◽

Mason Chang ◽

Andreas Gal ◽

Michael Franz

Keyword(s):

Object Oriented ◽

Dynamic Compilation ◽

Object Oriented Languages

Download Full-text

Fast Simulation Techniques for Design Space Exploration

Objects, Components, Models and Patterns - Lecture Notes in Business Information Processing ◽

10.1007/978-3-642-02571-6_18 ◽

2009 ◽

pp. 308-327 ◽

Author(s):

Daniel Knorreck ◽

Ludovic Apvrille ◽

Renaud Pacalet

Keyword(s):

Design Space Exploration ◽

Design Space ◽

Space Exploration ◽

Fast Simulation ◽

Simulation Techniques

Download Full-text