Software Engineering Techniques: Design for Quality

Table of Contents......Page 8
Preface......Page 6
From Hubs Via Holons to an Adaptive Meta-Architecture – the \"AD-HOC\" Approach......Page 11
A C++ Workbench with Accurate Non-Blocking Garbage Collector for Server Side Internet Applications......Page 24
Scenario-based Component Behavior Filtration......Page 34
Mobile Ambients in Aspect-Oriented Software Architectures......Page 46
The architecture of distributed systems driven by autonomic patterns......Page 58
An optimizing OCL Compiler for Metamodeling and Model Transformation Environments......Page 70
Crossing the Borderline – From Formal to Semi-Formal Specifications......Page 81
Modeling of Component-Based Self-Adapting Context-Aware Applications for Mobile Devices......Page 93
A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware......Page 105
Estimation of mean response time of multi-agent systems......Page 117
Integrated Approach to Modelling and Analysis using RTCP-nets......Page 122
Hybrid modeling and verification of Java based software......Page 128
An evolutionary approach to project management process improvement for software-intensive projects......Page 134
Improved Bayesian Networks for Software Project Risk Assessment Using Dynamic Discretisation......Page 146
Software Risk Management: a Process Model and a Tool......Page 156
An Approach to Software Quality Specification and Evaluation (SPoQE)......Page 162
Feedback from Users on a Software Product to Improve Its Quality in Engineering Applications......Page 174
Reaching and Maintaining High Quality of Distributed J2EE Applications-BeesyCluster Case Study......Page 186
Automatic software validation process......Page 198
j2eeprof – a tool for testing multitier applications......Page 205
An Analysis of Use Case Based Testing Approaches Based on a Defect Taxonomy......Page 217
Minimizing Test Execution Time During Test Generation......Page 229
An Integrated Regression Testing Framework to Multi-Threaded Java Programs......Page 242
DynAlloy as a Formal Method for the Analysis of Java Programs......Page 254
Verification of UML State Diagrams Using Concurrent State Machines......Page 266
Aspect-oriented Response Injection: an Alternative to Classical Mutation Testing......Page 277
Advanced mutation operators applicable in C# programs......Page 287
An Open Platform of Data Quality Monitoring for ERP Information Systems......Page 293
Managing Data from Heterogeneous Data Sources Using Knowledge Layer......Page 304
Checkpoint-based resumption in data warehouses......Page 316
A C++ Refactoring Browser and Method Extraction......Page 327
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications......Page 339
Formalizing Software Refactoring in the Distributed Environment by aedNLC Graph Grammar......Page 351
Minik: A Tool for Maintaining Proper Java Code Structure......Page 363
Multidimensional Legacy Aspects of Modernizing Web Based Systems......Page 374