Titlebook: Software Technologies: Applications and Foundations; STAF 2017 Collocated Martina Seidl,Steffen Zschaler Conference proceedings 2018 Spring

江湖騙子

Conference proceedings 2018 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.

斗志

不能妥協(xié)

整頓

熔巖

Injecting Execution Traces into a Model-Driven Framework for Program Analysisl, available for further processing by query and transformation tools, e.g., for program understanding, reverse-engineering, modernization. In this paper we present our first steps towards extending MoDisco with capabilities for dynamic program analysis..We build an injector for program execution tr

Alcove

斷言

Accessible

孵卵器

Graph Rewriting Based Search for Molecular Structures: Definitions, Algorithms, Hardness based on the substitution of a single node in a node- and edge-labeled graph by an arbitrary graph, explicitly assigning new endpoints to the edges incident to the replaced node. For these graph rewriting systems, we are interested in the subgraph-matching problem. We show that the problem is NP-co

anesthesia

Towards Automatic Generation of Evolution Rules for Model-Driven Optimisation the specification of an optimisation problem to include a set of model transformations for deriving new solution candidates from existing ones. For some problems—for example, planning problems, where the domain only allows specific actions to be taken—this is an appropriate form of problem specific