ModelScope - Inspecting Executable Models during Run-time

机译：ModelScope-在运行时检查可执行模型

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper presents a software tool called ModelScope which is a co-debugging platform that, during run-time, allows insight into a model running on various different target systems with different views and diagrams for different aspects of the run-time state.

机译：本文介绍了一种称为ModelScope的软件工具，该工具是一个共调试平台，在运行时，可以洞察在各种不同目标系统上运行的模型，这些模型具有针对运行时状态不同方面的不同视图和图表。

著录项

来源
《Companion material of the 30th international conference on software engineering 2008》|2008年|P.48-49|共2页
会议地点 Leipzing(DE);Leipzing(DE)
作者
Philipp Graf; rnKlaus D. Mueller-Glaser;
展开▼
作者单位

Laboratory for Information Processing Technology (ITIV), University of Karlsruhe Karlsruhe, Germany;

rnLaboratory for Information Processing Technology (ITIV), University of Karlsruhe Karlsruhe, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算机软件;
关键词
design; verification;

机译：设计;验证;

相似文献

外文文献
中文文献
专利

1. Metamodeling for Medical Devices: Code Generation, Model-debugging and Run-time Synchronization [J] . Juha-Pekka Tolvanen, Verislav Djuki?, Aleksandar Popovic Procedia Computer Science . 2015,第1期

机译：医疗设备的元建模：代码生成，模型调试和运行时同步
2. Integrating Semantic Run-Time Models for Adaptive Software Systems [J] . Poggi Francesco, Rossi Davide, Ciancarini Paolo Journal of web engineering . 2019,第1a3期

机译：集成自适应软件系统的语义运行时模型
3. Integrating Semantic Run-Time Models for Adaptive Software Systems [J] . Poggi Francesco, Rossi Davide, Ciancarini Paolo Journal of web engineering . 2019,第1a3期

机译：为自适应软件系统集成语义运行时模型
4. ModelScope - Inspecting Executable Models during Run-time [C] . Companion material of the international conference on software engineering . 2008

机译：ModelScope - 在运行时检查可执行模型
5. Automatic, run-time and dynamic adaptation of distributed applications executing in virtual environments. [D] . Sundararaj, Ananth Inamti. 2006

机译：在虚拟环境中执行的分布式应用程序的自动，运行时和动态适应。
6. How do humans inspect BPMN models: an exploratory study [O] . Cornelia Haisjackl, Pnina Soffer, Shao Yi Lim, -1

机译：人类如何检查BPMN模型：一项探索性研究
7. A Format-Independent Architecture for Run-Time Integrity Checking of Executable Code [O] . Luigi Catuogno, Ivan Visconti 2003

机译：一种独立于格式的体系结构，用于执行代码的运行时完整性检查

ModelScope - Inspecting Executable Models during Run-time

摘要

著录项

相似文献

相关主题

期刊订阅