Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
New York, NY :
Springer US : Imprint: Springer,
2007.
|
| Edición: | 1st ed. 2007. |
| Colección: | IFIP Advances in Information and Communication Technology,
227 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.