Towards Decision Centric Repository of Architectural Knowledge.

Bartosz Michalik, Jerzy R. Nawrocki

 3-15

Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning.

Pavol Mederly, Marián Lekavý, Marek Závodský, Pavol Návrat

 16-29

Integration of Application Business Logic and Business Rules with DSL and AOP.

Bogumila Hnatkowska, Krzysztof Kasprzyk

 30-39

Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling.

Radoslav Menkyna, Valentino Vranic

 40-53

On the Evolution of Component-Based Software.

Isabelle Côté, Maritta Heisel, Jeanine Souquières

 54-69

Query Processing Using Negative and Temporal Tuples in Stream Query Engines.

Marcin Gorawski, Aleksander Chrószcz

 70-83

Scalable Store of Java Objects Using Range Partitioning.

Mariusz Bedla, Krzysztof Sapiecha

 84-93

HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration.

Slawomir Samolej, Tomasz Szmuc

 97-108

Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers.

Tomasz Rak, Jan Werewka

 109-123

Information Systems Development Based on Visual Domain Specific Language BiLingva.

Jana Cerina-Berzina, Janis Bicevskis, Girts Karnitis

 124-135

A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management.

Iman Poernomo, Timur Umarov

 136-149

Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach.

Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev

 150-163

Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge.

Bozena Wozna-Szczesniak

 164-178

The Semantics of Role-Based Trust Management Languages.

Anna Felkner, Krzysztof Sacha

 179-189

Applying of Smart Technologies: Evaluation of Effectiveness.

Zane Bicevska

 193-201

Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members.

Marvin Ferber, Sascha Hunold, Björn Krellner, Thomas Rauber, Thomas Reichel, Gudula Rünger

 202-214

Dataflow Testing of Java Programs with DFC.

Ilona Bluemke, Artur Rembiszewski

 215-228

Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System.

Anna Derezinska, Anna Szustek

 229-242

Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles.

Alireza Khalilian, Saeed Parsa

 243-256