Sacha Software Engineering Techniques: Design for Quality

1. Auflage 2007
ISBN: 978-0-387-39388-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band 227, 378 Seiten

Reihe: IFIP Advances in Information and Communication Technology

The aim of software engineering is to find methods for developing high quality software products at a reasonable cost. As more and more computers are being used in areas in which a malfunction of the system can be a source of serious losses or disturbances to the functioning of the society, the quality of software becomes a more and more critical factor of business success, human security, and safety. Examples of such application areas are enterprise management, public administration, and social insurance or post delivery services. The quality of services offered to the society depends on the quality of software systems that support the functioning of the respective public or private organizations (service providers). Software engineering consists of a selection of methods and techniques that vary from project to project and evolve in time. The purpose of this volume is to provide an overview of the current work in software development techniques that can help with enhancing 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.

Autoren/Hrsg.

Sacha, Krzysztof

Inhaltsverzeichnis

1;PREFACE;6
2;Reviewers;7
3;Table of Contents;8
4;From Hubs Via Holons to an Adaptive Meta- Architecture - tlie " AD- HOC" Approach;11
5;A C++ Workbench with Accurate Non- Blocking Garbage Collector for Server Side Internet Applications;24
6;Scenario-based Component Behavior Filtration;34
7;Mobile Ambients in Aspect- Oriented Software Architectures;46
8;The architecture of distributed systems driven by autonomic patterns;58
9;An optimizing OCL Compiler for Metamodeling and Model Transformation Environments;70
10;Crossing the Borderline - From Formal to Semi- Formal Specifications;81
11;Modeling of Component- Based Self- Adapting Context- Aware Applications for Mobile Devices;93
12;A Performance Analysis Infrastructure for Component- Based System Hosted by Middleware;105
13;Estimation of mean response time of multi-agent systems;117
14;Integrated Approach to Modelling and Analysis using RTCP- nets;122
15;Hybrid modeling and verification of Java based software;128
16;An evolutionary approach to project management process improvement for software- intensive projects;134
17;Improved Bayesian Networks for Software Project Risk Assessment Using Dynamic Discretisation;146
18;Software Risk Management: a Process Model and a Tool;156
19;An Approach to Software Quality Specification and Evaluation ( SPoQE);162
20;Feedback from Users on a Software Product to Improve Its Quality in Engineering Applications;174
21;Reaching and Maintaining High Quality of Distributed J2EE Applications - BeesyCluster Case Study;186
22;Automatic software validation process;198
23;j2eeprof - a tool for testing multitier applications;205
24;An Analysis of Use Case Based Testing Approaches Based on a Defect Taxonomy;217
25;Minimizing Test Execution Time During Test Generation;229
26;An Integrated Regression Testing Framework to Multi- Threaded Java Programs;242
27;DynAlloy as a Formal Method for the Analysis of Java Programs;254
28;Verification of UML State Diagrams Using Concurrent State Machines;266
29;Aspect- oriented Response Injection: an Alternative to Classical Mutation Testing;277
30;Advanced mutation operators applicable in C# programs;287
31;An Open Platform of Data Quality Monitoring for ERP Information Systems;293
32;Managing Data from Heterogeneous Data Sources Using Knowledge Layer;304
33;Checkpoint-based resumption in data warehouses;316
34;A C++ Refactoring Browser and Method Extraction;327
35;ESC/ Java2 as a Tool to Ensure Security in the Source Code of Java Applications;339
36;Formalizing Software Refactoring in the Distributed Environment by aedNLC Graph Grammar;351
37;Minik: A Tool for Maintaining Proper Java Code Structure;363
38;Multidimensional Legacy Aspects of Modernizing Web Based Systems;374