Advances in Software Engineering Techniques

Name: Advances in Software Engineering Techniques | 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

Tomasz Szmuc Marcin Szpyrka Jaroslav Zendulka(Herausgeber*in)

Springer (Verlag)

Erschienen am 24. April 2012

276 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-28038-2 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Title
Preface
Organization
Table of Contents
Part I: Software Architecturesand Development
Towards Decision Centric Repository of Architectural Knowledge
Introduction
Related Work
Differences between Description Models
Architectural Knowledge Description Model
Design Decisions
Architectural Frame
Architectural Knowledge Repository
Ksantypa Case
Introduction
Architecture Discussion
Conclusions
References
Construction of Messaging-Based EnterpriseI ntegration Solutions Using AI Planning
Introduction
Messaging-Based Integration Solutions
Description of the Method
Input and Output of the Method
Action-Based Planners
Detailed Method Description
Implementation and Evaluation
Related Work
Conclusion and Future Work
References
Integration of Application Business Logic and Business Rules with DSL and AOP
Introduction
Features of Integration Layer
DSL Definition
Package Declaration
Event Definition
Business Logic to Business Rules Link Definition
Case Study
Related Works
Conclusions
References
Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling
Introduction
Two-Level Change Realization Framework
Generally Applicable Change Types as Paradigms
Modeling Paradigms
Method Substitution
Performing Action after Event
Feature Model of Changes
Expressing Changes in a Feature Model
Partial Feature Model
Transformational Analysis
Transformational Analysis of Changes
Example
Change Interaction
Related Work
Conclusions and Further Work
References
On the Evolution of Component-Based Software
Introduction
Basic Terminology and Prerequisites
The Evolution Method
Expressing Evolution Tasks
The Evolution Method
Application on the Case Study
The Base System
Evolution: Visual Signalization
Related Work
Conclusion and Future Work
References
Query Processing Using Negativeand Temporal Tuples in Stream Query Engines
Introduction
Concept of Data Stream Processing
Tuple Lifetime
Stream Monotonicity
Stream Operators
Join Operator
Aggregate Operator
Stream Compression
Distinct Operator
Minus Operator
Tests
Conclusion
References
Scalable Store of Java Objects Using Range Partitioning
Introduction
Motivation
RP* for Objects
Implementation of RP* for Java Objects
Performance Evaluation
Conclusions
References
Part II: Modelling and Formal Methodsin Software Development
HTCPNs-Based Modelling and Evaluationof Dynamic Computer Cluster Reconfiguration
Introduction
Web-Server Modelling Methodology Overview
Example Dynamic Cluster Reconfiguration Algorithm Evaluation
Related Work
Conclusions and Future Research
References
Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers
Introduction
Two-Layered Internet Distributed System
Performance Analysis
TCPN Simulation Models
Analysis Summary
Conclusion
References
Information Systems Development Based on Visual Domain Specific Language BiLingva
Introduction
Introduction to BiLingva Modelling Ideology
BiLingva Description
Object
Object Attribute
BiLingva Language Base Elements
Diagram
Model and Step-by-Step Detailing
Diagram Editor
Supporting Tools and Transition to Application
Practical Applicability
Conclusions
References
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management
Introduction
MEASUR Models
Ontologies
Norms
Event-B
Semantic Embedding of Normative Ontologies in Event-B
General Mapping Strategy
Example: A Stepwise Transformation of receive_order
Conclusion and Related Work
References
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach
Introduction
Essentials of the DPoPb
The DPoPb Graph Rewriting System
Putting the Transformations to Work
Discussion and Conclusion
References
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge
Introduction
The Logic RTECTLK
Bounded Model Checking
Bounded Semantics of RTECTLK
Equivalence of Bounded and Unbounded Semantics
Submodels of k-models
Translation to Boolean Formulae
A Train Controller System
Conclusions
References
The Semantics of Role-Based Trust Management Languages
Introduction
Role-Based Trust Management Languages
The Syntax of RT Languages
Examples
Set-Theoretic Semantics of RT Languages
The Semantics of RT0
The Semantics of RTT
Examples
Conclusions
References
Part III: Measurements, Testing, and Quality of Software
Applying of Smart Technologies: Evaluation of Effectiveness
Introduction
Criteria for Evaluation of Effectiveness
Effectiveness vs. Efficiency
Economical Criterion: Return on Investment
Quality Criteria
Organizational and Marketing Criteria
Empirical Data Sources
Version Management and Environment Checking Components
Version Management and Data Synchronisation Components
Conclusions
References
Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members
Introduction
MemberGroups in Classes
Relocation of MemberGroups
Moving Common MemberGroups
Moving Strong MemberGroups
Metrics and Tools for Analyzing and Relocating MemberGroups
Case Study
Related Work
Conclusions
References
Dataflow Testing of Java Programs with DFC
Introduction
Dataflow Testing
Related Work
DFC - A Tool for Dataflow Testing
Example
Conclusions
References
Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System
Introduction
Related Work
Advances in the CREAM2 System
Experiments on Operators Evaluation and Tests Qualification
Performance Evaluation
Conclusions and Future Work
References
Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles
Introduction
Background and Related Work
Test Suite Reduction
Coverage-Based Techniques
Distribution-Based Techniques
The Proposed Approach
Empirical Studies
Subject Programs and Measures
Clustering and Analysis Tools
Experiment Setup and Results
Threats to Validity
Conclusions
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken