Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Models@ run. time: a guided tour of the state of the art and research challenges
More than a decade ago, the research topic models@ run. time was coined. Since then, the
research area has received increasing attention. Given the prolific results during these …
research area has received increasing attention. Given the prolific results during these …
Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime
M Szvetits, U Zdun - Software & Systems Modeling, 2016 - Springer
In the context of software development, models provide an abstract representation of a
software system or a part of it. In the software development process, they are primarily used …
software system or a part of it. In the software development process, they are primarily used …
ADDiff: semantic differencing for activity diagrams
Activity diagrams (ADs) have recently become widely used in the modeling of workflows,
business processes, and web-services, where they serve various purposes, from …
business processes, and web-services, where they serve various purposes, from …
Bridging models and systems at runtime to build adaptive user interfaces
M Blumendorf, G Lehmann, S Albayrak - Proceedings of the 2nd ACM …, 2010 - dl.acm.org
Adapting applications and user interfaces at runtime requires a deeper understanding of the
underlying design. Models formalize this design, express the underlying concepts and make …
underlying design. Models formalize this design, express the underlying concepts and make …
Model execution tracing: a systematic map** study
Abstract Model-Driven Engineering is a development paradigm that uses models instead of
code as primary development artifacts. In this paper, we focus on executable models, which …
code as primary development artifacts. In this paper, we focus on executable models, which …
Lotus@ runtime: A tool for runtime monitoring and verification of self-adaptive systems
DM Barbosa, RGDM Lima, PHM Maia… - 2017 IEEE/ACM 12th …, 2017 - ieeexplore.ieee.org
This paper presents Lotus@ Runtime, an extensible tool that uses models@ runtime to
monitor and verify self-adaptive systems. The tool monitors the execution traces generated …
monitor and verify self-adaptive systems. The tool monitors the execution traces generated …
[PDF][PDF] Model-driven engineering of self-adaptive software
T Vogel - 2018 - researchgate.net
The development of self-adaptive software requires the engineering of an adaptation engine
that controls the underlying adaptable software by a feedback loop. State-of-the-art …
that controls the underlying adaptable software by a feedback loop. State-of-the-art …
Runtime model-based privacy checks of big data cloud services
Cloud services have to comply with privacy policies when storing or processing data. As
cloud services become increasingly data-intensive, eg, in the case of big data analytics, data …
cloud services become increasingly data-intensive, eg, in the case of big data analytics, data …
Using run time traces in automated programming tutoring
Running test cases against a student's solution of a programming assignment is one of the
easiest ways to generate feedback. If black-box tests are used, students may have difficulties …
easiest ways to generate feedback. If black-box tests are used, students may have difficulties …
Optimizing the symbolic execution of evolving rhapsody statecharts
A Khalil, J Dingel - Advances in Computers, 2018 - Elsevier
Abstract Model-driven engineering (MDE) is an iterative and incremental software
development process. Supporting the analysis and the verification of software systems …
development process. Supporting the analysis and the verification of software systems …