Software Technologies Applications and Foundations 1st Edition by Martina Seidl, Steffen Zschaler ISBN 3319747304 9783319747309

Software Technologies Applications and Foundations 1st Edition by Martina Seidl, Steffen Zschaler – Ebook PDF Instant Download/Delivery: 3319747304, 978- 3319747309

Full download Software Technologies Applications and Foundations 1st Edition after payment

 

Product details:

ISBN 10:      3319747304

ISBN 13: 978-3319747309 

Author:     Martina Seidl, Steffen Zschaler

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions.
The events whose papers are included in this volume are:

•  BigMDE 2017: 5th International Workshop on Scalable Model Driven Engineering
  
•  GCM 2017: 8th International Workshop on Graph Computation Models
  
• GRAND 2017: 1st International Workshop on Grand Challenges in Modeling
  
• MORSE 2017: 4th International Workshop on Model-driven Robot Software Engineering
• OCL 2017: 17th International Workshop in OCL and Textual Modeling
  
• STAF Projects Showcase 2017: 3rd event dedicated to international and national project dissemination and cooperation

 

Software Technologies Applications and Foundations 1st Table of contents:

Model-Driven Engineering (MDE) and Optimization

1. Scalable Model Driven Engineering (BigMDE)
2. Injecting Execution Traces into a Model-Driven Framework for Program Analysis
3. Towards Automatic Generation of Evolution Rules for Model-Driven Optimisation
4. The Tool Generation Challenge for Executable Domain-Specific Modeling Languages
5. Towards Integration of Context-Based and Scenario-Based Development

Graph Computation and Program Analysis

1. Graph Computation Models (GCM)
2. Graph Rewriting Based Search for Molecular Structures: Definitions, Algorithms, Hardness
3. Checking Graph Programs for Confluence
4. Loose Graph Simulations
5. Evaluating a Graph Query Language for Human-Robot Interaction Data in Smart Environments

Model Transformation and Execution

1. Introduction of an OpenCL-Based Model Transformation Engine
2. Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars
3. Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph
4. Translating UML-RSDS OCL to ANSI C

Collaborative and Version-Controlled Modeling

1. Collaborative Modelling with Version Control
2. On the Need for Temporal Model Repositories
3. On the Need for Artifact Models in Model-Driven Systems Engineering Projects
4. Cognifying Model-Driven Software Engineering

Non-human and Human-Centric Modeling

1. Non-human Modelers: Challenges and Roadmap for Reusable Self-explanation
2. Modelling by the People, for the People
3. From Building Systems Right to Building Right Systems

Robotic Software Engineering and Interaction

1. Model-Driven Robot Software Engineering (MORSE)
2. Model-Driven Interaction Design for Social Robots
3. Formally Modeling Robot Behavior with UML and OCL
4. Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications

Software Engineering in Specialized Domains

1. A Java Bytecode Metamodel for Composable Program Analyses
2. Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER)
3. Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems
4. SECT-AIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction
5. DEIS: Dependability Engineering Innovation for Cyber-Physical Systems

Other Topics and Projects

1. Grand Challenges in Modeling (GRAND)
2. Models, More Models, and Then a Lot More
3. Step 0: An Idea for Automatic OCL Benchmark Generation
4. SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools
5. Mobile Health ID Card

OCL and Textual Modeling

1. Workshop in OCL and Textual Modelling
2. Mapping USE Specifications into Spec#
3. Deterministic Lazy Mutable OCL Collections

People also search for Software Technologies Applications and Foundations 1st:

software architecture foundations theory and practice
foundations of technology quizlet
application software apps
business applications technology
dsoft technology engineering & analysis inc

Tags:

Martina Seidl,Steffen Zschaler,Software,Technologies,Applications,Foundations 1st