You have Guest access.
Log In
Krzysztof Sacha
Front matter
1-13
From Hubs Via Holons to an Adaptive Meta-Architecture — the “AD-HOC” Approach
15-24
A C++ Workbench with Accurate Non-Blocking Garbage Collector for Server Side Internet Applications
25-36
Scenario-based Component Behavior Filtration
37-48
Mobile Ambients in Aspect-Oriented Software Architectures
49-60
The architecture of distributed systems driven by autonomic patterns
61-71
An optimizing OCL Compiler for Metamodeling and Model Transformation Environments
73-84
Crossing the Borderline — From Formal to Semi-Formal Specifications
85-96
Modeling of Component-Based Self-Adapting Context-Aware Applications for Mobile Devices
97-108
A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware
109-113
Estimation of mean response time of multi-agent systems
115-120
Integrated Approach to Modelling and Analysis using RTCP-nets
121-126
Hybrid modeling and verification of Java based software
127-138
An evolutionary approach to project management process improvement for software-intensive projects
139-148
Improved Bayesian Networks for Software Project Risk Assessment Using Dynamic Discretisation
149-154
Software Risk Management: a Process Model and a Tool
155-166
An Approach to Software Quality Specification and Evaluation (SPoQE)
167-178
Feedback from Users on a Software Product to Improve Its Quality in Engineering Applications
179-190
Reaching and Maintaining High Quality of Distributed J2EE Applications — BeesyCluster Case Study
191-197
Automatic software validation process
199-210
j2eeprof — a tool for testing multitier applications
211-222
An Analysis of Use Case Based Testing Approaches Based on a Defect Taxonomy
223-235
Minimizing Test Execution Time During Test Generation
237-248
An Integrated Regression Testing Framework to Multi-Threaded Java Programs
249-260
DynAlloy as a Formal Method for the Analysis of Java Programs
261-271
Verification of UML State Diagrams Using Concurrent State Machines
273-282
Aspect-oriented Response Injection: an Alternative to Classical Mutation Testing
283-288
Advanced mutation operators applicable in C# programs
289-299
An Open Platform of Data Quality Monitoring for ERP Information Systems
301-312
Managing Data from Heterogeneous Data Sources Using Knowledge Layer
313-323
Checkpoint-based resumption in data warehouses
325-336
A C++ Refactoring Browser and Method Extraction
337-348
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications
349-360
Formalizing Software Refactoring in the Distributed Environment by aedNLC Graph Grammar
361-371
Minik: A Tool for Maintaining Proper Java Code Structure
373-378
Multidimensional Legacy Aspects of Modernizing Web Based Systems
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info