The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.

For more information about the 300 other books in the IFIP series, please visit www.springer.com.

For more information about IFIP, please visit www.ifip.org.

Inhalt

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.