Generative and Transformational Techniques in Software Engineering IV International Summer School GTTSE 2011 Braga Portugal July 3 9 2011 Revised Papers 1st Edition Darius Blasband 3642359922 9783642359927
Original price was: $50.00.$25.00Current price is: $25.00.
This completed downloadable of Generative and Transformational Techniques in Software Engineering IV International Summer School GTTSE 2011 Braga Portugal July 3 9 2011 Revised Papers 1st Edition Darius Blasband
Instant downloaded Generative and Transformational Techniques in Software Engineering IV International Summer School GTTSE 2011 Braga Portugal July 3 9 2011 Revised Papers 1st Edition Darius Blasband pdf docx epub after payment.
Product details:
- ISBN 10: 3642359922
- ISBN 13: 9783642359927
- Author: Darius Blasband
This tutorial volume includes revised and extended lecture notes of six long tutorials, five short tutorials, and one peer-reviewed participant contribution held at the 4th International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2011. The school presents the state of the art in software language engineering and generative and transformational techniques in software engineering with coverage of foundations, methods, tools, and case studies.
Table of contents:
Part I: Long Tutorials
Compilation of Legacy Languages in the 21st Century
Introduction
An Introduction to PL/I
The Preexisting PL/I Infrastructure
An Introduction to .NET
The Industrial Context
The Compiler’s Architecture
The Front-End
The Complete Process
Mapping PL/I to .NET
Memory Model
Thread Safety
Control Flow
Data Types
Avoiding Excessive Allocations
Irregular Assignments
Visual Studio Integration
Debugger Support
Tricks of the Trade
Mixed Language Support
The Virtue of Intermediate Representations
Spurious Error Message Limitation
A Testing Infrastructure
Dealing with Context Sensitivity
Lessons Learned
Intermediate Representations
Strong Typing
The Regression Testing Infrastructure
Reusing a Parser Designed for Modernization
Generating Code for a Virtual Machine
Further Work
Conclusion
References
Variation Programming with the Choice Calculus
Introduction
Elements of the Choice Calculus
Syntax and Semantics of the Choice Calculus
A Variation DSEL in Haskell
Variational Lists
Representing Variational Lists
Standard Variational List Functions
Edit Operations for Variational Lists
Variation Programming Modes
Variational Software
Representing Variational Haskell
Edit Operations for Variational Haskell
Further Reading
Concluding Remarks
References
Leveraging Static Analysis in an IDE
Introduction
Related Work
Core IDE Facilities
Basic IDE Requirements
Parsing
The IMP Program Database (PDB)
Indexing and the PDB
Computing and Presenting Type Hierarchies
Presenting Multiple and Interface Inheritance
Type Hierarchy Computation
Type Hierarchy Presentation
Data-Flow Analysis and Editor Presentation of Use/Def Chains
Analysis Formulation
Analysis Implementation
Solving the Constraints
Mapping Reaching Definition Sets into Use-Def Information
User Interface Integration
Effects Analysis and Refactoring
Refactoring
Effects Analysis Implementation
Refactoring Mechanics
Type Analysis and Code Smells
Implementing the Smell Detector
Detector Interface Implementation
Analysis Implementation
Smell Remediation
Conclusion
References
Differencing UML Models: A Domain-Specifi cvs. a Domain-Agnostic Method
Introduction
UMLDiff
The UMLDiff Algorithm
Assessing Similarity
VTracker
Cost Computation
Reference-Aware Edit Distance
Simplicity Heuristics
Schema-Driven Synthesized Cost Function
Comparison of the UMLDiff vs. VTracker Methodologies
Specification of XML Input for VTracker
Configuration of VTracker
Extraction of True Occurrences
Evaluation of Precision and Recall
Evaluation of Efficiency and Scalability
Threats to Validity
Related Work
Object-Oriented Design Differencing
Work Building on UMLDiff and VTracker
Summary and Conclusion
References
Model Management in the Wild
Introduction
Transformation Scenario
Modification and Validation
Structure of the Paper
Foundations of Model Management
Introduction to Epsilon
EOL Core Features
Key Languages in Epsilon
Epsilon Generation Language (EGL)
Epsilon Transformation Language (ETL)
The Epsilon Validation Language (EVL)
Application of Key Languages
Summary
Advanced Concepts
Model Comparison
Model Migration
Using Multiple Epsilon Languages Together
Architecture of Epsilon
Other Concepts
Outlook
References
Bidirectional by Necessity: Data Persistence and Adaptability for Evolving Application Development
Introduction
Scenario Requirements
The Status Quo
Related Tools with Different Requirements
Overview
Example Scenario
An Introduction to Virtual Databases and Channels
Channels and Channel Transformations
Transformations over Relational Schemas
Translating Queries
Translating DML Statements
Translating DDL Statements
Translating Foreign Keys
Business Logic and Channel Transformations
Business Logic Transformations and Correctness
Example Transformation: Audit
Translating Schema
Translating DML Statements
Translating Instances and Queries
Translating DDL Statements
Translating Foreign Keys
Object-Relational Mappings
Query and Update Statements
The Impedance Mismatch and Schema Evolution
The Mapping Relation
Similarity and Local Scope
Mapping Patterns
Evolving a Mapping
Main Example, Revisited
Further Reading and Future Directions
References
Part II: Short Tutorials
Requirements for Self-adaptation
Introduction
Background and Motivation
Goal-Based Requirements for Self-adaptive Systems: Foreseen and Foreseeable Adaptations
Foreseen Adaptations
Foreseeable Adaptations
Research Challenges
Dealing with Uncertainty
Run-Time Representations of Requirements
Evolution of the Requirements Models and Its Synchronization with the Architecture
Dynamic Generation of Software
Related Work
Conclusions
References
Dynamic Program Analysis for Database Reverse Engineering
Introduction
Preliminaries
Implicit Schema Constructs
Program-Database Dependencies
Exploiting Program-Database Dependencies
Dynamic SQL
SQL Statement Capturing Techniques
SQL Trace Analysis for Database Reverse Engineering
Heuristics for Implicit Foreign Key Detection
On-the-Fly Query Imbrication Detection
Initial Case Study
Related Work and Further Readings
Future Research Directions
Conclusions
References
Model-Based Language Engineering with EMFText
Introduction
Developing Languages with EMFText
Basic Language Development Concerns
The EMFText Language Development Process
Creating a DSL with EMFText: forms
Specifying the forms Metamodel
Specifying a Concrete Syntax for forms
Implementing Static Semantics with JastEMF
Interpretation and Compilation of Language Instances
Generating and Customising the Language Tooling
Integrating DSLs and GPLs Using EMFText
JaMoPP: The Java Model Parser and Printer
Integrating forms and JaMoPP
More JaMoPP Integration Examples
Related Work
Conclusion
References
Feature-Oriented Software Development
Introduction
Software Product Lines: The Basics
Domain Engineering and Application Engineering
Variability Modeling
What Is Feature-Oriented Software Development?
Feature-Oriented Programming
Collaboration-Based Design
Feature Modules
Jak
AHEAD
FeatureHouse
Virtual Separation of Concerns
Variability Implementation with Preprocessors
Disciplined Preprocessor Usage
Views
Coping with Obfuscated Source Code
Summary
Variability-Aware Analysis
Type Checking Annotation-Based Implementations
Type Checking Composition-Based Implementations
Analysis Strategies
Open Challenges
Conclusion
References
Language and IDE Modularization and Composition with MPS
Introduction
Contribution and Structure of the paper
Additional Resources
Terminology
Classification of Composition Approaches
Case Study
How MPS Works
Implementing a DSL with MPS
Language Composition with MPS
Language Referencing
Language Extension
Language Reuse
Language Embedding
Language Annotations
Discussion
Limitations
A Unified Approach
Real-World Use of MPS
Related Work
Modular Grammars and Parsers
Projectional Editing
Modular Compilers
Modular IDEs
Other Related Work
Summary
References
Part III: Participants Contributions
Tengi Interfaces for Tracing between Heterogeneous Components
Introduction
Running Example
Tengi Concepts
Tengi Interfaces
Operations on Tengi Interfaces
Tengi Tool Details
Case Study
Discussion
Related Work
Conclusion and Future Work
People also search:
a transformational leader
a generative theory of tonal music
a generative rhetoric of the sentence pdf
transformational-generative grammar
background of transformational leadership
You may also like…
Computers - Computer Science
Science (General)
