SET 2006: Warsaw, Poland

• Krzysztof Sacha:
  Preface. v
  

Software architectures and implementation technologies

• Leszek A. Maciaszek:
  From Hubs Via Holons to an Adaptive Meta-Architecture - the "AD-HOC" Approach. 1-13
  
• Piotr Kolaczkowski, Ilona Bluemke:
  A C++ Workbench with Accurate Non-Blocking Garbage Collector for Server Side Internet Applications. 15-24
  
• Yan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
  Scenario-based Component Behavior Filtration. 25-36
  
• Nour Ali, Jennifer Pérez, Cristóbal Costa Soria, Isidro Ramos, José A. Carsí:
  Mobile Ambients in Aspect-Oriented Software Architectures. 37-48
  
• Marcin Wolski, Cezary Mazurek, Pawel Spychala, Aleksander Sumowski:
  The architecture of distributed systems driven by autonomic patterns. 49-60
  

Modeling

• Gergely Mezei, Tihamer Levendovszky, Hassan Charaf:
  An optimizing OCL Compiler for Metamodeling and Model Transformation Environments. 61-71
  
• Andreas Bollin:
  Crossing the Borderline - From Formal to Semi-Formal Specifications. 73-84
  
• Kurt Geihs, Mohammad Ullah Khan, Roland Reichle, Arnor Solberg, Svein O. Hallsteinsen:
  Modeling of Component-Based Self-Adapting Context-Aware Applications for Mobile Devices. 85-96
  
• Yong Zhang, Tao Huang, Jun Wei, Ningjiang Chen:
  A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware. 97-108
  
• Tomasz Babczynski, Jan Magott:
  Estimation of mean response time of multi-agent systems. 109-113
  
• Marcin Szpyrka, Tomasz Szmuc:
  Integrated Approach to Modelling and Analysis using RTCP-nets. 115-120
  
• Konrad Kulakowski:
  Hybrid modeling and verification of Java based software. 121-126
  

Project management

• Pawel Pierzchalka:
  An evolutionary approach to project management process improvement for software-intensive projects. 127-138
  
• Norman E. Fenton, Lukasz Radlinski, Martin Neil:
  Improved Bayesian Networks for Software Project Risk Assessment Using Dynamic Discretisation. 139-148
  
• Tereza G. Kirner, Lourdes E. Gonçalves:
  Software Risk Management: a Process Model and a Tool. 149-154
  

Software Quality

• Iwona Dubielewicz, Bogumila Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz:
  An Approach to Software Quality Specification and Evaluation (SPoQE). 155-166
  
• Barbara Begier, Jacek Wdowicki:
  Feedback from Users on a Software Product to Improve Its Quality in Engineering Applications. 167-178
  
• Pawel Czarnul:
  Reaching and Maintaining High Quality of Distributed J2EE Applications - BeesyCluster Case Study. 179-190
  

Verification methods

• Maciej Dorsz, Mariusz Wasielewski:
  Automatic software validation process. 191-197
  
• Pawel Klaczewski, Jacek Wytrebowicz:
  j2eeprof - a tool for testing multitier applications. 199-210
  
• Timea Illes, Barbara Paech:
  An Analysis of Use Case Based Testing Approaches Based on a Defect Taxonomy. 211-222
  
• Tilo Mücke, Michaela Huhn:
  Minimizing Test Execution Time During Test Generation. 223-235
  
• Bixin Li, Yancheng Wang, LiLi Yang:
  An Integrated Regression Testing Framework to Multi-Threaded Java Programs. 237-248
  
• Juan P. Galeotti, Marcelo F. Frias:
  DynAlloy as a Formal Method for the Analysis of Java Programs. 249-260
  
• Jerzy Miescicki:
  Verification of UML State Diagrams Using Concurrent State Machines. 261-271
  
• Bartosz Bogacki, Bartosz Walter:
  Aspect-oriented Response Injection: an Alternative to Classical Mutation Testing. 273-282
  
• Anna Derezinska:
  Advanced mutation operators applicable in C# programs. 283-288
  

Data management

• Pawel Sieniawski, Bogdan Trawinski:
  An Open Platform of Data Quality Monitoring for ERP Information Systems. 289-299
  
• Krzysztof Goczyla, Teresa Zawadzka, Michal Zawadzki:
  Managing Data from Heterogeneous Data Sources Using Knowledge Layer. 301-312
  
• Marcin Gorawski, Pawel Marks:
  Checkpoint-based resumption in data warehouses. 313-323
  

Software maintenance

• Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau:
  A C++ Refactoring Browser and Method Extraction. 325-336
  
• Aleksy Schubert, Jacek Chrzaszcz:
  ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications. 337-348
  
• Leszek Kotulski, Adrian Nowak:
  Formalizing Software Refactoring in the Distributed Environment by aedNLC Graph Grammar. 349-360
  
• Jacek Chrzaszcz, Tomasz Stachowicz, Andrzej Gasienica-Samek, Aleksy Schubert:
  Minik: A Tool for Maintaining Proper Java Code Structure. 361-371
  
• Henryk Krawczyk, Konrad Dusza, Lukasz Budnik, Lukasz Byczkowski:
  Multidimensional Legacy Aspects of Modernizing Web Based Systems. 373-378