Software Engineering Techniques

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 Testing Framework 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.