Skip to main content
  • Conference proceedings
  • © 2012

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

  • 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)

Conference series link(s): CEE-SET: IFIP Central and East European Conference on Software Engineering Techniques

Conference proceedings info: CEE-SET 2009.

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-28038-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (19 papers)

  1. Front Matter

  2. Software Architectures and Development

    1. Front Matter

      Pages 1-1
    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-29Open Access
    4. Integration of Application Business Logic and Business Rules with DSL and AOP

      • Bogumiła Hnatkowska, Krzysztof Kasprzyk
      Pages 30-39Open Access
    5. Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling

      • Radoslav Menkyna, Valentino Vranić
      Pages 40-53Open Access
    6. On the Evolution of Component-Based Software

      • Isabelle Côté, Maritta Heisel, Jeanine Souquières
      Pages 54-69Open Access
    7. Query Processing Using Negative and Temporal Tuples in Stream Query Engines

      • Marcin Gorawski, Aleksander Chrószcz
      Pages 70-83Open Access
    8. Scalable Store of Java Objects Using Range Partitioning

      • Mariusz Bedla, Krzysztof Sapiecha
      Pages 84-93Open Access
  3. Modelling and Formal Methods in Software Development

    1. Front Matter

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

      • Sławomir Samolej, Tomasz Szmuc
      Pages 97-108Open Access
    3. 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-135Open Access
    4. Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach

      • Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev
      Pages 150-163Open Access
    5. Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge

      • Bożena Woźna-Szcześniak
      Pages 164-178Open Access
    6. The Semantics of Role-Based Trust Management Languages

      • Anna Felkner, Krzysztof Sacha
      Pages 179-189Open Access
  4. Measurements, Testing, and Quality of Software

    1. Front Matter

      Pages 191-191
    2. Applying of Smart Technologies: Evaluation of Effectiveness

      • Zane Bičevska
      Pages 193-201Open Access
    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-214Open Access

Other Volumes

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

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.

Keywords

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

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

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-28038-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)