IFIP TC6 Open Digital Library

CEE-SET 2009: Krakow, Poland

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

Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka

Springer, Lecture Notes in Computer Science 7054, ISBN: 978-3-642-28037-5


Software Architectures and Development

Towards Decision Centric Repository of Architectural Knowledge.

Bartosz Michalik, Jerzy R. Nawrocki


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

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


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

Bogumila Hnatkowska, Krzysztof Kasprzyk


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

Radoslav Menkyna, Valentino Vranic


On the Evolution of Component-Based Software.

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


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

Marcin Gorawski, Aleksander Chrószcz


Scalable Store of Java Objects Using Range Partitioning.

Mariusz Bedla, Krzysztof Sapiecha


Modelling and Formal Methods in Software Development

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

Slawomir Samolej, Tomasz Szmuc


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

Tomasz Rak, Jan Werewka


Information Systems Development Based on Visual Domain Specific Language BiLingva.

Jana Cerina-Berzina, Janis Bicevskis, Girts Karnitis


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

Iman Poernomo, Timur Umarov


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

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


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

Bozena Wozna-Szczesniak


The Semantics of Role-Based Trust Management Languages.

Anna Felkner, Krzysztof Sacha


Measurements, Testing, and Quality of Software

Applying of Smart Technologies: Evaluation of Effectiveness.

Zane Bicevska


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


Dataflow Testing of Java Programs with DFC.

Ilona Bluemke, Artur Rembiszewski


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

Anna Derezinska, Anna Szustek


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

Alireza Khalilian, Saeed Parsa