Software Engineering Techniques: Design for Quality
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 modeli...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Boston, MA :
Springer US,
2007.
|
| Σειρά: | IFIP International Federation for Information Processing,
227 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
