Advances in Software Engineering Techniques

1. Front Matter

   PDF

2. Software Architectures and Development

   1. Front Matter

      Pages 1-1

      PDF

   2. Towards Decision Centric Repository of Architectural Knowledge

      • Bartosz Michalik, Jerzy Nawrocki

      Pages 3-15

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

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

      Pages 16-29

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

      • Bogumiła Hnatkowska, Krzysztof Kasprzyk

      Pages 30-39

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

      • Radoslav Menkyna, Valentino Vranić

      Pages 40-53

   6. On the Evolution of Component-Based Software

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

      Pages 54-69

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

      • Marcin Gorawski, Aleksander Chrószcz

      Pages 70-83

   8. Scalable Store of Java Objects Using Range Partitioning

      • Mariusz Bedla, Krzysztof Sapiecha

      Pages 84-93

3. Modelling and Formal Methods in Software Development

   1. Front Matter

      Pages 95-95

      PDF

   2. HTCPNs–Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration

      • Sławomir Samolej, Tomasz Szmuc

      Pages 97-108

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

      • Tomasz Rak, Jan Werewka

      Pages 109-123

   4. Information Systems Development Based on Visual Domain Specific Language BiLingva

      • Jana Ceriņa-Bērziņa, Jānis Bičevskis, Ģirts Karnītis

      Pages 124-135

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

      • Iman Poernomo, Timur Umarov

      Pages 136-149

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

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

      Pages 150-163

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

      • Bożena Woźna-Szcześniak

      Pages 164-178

   8. The Semantics of Role-Based Trust Management Languages

      • Anna Felkner, Krzysztof Sacha

      Pages 179-189

4. Measurements, Testing, and Quality of Software

   1. Front Matter

      Pages 191-191

      PDF

   2. Applying of Smart Technologies: Evaluation of Effectiveness

      • Zane Bičevska

      Pages 193-201

   3. 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

      Pages 202-214

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.

• aspect-oriented programming
• business modeling
• domain specific languages
• performance evaluation
• test suite minimization

• Institute of Automatics, AGH University of Science and Technology, Krakw, Poland

  Tomasz Szmuc

• Department of Automatics, AGH University of Science and Technology, Krakow, Poland

  Marcin Szpyrka

• Brno University of Technology, Brno, Czech Republic

  Jaroslav Zendulka

Policies and ethics