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
Published on 15. September 2011
XI, 291 pages
978-3-642-22386-0 (ISBN)
Description
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East-European Conference on Software Engineering Techniques, CEE-SET 2008, held in Brno, Czech Republic, in October 2008. The 20 revised full papers presented together with a keynote speech were carefully reviewed and selected from 69 initial submissions. The papers are organized in topical sections on requirements specification, design, modeling, software product lines, code generation, project management, and quality.
More details
Other editions
Additional editions
Zbigniev Huzar | Radek Koci | Bertrand Meyer
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
Book
07/2011
Springer
€53.49
Shipment within 7-9 days
Content
- 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
