Skip to main content
Springer Nature Link
Log in

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Tomasz Szmuc

    1. Institute of Automatics, AGH University of Science and Technology, Krakw, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marcin Szpyrka

    1. Department of Automatics, AGH University of Science and Technology, Krakow, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jaroslav Zendulka

    1. Brno University of Technology, Brno, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7054)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: CEE-SET 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (19 papers)

  1. Front Matter

    Download chapter PDF

  2. Software Architectures and Development

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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
      Download chapter 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
Back to top

Other volumes

  1. Advances in Software Engineering Techniques

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top