↓ Skip to main content

Software Technologies: Applications and Foundations

Overview of attention for book
Cover of 'Software Technologies: Applications and Foundations'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Injecting Execution Traces into a Model-Driven Framework for Program Analysis
  3. Altmetric Badge
    Chapter 2 Introduction of an OpenCL-Based Model Transformation Engine
  4. Altmetric Badge
    Chapter 3 Collaborative Modelling with Version Control
  5. Altmetric Badge
    Chapter 4 A Java Bytecode Metamodel for Composable Program Analyses
  6. Altmetric Badge
    Chapter 5 Graph Rewriting Based Search for Molecular Structures: Definitions, Algorithms, Hardness
  7. Altmetric Badge
    Chapter 6 Towards Automatic Generation of Evolution Rules for Model-Driven Optimisation
  8. Altmetric Badge
    Chapter 7 Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars
  9. Altmetric Badge
    Chapter 8 Checking Graph Programs for Confluence
  10. Altmetric Badge
    Chapter 9 Loose Graph Simulations
  11. Altmetric Badge
    Chapter 10 Models, More Models, and Then a Lot More
  12. Altmetric Badge
    Chapter 11 On the Need for Temporal Model Repositories
  13. Altmetric Badge
    Chapter 12 On the Need for Artifact Models in Model-Driven Systems Engineering Projects
  14. Altmetric Badge
    Chapter 13 Cognifying Model-Driven Software Engineering
  15. Altmetric Badge
    Chapter 14 Non-human Modelers: Challenges and Roadmap for Reusable Self-explanation
  16. Altmetric Badge
    Chapter 15 Some Narrow and Broad Challenges in MDD
  17. Altmetric Badge
    Chapter 16 Modelling by the People, for the People
  18. Altmetric Badge
    Chapter 17 From Building Systems Right to Building Right Systems
  19. Altmetric Badge
    Chapter 18 The Tool Generation Challenge for Executable Domain-Specific Modeling Languages
  20. Altmetric Badge
    Chapter 19 Toward Product Lines of Mathematical Models for Software Model Management
  21. Altmetric Badge
    Chapter 20 Model-Driven Interaction Design for Social Robots
  22. Altmetric Badge
    Chapter 21 Towards Integration of Context-Based and Scenario-Based Development
  23. Altmetric Badge
    Chapter 22 (An Example for) Formally Modeling Robot Behavior with UML and OCL
  24. Altmetric Badge
    Chapter 23 Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications
  25. Altmetric Badge
    Chapter 24 Evaluating a Graph Query Language for Human-Robot Interaction Data in Smart Environments
  26. Altmetric Badge
    Chapter 25 A Simulation Framework to Analyze Knowledge Exchange Strategies in Distributed Self-adaptive Systems
  27. Altmetric Badge
    Chapter 26 Workshop in OCL and Textual Modelling
  28. Altmetric Badge
    Chapter 27 Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph
  29. Altmetric Badge
    Chapter 28 Translating UML-RSDS OCL to ANSI C
  30. Altmetric Badge
    Chapter 29 Mapping USE Specifications into Spec#
  31. Altmetric Badge
    Chapter 30 Deterministic Lazy Mutable OCL Collections
  32. Altmetric Badge
    Chapter 31 Step 0: An Idea for Automatic OCL Benchmark Generation
  33. Altmetric Badge
    Chapter 32 SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools
  34. Altmetric Badge
    Chapter 33 Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER)
  35. Altmetric Badge
    Chapter 34 Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems
  36. Altmetric Badge
    Chapter 35 Mobile Health ID Card
  37. Altmetric Badge
    Chapter 36 SECT-AIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction
  38. Altmetric Badge
    Chapter 37 DEIS: Dependability Engineering Innovation for Cyber-Physical Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
7 X users

Readers on

mendeley
35 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Software Technologies: Applications and Foundations
Published by
Springer, Cham, January 2017
DOI 10.1007/978-3-319-74730-9
ISBNs
978-3-31-974729-3, 978-3-31-974730-9
Editors

Martina Seidl, Steffen Zschaler

X Demographics

X Demographics

The data shown below were collected from the profiles of 7 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 35 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Poland 1 3%
Unknown 34 97%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 10 29%
Student > Master 9 26%
Student > Bachelor 3 9%
Student > Doctoral Student 3 9%
Lecturer 3 9%
Other 7 20%
Readers by discipline Count As %
Computer Science 22 63%
Unspecified 3 9%
Engineering 3 9%
Medicine and Dentistry 3 9%
Agricultural and Biological Sciences 2 6%
Other 2 6%