Software Engineering Techniques

Name: Software Engineering Techniques | Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

Zbigniev Huzar Radek Koci Bertrand Meyer Bartosz Walter Jaroslav Zendulka(Herausgeber*in)

Springer (Verlag)

Erschienen am 15. September 2011

XI, 291 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-22386-0 (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
Keynote
Towards a Compiler for Business-IT Systems
Introduction
Life Cycle Challenges in Business-IT Systems
Compilation Phases and Associated Research Problems
A Deeper Dive into the Research Problems
Parsing
Structural and Semantic Analysis
Translation and Intermediate Code Generation
Optimization
Final Assembly and Linking Further Optimization
Conclusion
References
Requirements Specification
Towards Use-Cases Benchmark
Introduction
Benchmark-Oriented Model of Use-Case-Based Specification
Analysis of Use-Cases-Based Specifications Structure
Building Referential Specification
Specification Domain and Structure
Use Cases Structure
Benchmarking Use Cases - Case Study
Quality Analysis
Time Analysis
Conclusions
References
Automated Generation of Implementation from Textual System Requirements
Introduction
Goals of the Paper
Specification of Requirements
Use Cases
Domain Model
Procasor Tool and Procases
Goals Revisited
Generating Process
Generating Tool in Detail
Procase Preprocessing
Determining Arguments
Application Generation
Navigation
Implementation Details
Evaluation and Related Work
Conclusion and Future Work
References
Enhancing Use Cases with Screen Designs
Introduction
Related Work
ScreenSpec - Language for Screen Specification
Language Definition
ScreenSpec Advanced Elements
Iterative Approach to Screen Specification
Experience with ScreenSpec
Specifying Screens for the Real Projects - Case Studies
ScreenSpec Efficiency Analysis
Visual Representation of Screens
ScreenSpec Meets Use Cases
Mockup
Conclusions
References
Design
Mining Design Patterns from Existing Projects Using Static and Run-Time Analysis
Introduction
Related Work
Our Approach
Structural Analysis
Semidynamic Analysis
Dynamic Analysis
Design Pattern Model and the Search
The Tool
Results
Conclusions and Future Work
References
Transformational Design of Business Processes for SOA
Introduction
Transformational Approach
Behavioral Equivalence
Process Algebra for Behavioral Equivalence
BPEL Behavioral Equivalence
Application of PA in Refactoring
Algorithm and Tools for Equivalence Verification
Process Design Example
Reference Process
Process Alternatives
Equivalence Verification
Alternatives Evaluation - Performance
Alternatives Evaluation - Reusability
Alternatives Selection
Summary
References
Service-Based Realization of Business Processes Driven by Control-Flow Patterns
Introduction
Related Work
Service Specification: Primitive and Composite Services
The Transformation
Example
Discussion
Conclusion
References
Modeling
SMA-The Smyle Modeling Approach
Introduction
Ingredients of the SMA
Message Sequence Charts
Communicating Finite-State Machines
The Gist of Smyle
MSC Patterns
The Smyle Modeling Approach
A Bird's-eye View on SMA
The SMA Lifecycle Model in detail
SMA vs. Other Lifecycle Models
SMA by Example
SMA in an Industrial Case Study
Conclusion
References
Open Work of Two-Hemisphere Model Transformation Definition into UML Class Diagram in the Context of MDA
Introduction
Model Transformations in Terms of Two-Hemisphere Model
Application of Two-Hemisphere Model for Obtaining of Elements of Class Diagram
General Schema of Transformation Abilities
An Illustrative Example of Class Diagram Generation from Two-Hemisphere Model
Practical Experiment with the Processing of Transformations from Two-Hemisphere Model into Class Diagram
Conclusions
References
HTCPNs-Based Tool for Web-Server Clusters Development
Introduction
Cluster Server Modelling Methodology
Logical Request Representation
Queueing System Models
Cluster Load-Balancing Model
Request Generator Model
Example Top-Level Cluster Server Model
Model Validation Capabilities
Conclusions and Future Research
References
Software Product Lines
Software Product Line Adoption - Guidelines from a Case Study
Introduction
Research Questions and Study Setup
State of the Art of Software Product Line Engineering and Adoption
Software Product Line Engineering
Software Product Line Adoption
Software Product Line Adoption Strategies
Software Product Line Adoption Models
Conduct of the Study
Choosing the Adoption Model
Interviews
Data Collection
Data Analysis and Results
Conclusions
References
Refactoring the Documentation of Software Product Lines
Introduction
Background
Software Product Line Development
Refactoring
Refactoring in Product Line Development
XML-Based Approaches to Technical Documentation Development
The DocLine Approach
Basic Ideas
DRL Overview
Documentation Development Process Model
Refactoring of Product Lines Documentation
Refactoring Process
Refactoring Operations
Refactoring Operation Example
The Toolset
The Experiment
Conclusions and Further Work
References
Code Generation
Code Generation for a Bi-dimensional Composition Mechanism
Introduction
A Bi-dimensional Composition Technique
Developing Autonomous Domains: Vertical Composition
Abstract Composition of Domains: Horizontal Composition
Generating Code for the Vertical Composition
Generating Code for the Horizontal Composition
Meta-metamodel for the Horizontal Composition
Relationships for Horizontal Composition at Metamodel Level
Relationships for Horizontal Composition at Model Level
Discussion
Conclusion
References
Advanced Data Organization for Java-Powered Mobile Devices
Introduction
Motivation
Problem to Solve
Solution
API
Extensibility
Measures
Future Work
Conclusion
References
Developing Applications with Aspect-Oriented Change Realization
Introduction
Changes as Crosscutting Requirements
Domain Specific Changes
Generally Applicable Changes
Applying a Change Type
Catalog of Changes
Integration Changes
Introducing User Rights Management
User Interface Restriction
Grid Display Changes
Input Form Changes
Changing a Change
Evaluation and Tool Support Outlooks
Related Work
Conclusions and Further Work
References
Project Management
Assessing the Quality of Quality Gate Reference Processes
Introduction
Outline
Concepts of Quality Gate Reference Processes
Structural Concepts
Criteria Concepts
Review Concepts
Steering Concepts
Tailoring Concepts
The Assessment Concept
Impacts of Shortcomings
Continues Improvement
Practical Application of the Assessment Concept
Conclusion and Outlook
References
Exploratory Comparison of Expert and Novice Pair Programmers
Introduction
Related Work
Study
Participants
Task
Realization
Data Analysis and Results
Time
Test Coverage
Measures of Input Activity
Threats to Validity
Conclusions and Future Work
References
State of the Practice in Software Effort Estimation: A Survey and Literature Review
Introduction
Sources of Deficits in Software Effort Estimation
Study Design
Study Objectives
Information Sources
Literature Review
Industrial Surveys
Study Limitations
State of the Industrial Software Effort Estimation Practice
Effort Estimation Capabilities
Applied Effort Estimation Methods
Detailed Requirements Regarding Software Effort Estimation Methods
Overview of Existing Software Effort Estimation Methods
Summary and Further Work Directions
References
Quality
Testing of Heuristic Methods: A Case Study of Greedy Algorithm
Introduction
The Metamorphic Testing (MT)
Greedy Algorithm on Set Covering Problem
Metamorphic Relation (MR)
Results and Observation
Conclusion
References
A Framework for Defect Prediction in Specific Software Project Contexts
Introduction
Requirements for Defect Prediction a Software Project
Software Defect Prediction Framework
Phase A - Preparation
Phase B - Model Construction
Phase C - Model Usages
Review of the Body of Literature on Defect Prediction
Extraction of Findings and Discussion
Conclusion and Further Work
References
Meeting Organisational Needs and Quality Assurance through Balancing Agile and Formal Usability Testing Results
Introduction
Testing - Prevailing Models vs. Agile Testing
The UTUM Test Package
The Study Methodology and the Case
Agile or Formal?
Discussion
Conclusion and Further Work
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken