Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

by Tomasz Szmuc (Editor), Marcin Szpyrka (Editor), Jaroslav Zendulka (Editor)

Overview

This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. The 19 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on software architectures and development; modelling and formal methods in software development; measurements, testing, and quality of software.

Product Details

ISBN-13:	9783642280375
Publisher:	Springer Berlin Heidelberg
Publication date:	02/26/2012
Series:	Lecture Notes in Computer Science , #7054
Edition description:	2012
Pages:	276
Product dimensions:	0.00(w) x 0.00(h) x 0.03(d)

Table of Contents

Part I Software Architectures and Development

Towards Decision Centric Repository of Architectural Knowledge Bartosz Michalik Jerzy Nawrocki 3

Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning Pavol Mederly Marián Lekavý Marek Závodský Pavol Návrat 16

Integration of Application Business Logic and Business Rules with DSL and AOP Bogumila Hnatkowska Krzysztof Kasprzyk 30

Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling Radoslav Menkyna Valentino Vranic 40

On the Evolution of Component-Based Software Isabelle Côté Maritta Heisel Jeanine Souquières 54

Query Processing Using Negative and Temporal Tuples in Stream Query Engines Marcin Gorawski Aleksander Chrószcz 70

Scalable Store of Java Objects Using Range Partitioning Mariusz Bedla Krzysztof Sapiecha 84

Part II Modelling and Formal Methods in Software Development

HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration Slawomir Samolej Tomasz Szmuc 97

Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers Tomasz Rak Jan Werewka 109

Information Systems Development Based on Visual Domain Specific Language BiLingva Jana Cerina-Berzina Janis Bicevskis Ģirts Karnitis 124

A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management Iman Poernomo Timur Umarau 136

Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach Maxime Rebout Louis Féraud Lionel Marie-Magdeleine Sergei Soloviev 150

Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge Bozena Woźna-Szczesniak 164

The Semantics of Role-Based Trust Management Languages Anna Felkner Krzysztof Sacha 179

Part III Measurements, Testing, and Quality of Software

Applying of Smart Technologies: Evaluation of Effectiveness Zane Bicevska 193

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

Dataflow Testing of Java Programs with DFC Rona Bluemke Artur Rembiszewski 215

Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System Anna Derezinska Anna Szustek 229

Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles Alireza Khalilian Saeed Parsa 243

Author Index 257