Software engineering techniques, design for quality
著者
書誌事項
Software engineering techniques, design for quality
（The International Federation for Information Processing, 227）
Springer, c2006
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"IFIP TC-2 Working Conference on Software Engineering Techniques, SET 2006, October 17-20, 2006, Warsaw, Poland"
内容説明・目次
内容説明
This volume provides an overview of current work in software engineering techniques that can enhance the quality of software. The chapters of this volume, organized by key topic area, create an agenda for the IFIP Working Conference on Software Engineering Techniques, SET 2006. The seven sections of the volume address the following areas: software architectures, modeling, project management, software quality, analysis and verification methods, data management, and software maintenance.
目次
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.
「Nielsen BookData」 より
