
Advances in Software Engineering Techniques
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
More details
Other editions
Additional editions

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
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.