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
Published on 24. April 2012
276 pages
978-3-642-28038-2 (ISBN)
Description
This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009.
The 19 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on software architectures and development; modelling and formal methods in software development; measurements, testing, and quality of software.
More details
Other editions
Additional editions
Tomasz Szmuc | Marcin Szpyrka | Jaroslav Zendulka
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
Book
01/2012
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- 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
