IFIP TC6 Open Digital Library

SET 2006: Warsaw, Poland

Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland

Krzysztof Sacha

Springer, IFIP 227, ISBN: 978-0-387-39387-2



Contents

Preface.

Krzysztof Sacha

 v

Software architectures and implementation technologies

From Hubs Via Holons to an Adaptive Meta-Architecture - the "AD-HOC" Approach.

Leszek A. Maciaszek

 1-13

A C++ Workbench with Accurate Non-Blocking Garbage Collector for Server Side Internet Applications.

Piotr Kolaczkowski, Ilona Bluemke

 15-24

Scenario-based Component Behavior Filtration.

Yan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng

 25-36

Mobile Ambients in Aspect-Oriented Software Architectures.

Nour Ali, Jennifer Pérez, Cristóbal Costa Soria, Isidro Ramos, José A. Carsí

 37-48

The architecture of distributed systems driven by autonomic patterns.

Marcin Wolski, Cezary Mazurek, Pawel Spychala, Aleksander Sumowski

 49-60

Modeling

An optimizing OCL Compiler for Metamodeling and Model Transformation Environments.

Gergely Mezei, Tihamer Levendovszky, Hassan Charaf

 61-71

Crossing the Borderline - From Formal to Semi-Formal Specifications.

Andreas Bollin

 73-84

Modeling of Component-Based Self-Adapting Context-Aware Applications for Mobile Devices.

Kurt Geihs, Mohammad Ullah Khan, Roland Reichle, Arnor Solberg, Svein O. Hallsteinsen

 85-96

A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware.

Yong Zhang, Tao Huang, Jun Wei, Ningjiang Chen

 97-108

Estimation of mean response time of multi-agent systems.

Tomasz Babczynski, Jan Magott

 109-113

Integrated Approach to Modelling and Analysis using RTCP-nets.

Marcin Szpyrka, Tomasz Szmuc

 115-120

Hybrid modeling and verification of Java based software.

Konrad Kulakowski

 121-126

Project management

An evolutionary approach to project management process improvement for software-intensive projects.

Pawel Pierzchalka

 127-138

Improved Bayesian Networks for Software Project Risk Assessment Using Dynamic Discretisation.

Norman E. Fenton, Lukasz Radlinski, Martin Neil

 139-148

Software Risk Management: a Process Model and a Tool.

Tereza G. Kirner, Lourdes E. Gonçalves

 149-154

Software Quality

An Approach to Software Quality Specification and Evaluation (SPoQE).

Iwona Dubielewicz, Bogumila Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz

 155-166

Feedback from Users on a Software Product to Improve Its Quality in Engineering Applications.

Barbara Begier, Jacek Wdowicki

 167-178

Reaching and Maintaining High Quality of Distributed J2EE Applications - BeesyCluster Case Study.

Pawel Czarnul

 179-190

Verification methods

Automatic software validation process.

Maciej Dorsz, Mariusz Wasielewski

 191-197

j2eeprof - a tool for testing multitier applications.

Pawel Klaczewski, Jacek Wytrebowicz

 199-210

An Analysis of Use Case Based Testing Approaches Based on a Defect Taxonomy.

Timea Illes, Barbara Paech

 211-222

Minimizing Test Execution Time During Test Generation.

Tilo Mücke, Michaela Huhn

 223-235

An Integrated Regression Testing Framework to Multi-Threaded Java Programs.

Bixin Li, Yancheng Wang, Lili Yang

 237-248

DynAlloy as a Formal Method for the Analysis of Java Programs.

Juan P. Galeotti, Marcelo F. Frias

 249-260

Verification of UML State Diagrams Using Concurrent State Machines.

Jerzy Miescicki

 261-271

Aspect-oriented Response Injection: an Alternative to Classical Mutation Testing.

Bartosz Bogacki, Bartosz Walter

 273-282

Advanced mutation operators applicable in C# programs.

Anna Derezinska

 283-288

Data management

An Open Platform of Data Quality Monitoring for ERP Information Systems.

Pawel Sieniawski, Bogdan Trawinski

 289-299

Managing Data from Heterogeneous Data Sources Using Knowledge Layer.

Krzysztof Goczyla, Teresa Zawadzka, Michal Zawadzki

 301-312

Checkpoint-based resumption in data warehouses.

Marcin Gorawski, Pawel Marks

 313-323

Software maintenance

A C++ Refactoring Browser and Method Extraction.

Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau

 325-336

ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications.

Aleksy Schubert, Jacek Chrzaszcz

 337-348

Formalizing Software Refactoring in the Distributed Environment by aedNLC Graph Grammar.

Leszek Kotulski, Adrian Nowak

 349-360

Minik: A Tool for Maintaining Proper Java Code Structure.

Jacek Chrzaszcz, Tomasz Stachowicz, Andrzej Gasienica-Samek, Aleksy Schubert

 361-371

Multidimensional Legacy Aspects of Modernizing Web Based Systems.

Henryk Krawczyk, Konrad Dusza, Lukasz Budnik, Lukasz Byczkowski

 373-378