检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

207 篇 会议
4 篇 期刊文献
2 册 图书

馆藏范围

213 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

185 篇 工学
- 167 篇 软件工程
- 165 篇 计算机科学与技术...
- 6 篇 电气工程
- 4 篇 控制科学与工程
- 3 篇 机械工程
- 3 篇 材料科学与工程（可...
- 3 篇 安全科学与工程
- 2 篇 冶金工程
- 2 篇 信息与通信工程
- 2 篇 化学工程与技术
- 2 篇 生物医学工程（可授...
- 2 篇 生物工程
- 1 篇 力学（可授工学、理...
18 篇 理学
- 12 篇 数学
- 4 篇 系统科学
- 2 篇 物理学
- 2 篇 化学
- 2 篇 生物学
- 2 篇 统计学（可授理学、...
- 1 篇 地质学
18 篇 管理学
- 15 篇 管理科学与工程(可...
- 9 篇 工商管理
- 2 篇 图书情报与档案管...
5 篇 法学
- 3 篇 社会学
- 1 篇 法学
- 1 篇 马克思主义理论
4 篇 教育学
- 4 篇 教育学
3 篇 医学
- 2 篇 基础医学(可授医学...
- 2 篇 临床医学
2 篇 经济学
- 2 篇 应用经济学

主题

27 篇 unified modeling...
22 篇 software
18 篇 tools
14 篇 analytical model...
12 篇 context
10 篇 software enginee...
10 篇 computational mo...
9 篇 model-driven eng...
9 篇 software design
8 篇 uml
8 篇 data models
7 篇 model driven eng...
7 篇 model-driven dev...
6 篇 object oriented ...
6 篇 computer archite...
6 篇 software archite...
6 篇 automotive engin...
6 篇 model transforma...
6 篇 adaptation model...
5 篇 companies

机构

5 篇 group of softwar...
4 篇 softeam
2 篇 malina software ...
2 篇 school of electr...
2 篇 systems and soft...
2 篇 department of co...
2 篇 faculty of eemcs...
2 篇 friedrich schill...
2 篇 university of tw...
2 篇 airbus def & spa...
2 篇 innopolis univ i...
2 篇 information secu...
2 篇 fzi res ctr info...
2 篇 centro algoritmi...
2 篇 tianjin informat...
2 篇 instituto polité...
2 篇 school of comput...
2 篇 inesc-id univers...
2 篇 space systems ai...
2 篇 politecnico di m...

作者

3 篇 martínez patrici...
3 篇 philippe desfray
3 篇 cuesta césar cue...
3 篇 bauer bernhard
3 篇 drake josé m.
3 篇 slimane hammoudi
3 篇 maschotta ralph
3 篇 bran selic
3 篇 jungebloud tino
3 篇 wichmann alexand...
3 篇 zimmermann armin
2 篇 iglesias aitzibe...
2 篇 hammer maximilia...
2 篇 ramesh s.
2 篇 charramendieta s...
2 篇 geismann johanne...
2 篇 schmelter david
2 篇 sudhakaran m.
2 篇 desfray philippe
2 篇 pohlmann uwe

语言

212 篇 英文
1 篇 西班牙文

检索条件"任意字段=4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016"

共 213 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

4th international conference on model-driven engineering and software development, modelsward 2016

4th International Conference on Model-Driven Engineering and...

引用

Doctoral Consortium - 4th international conference on model-driven engineering and software development, modelsward 2016

ISBN: (纸本)9783319663012

the proceedings contain 17 papers. the special focus in this conference is on model-driven engineering and software development. the topics include: Survey on the applicability of textual notations for the unified modeling language;using workflows to automate activities in MDE tools;schedulability analysis of pre-runtime and runtime scheduling algorithm of an industrial real time system;cognitive feedback and behavioral feedforward automation perspectives for modeling and validation in a learning context;automatically testing of multimodal interactive applications;automated web service composition testing as a service;software testing techniques revisited for OWL ontologies;certification of cash registers software;meta-tool for model-driven verification of constraints satisfaction;a model-driven adaptive approach for IoT security;identifying performance objectives to guide service oriented architecture layers;empirical investigation of scrumban in global software development;verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations;model-based architecture for learning in complex organization;an assessment environment for model-based learning management and an ontology-based and case-based reasoning supported workplace learning approach.

关键词：

来源：评论

学校读者我要写书评

暂无评论

modelsward 2021 - Proceedings of the 9th international conference on model-driven engineering and software development

MODELSWARD 2021 - Proceedings of the 9th International Confe...

引用

9th international conference on model-driven engineering and software development, modelsward 2021

ISBN: (纸本)9789897584879

the proceedings contain 38 papers. the topics discussed include: combining a declarative language and an imperative language for bidirectional incremental model transformations;from user stories to models: a machine learning empowered automation;reusing (safety-oriented) compliance artifacts while recertifying;process digitalization using blockchain: EU parliament elections case study;performance aspects of correctness-oriented synthesis flows;integrating Kahn process networks as a model of computation in an extendable model-based design framework;dedicated model transformation languages vs. general-purpose languages: a historical perspective on ATL vs. Java;SeGa4Biz: model-driven framework for developing serious games for business processes;and multi-view-model risk assessment in cyber-physical production systems engineering.

关键词：

来源：评论

学校读者我要写书评

暂无评论

modelsward 2016 - 4th international conference on model-driven engineering and software development, Doctoral Consortium

MODELSWARD 2016 - 4th International Conference on Model-Driv...

引用

Doctoral Consortium - 4th international conference on model-driven engineering and software development, modelsward 2016

the proceedings contain 2 papers. the topics discussed include: automatic refactoring of single and multiple-view UML models using artificial intelligence algorithm;and towards a generic multidisciplinary models compo...

关键词：

来源：评论

学校读者我要写书评

暂无评论

modelsward 2016 - Proceedings of the 4th international conference on model-driven engineering and software development

MODELSWARD 2016 - Proceedings of the 4th International Confe...

引用

4th international conference on model-driven engineering and software development, modelsward 2016

ISBN: (纸本)9789897581687

the proceedings contain 84 papers. the topics discussed include: bidirectional transformations with QVT-R: a case study in round-trip engineering UML class models and Java source code;survey on textual notations for the unified modeling language;a controlled experiment for evaluating the comprehensibility of UML action languages;modeling business process variants using graph transformation rules;choreography modeling in embedded systems domain requirements and implementation technologies;WebDPF: a web-based metamodeling and model transformation environment;formal MOF metamodeling and tool support;automating activities in MDE tools;MOF-VM: instantiation revisited;an empirical study on the perception of metamodel quality;supporting CRUD model operations from EOL to SQL;and extending graphical part of the interaction flow modeling language to generate rich internet graphical user interfaces.

关键词：

来源：评论

学校读者我要写书评

暂无评论

UMLDS: A Round-Trip engineering Support Tool to Avoid Unintended Design Changes 11th

UMLDS: A Round-Trip Engineering Support Tool to Avoid Uninte...

引用

11th international conference on model-driven engineering and software development (modelsward)

作者： Yamazaki, Takahiro Tanaka, Takafumi Hazeyama, Atsuo Hashiura, Hiroaki Nippon Inst Technol Grad Sch Engn 4-1 Gakuendai Saitama 3458501 Japan Tamagawa Univ Fac Engn 6-1-1 Tamagawagakuen Machida Tokyo 1940041 Japan Tokyo Gakugei Univ Dept Informat Sci 4-1-1 Nukikita Machi Koganei Tokyo 1848501 Japan

ISBN: (纸本)9783031663383;9783031663390

In round-trip engineering projects such as agile development methods, it isn't easy to maintain consistency among artifacts. One way to maintain consistency among artifacts in software development projects is to use traceability links. However, few studies have proposed traceability links from source code to UML. In round-trip engineering, the developer may make changes to the source code and apply those changes to the UML. We evaluated a method for designers to avoid unintended design changes due to changes in source code. We showed in our experiments that our method has particular effectiveness. the content of this paper is an additional experiment, an evaluation of the items that designers consider important in their decision to accept changes to the design document.

关键词： UML Class diagram Traceability Round-trip engineering Object-oriented design

来源：评论

学校读者我要写书评

暂无评论

PSCS4CPP: A Generative PSCS Implementation for C++ 1

引用

model-driven engineering and software development - 9th international conference, modelsward 2021, and 10th international conference, modelsward 2022, Revised Selected Papers

作者： Hammer, Maximilian Maschotta, Ralph Wichmann, Alexander Jungebloud, Tino Bedini, Francesco Zimmermann, Armin Systems and Software Engineering Group Computer Science and Automation Department Technische Universität Ilmenau Ilmenau Germany

ISBN: (数字)9783031388217

ISBN: (纸本)9783031388200

Since the early 2000s, model-driven engineering has aimed to accomplish executable UML models. With fUML and PSCS, the Object Management Group (OMG) published standardized specifications of precise semantics for certain parts of UML in the form of metamodels, which form an execution environment. A certain characteristic of these environments is that static information about a model is analyzed and evaluated during runtime. With composite structures being a concept for describing structural properties of a model, the majority of execution semantics specified by PSCS concern analysis and processing of such static information about the model’s fine-grained structure. thus, the PSCS specification appears suitable for a generative realization approach. Using model-To-Text-Transformation to generate source code, which serves as an input for the actual execution environment, the runtime level of model executions can be relieved by outsourcing analysis and processing of static information to the level of code generation. By inserting this preprocessing step, the performance of the actual model execution at runtime can be improved. this paper introduces an implementation of the PSCS specification for C++ based on code generation using model-to-Text-Transformation. this also includes a generative approach to realize an extension mechanism of the fUML and PSCS execution environments by introducing user-defined semantic execution strategies. the proposed PSCS implementation was developed as a part of the MDE4CPP project. Moreover, this paper presents a set of test models validating the correct functionality of the implementation as well as a performance benchmark. Finally, analysis results of an application example for the presented realization are evaluated and discussed. © 2023, Springer Nature Switzerland AG.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

SeGa4Biz: model-driven Framework for Developing Serious Games for Business Processes 9th

SeGa4Biz: Model-Driven Framework for Developing Serious Game...

引用

9th international conference on model-driven engineering and software development (modelsward)

作者： Khorram, Faezeh Taromirad, Masoumeh Ramsin, Raman Sharif Univ Technol Dept Comp Engn Tehran Iran

ISBN: (纸本)9789897584879

Organizations look for effective ways to teach their business processes to their employees. the application of serious games for teaching business processes is getting attraction recently. However, existing works are by large business-specific and few of them aim at teaching business processes in general, besides that the development of such games inherently suffers lack of precise and clear development approaches. this paper presents SeGa4Biz, a model-driven framework for serious game development for teaching business processes. modeling supports different levels of abstraction and hence, increases user involvement throughout the development. SeGa4Biz particularly provides metamodels for creating Educational Serious Games (ESG) and Game-Aware Process (GAP) models, and automates considerable parts of the modeling and development activities, via model transformation. the effectiveness and applicability of SeGa4Biz is examined through a serious game development project in a software development company.

关键词： model-driven development model Transformation Serious Game Business Process

来源：评论

学校读者我要写书评

暂无评论

A model-driven Implementation of PSCS Specification for C⁺⁺ 9th

A Model-driven Implementation of PSCS Specification for C<SU...

引用

9th international conference on model-driven engineering and software development (modelsward)

作者： Hammer, Maximilian Maschotta, Ralph Wichmann, Alexander Jungebloud, Tino Bedini, Francesco Zimmermann, Armin Tech Univ Ilmenau Comp Sci & Automat Dept Syst & Software Engn Grp Ilmenau Germany

ISBN: (纸本)9789897584879

OMG's PSCS specification extends the execution model of fUML by precise runtime semantics for UML composite structures. With composite structures being a concept for describing structural properties of a model, the majority of execution semantics specified by PSCS concern analysis and processing of static information about the model's fine-grained structure at runtime. Using model-To-Text-Transformation to generate source code, which serves as an input for PSCS's actual execution environment, the runtime level of model execution can be relieved by outsourcing analysis and processing of static information to the level of code generation. By inserting this step of preprocessing, the performance of the actual model execution at runtime can be improved. this paper introduces an implementation of the PSCS specification for C++ based on code generation using model-to-Text-Transformation. Moreover, it presents a set of test models validating the correct functionality of the implementation as well as a performance benchmark. the PSCS implementation presented by this paper was developed as a part of the MDE4CPP* project.

关键词： model driven software development Composite Structures Executable UML Code Generation PSCS fUML UML C plus

来源：评论

学校读者我要写书评

暂无评论

Multi-view FMEA Re-validation: Efficient Risk and engineering Knowledge Integration in Agile Production Systems engineering 1

引用

model-driven engineering and software development - 9th international conference, modelsward 2021, and 10th international conference, modelsward 2022, Revised Selected Papers

作者： Rinker, Felix Kropatschek, Sebastian Steuer, thorsten Kiesling, Elmar Meixner, Kristof Waltersdorfer, Laura Sommer, Patrik Lüder, Arndt Winkler, Dietmar Biffl, Stefan CDL for Security and Quality Improvement in the Production System Lifecycle TU Wien Vienna Austria Institute of Information Systems Engineering Technische Universität Wien Vienna Austria Center for Digital Production Vienna Austria Institute of Data Process and Knowledge Engineering WU Wien Vienna Austria Neuman Aluminium CAG Holding GmbH Lilienfeld Austria IAF at FMB Otto-v.Gueriche University Magdeburg Germany

ISBN: (数字)9783031388217

ISBN: (纸本)9783031388200

In agile Production Systems engineering (PSE), multi-disciplinary teams work concurrently on various PSE artifacts in an iterative process that can be supported by common concept and Product-Process-Resource (PPR) modeling. However, keeping track of the interactions and effects of changes across engineering disciplines and their implications for risk assessment is exceedingly difficult in such settings. To tackle this challenge and systematically co-evolve Failure Mode and Effects Analysis (FMEA) and PPR models during PSE, it is necessary to propagate and validate changes across engineering artifacts. To this end, we design and evaluate a FMEA-linked-to-PPR assets (FMEA+PPR) meta model to represent relationships between FMEA elements and PSE assets and trace their change states and dependencies in the design and validation lifecycle. Furthermore, we design and evaluate the FMEA+PPR method to efficiently re-validate FMEA models upon changes in multi-view PSE models. We evaluate the model and method in a feasibility study on the quality of a joining process automated by a robot cell in automotive PSE. the study results indicate that the FMEA+PPR method is feasible and addresses requirements for FMEA re-validation better than alternative traditional approaches. thereby, the FMEA+PPR approach facilitates a paradigm shift from traditional, isolated PSE and FMEA activities towards an integrated agile PSE method. © 2023, Springer Nature Switzerland AG.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Beyond Glucose Levels: A Machine Learning Perspective on Type 2 Diabetes Prediction 4

Beyond Glucose Levels: A Machine Learning Perspective on Typ...

引用

4th international conference on Emerging Trends in Networks and Computer Communications, ETNCC 2024

作者： Aslam, Amara Ashraf, Arooj Rehman, Attique Ur Javaid, Sabeen Khan, A.A. Mir, Azka Kumar, Deepak University of Sialkot Department of Software Engineering Sialkot Pakistan FIT Negara Darussalam Brunei Lovely Professional University Division of Research and Development Phagwara144411 India KKR and KSR Institute of Technology and Sciences Andhra Pradesh Guntur India

ISBN: (纸本)9798350353266

Type 2 diabetes hinders the body from using insulin effectively. the primary source of fuel for the human body is sugar. However, individuals with type 2 diabetes are unable to utilize it effectively due to insufficient insulin production by the pancreas. this medical condition is responsible for numerous fatalities annually. While it was previously thought to only be found in adults, it is now being diagnosed in children. this study aims to predict this disease before it becomes severe. there are 18 unique features in the dataset, which was collected in 2016 by Chinese researchers under WHO standards. the dataset contains 1304 patient samples and over 4000 rows of data. Different supervised machine-learning algorithms, including KNN, Decision Tree, Random Forest, Naïve Bayes, and Logistic Regression, are used to determine the dataset's performance. the best accuracy of 95.12% was achieved using Random Forest without SMOTE. Rapid Miner was used to test and train the data during the study. this paper outlines the effective machine learning processes for designing a suitable and accurate model for early-stage type 2 diabetes prediction. © 2024 IEEE.

关键词： Prediction models

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共22页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：