Software Engineering Techniques: Design for Quality

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