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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 期刊文献
1 册 图书

馆藏范围

212 篇 电子文献
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 篇 computational mo...
9 篇 software enginee...
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...
3 篇 softeam
2 篇 malina software ...
2 篇 school of electr...
2 篇 systems and soft...
2 篇 department of co...
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...
2 篇 software compete...

作者

3 篇 martínez patrici...
3 篇 cuesta césar cue...
3 篇 bauer bernhard
3 篇 drake josé m.
3 篇 maschotta ralph
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
2 篇 harald eisenmann
2 篇 rumpold adrian
2 篇 sagardui goiuria

语言

211 篇 英文
1 篇 西班牙文

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

共 212 条记录，以下是71-80 订阅

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

详细简洁

排序：

SCDML: A Language for Conceptual Data modeling in model-based Systems engineering 4

SCDML: A Language for Conceptual Data Modeling in Model-base...

引用

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

作者： Hennig, Christian Hoppe, Tobias Eisenmann, Harald Viehl, Alexander Bringmann, Oliver Airbus Def & Space Space Syst Friedrichshafen Germany FZI Res Ctr Informat Technol Intelligent Syst & Prod Engn Karlsruhe Germany Eberhard Karls Univ Tubingen Wilhelm Schickard Inst Comp Sci Tubingen Germany

ISBN: (纸本)9789897582325

this paper presents the design and usage of a language for Conceptual Data modeling in model-based Systems engineering. Based on an existing analysis of presently employed data modeling languages, a new conceptual data modeling language is defined that brings together characteristic features from software engineering languages, features from languages classically employed for knowledge engineering, as well as entirely newly developed functional aspects. this language has been applied to model a spacecraft as an example, demonstrating its utility for developing complex, multidisciplinary systems in the scope of model-based Space Systems engineering.

关键词： Systems engineering model-based Systems engineering Conceptual Data modeling Data modeling Language OWL Fact based modeling

来源：评论

学校读者我要写书评

暂无评论

Systematic Mapping Study of model Transformations for Concrete Problems 4

Systematic Mapping Study of Model Transformations for Concre...

引用

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

作者： Batot, Edouard Sahraoui, Houari Syriani, Eugene Molins, Paul Sboui, Wael Univ Montreal DIRO Montreal PQ Canada

ISBN: (纸本)9789897582325

As a contribution to the adoption of the model-driven engineering (MDE) paradigm, the research community has proposed concrete model transformation solutions for the MDE infrastructure and for domain-specific problems. However, as the adoption increases and with the advent of the new initiatives for the creation of repositories, it is legitimate to question whether proposals for concrete transformation problems can be still considered as research contributions or if they respond to a practical/technical work. In this paper, we report on a systematic mapping study that aims at understanding the trends and characteristics of concrete model transformations published in the past decade. Our study shows that the number of papers with, as main contribution, a concrete transformation solution, is not as high as expected. this number increased to reach a peak in 2010 and is decreasing since then. Our results also include a characterization and an analysis of the published proposals following a rigorous classification scheme.

关键词： model Transformation Systematic Mapping software engineering

来源：评论

学校读者我要写书评

暂无评论

model-driven engineering Tool Comparison for Architectures within Heterogenic Systems for Electric Vehicle 4

Model-driven Engineering Tool Comparison for Architectures w...

引用

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

作者： Apel, Sebastian Mauch, Marianne Schau, Volkmar Friedrich Schiller Univ Jena Dept Comp Sci Ernst Abbe Pl 2 D-07743 Jena Germany

ISBN: (纸本)9789897582325

System landscapes within logistical scenarios is highly heterogenic. Adding specific mechanisms, e.g. to support planing, monitoring and analyses for fully electrical powered vehicles, could become a mess or at least a challenge. While our project Smart City Logistic (SCL) is trying to manage this extension for multiple logistic scenarios, other projects want to do comparable system extensions as well. the following approach tries to evaluate how model-driven engineering (MDE) combined with generative frameworks can support the transfer from platform independent models to deployable solutions within the logistical domain. this paper compares specific MDE tools which can be used to support such a framework.

关键词： software Architecture Code Generator model-driven engineering Electric Vehicles Logistic Freight Transportation

来源：评论

学校读者我要写书评

暂无评论

Design of a robotized workstation making use of the integration of CAD models and Robotic Simulation software as way of pairing and comparing real and virtual environments 4

Design of a robotized workstation making use of the integrat...

引用

4th international conference on Computing and Solutions in Manufacturing engineering (CoSME)

作者： Velisek, Karol Holubek, Radovan Sobrino, Daynier Rolando Delgado Ruzarovsky, Roman Vetrikova, Nina Slovak Univ Technol Bratislava Fac Mat Sci & Technol Trnava Inst Prod Technol Trnava 91701 Slovakia

Over the last years, there has been an increasing tendency and pressure on the faster implementation robotic devices and systems in manufacturing. Such transition involves several disciplines starting with the prototyping of CAD models itself the paper addresses the creation of CAD models and is mainly aimed at their integration in a given simulation environment according to the conception and guidelines of Industry 4.0, where the part itself becomes the entity carrying most of the needed information at any time of a production process. the creation of such CAD models is key for the further and better customization of simulations. In other to better exemplify all this, the paper describes the whole process of "virtual to real life implementation" of a given robotized workplace needed to be developed at the Institute. the design of such robotized workplace included the use of an ABB IRB 120 robot and several other devices which were all designed, simulated and analyzed in a virtual environment before the final development and implementation. this paper helped demonstrating the importance of having exactly the same model (real and virtual) with respect to the success of the offline simulations.

关键词： Virtual reality

来源：评论

学校读者我要写书评

暂无评论

A Methodology for Deriving Conceptual Data models from Systems engineering Artefacts 4

A Methodology for Deriving Conceptual Data Models from Syste...

引用

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

作者： Hennig, Christian Eisenmann, Harald Viehl, Alexander Bringmann, Oliver Airbus Def & Space Space Syst Friedrichshafen Germany FZI Res Ctr Informat Technol Intelligent Syst & Prod Engn Karlsruhe Germany Eberhard Karls Univ Tubingen Wilhelm Schickard Inst Comp Sci Tubingen Germany

ISBN: (纸本)9789897582325

this paper presents a novel methodology for deriving Conceptual Data models in the scope of model-based Systems engineering. Based on an assessment of currently employed methodologies, substantial limitations of the state of the art are identified. Consequently, a new methodology, overcoming present shortcomings, is elaborated, containing detailed and prescriptive guidelines for deriving conceptual data models used for representing engineering data in a multi-disciplinary design process. For highlighting the applicability and benefits of the approach, the derivation of a semantically strong conceptual data model in the context of model-based Space Systems engineering is presented as a case study.

关键词： model-based Systems engineering Conceptual Data modeling modeling Methodology FBM model-based development

来源：评论

学校读者我要写书评

暂无评论

EXE-SPEM: Towards Cloud-based Executable software Process models 4

EXE-SPEM: Towards Cloud-based Executable Software Process Mo...

引用

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

作者： Alajrami, Sami Gallina, Barbara Romanovsky, Alexander Newcastle Univ Sch Comp Sci Newcastle Upon Tyne Tyne & Wear England Malardalen Univ Vasteras Sweden

ISBN: (纸本)9789897582325

Executing software processes in the cloud can bring several benefits to software development. In this paper, we discuss the benefits and considerations of cloud-based software processes. EXE-SPEM is our extension of the software and Systems Process engineering (SPEM2.0) Meta-model to support creating cloud-based executable software process models. Since SPEM2.0 is a visual modelling language, we introduce an XML notation meta-model and mapping rules from EXE-SPEM to this notation which can be executed in a workflow engine. We demonstrate our approach by modelling an example software process using EXE-SPEM and mapping it to the XML notation.

关键词： Process modelling Process Enactment Cloud-based software development Cloud Computing

来源：评论

学校读者我要写书评

暂无评论

SysML models and model Transformation for Security 4

SysML Models and Model Transformation for Security

引用

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

作者： Lugou, Florian Li, Letitia W. Apvrille, Ludovic Ameur-Boulifa, Rabea Univ Paris Saclay CNRS Telecom ParisTech LTCI Campus SophiaTech450 Route Chappes F-06410 Sophia Antipolis France

ISBN: (纸本)9789897582325

the security flaws of embedded systems have become very valuable targets for cyber criminals. SysML-Sec has been introduced to target the security of these systems during their development stages. However, assessing resistance to attacks during these stages requires efficiently capturing the system's behavior and formally proving security properties from those behaviors. this paper thus proposes (i) novel SysML block and state machine diagrams enhanced to better capture security features, and (ii) a model-to-Proverif transformation. ProVerif is a toolkit first released for the formal analysis of security protocol, but it can be used more generally to assess confidentiality and authenticity properties. this paper demonstrates the soundness of our approach using a complex asymmetric key distribution protocol.

关键词： SysML-Sec Security model-driven engineering model Transformation ProVerif TTool

来源：评论

学校读者我要写书评

暂无评论

An Approach to Class Diagrams Verification According to SOLID Design Principles 4

An Approach to Class Diagrams Verification According to SOLI...

引用

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

作者： Chebanyuk, Elena Markov, Krassimir Natl Aviat Univ Dept Software Engn Kiev Ukraine Bulgarian Acad Sci Inst Math & Informat Dept Informat Modelling Sofia Bulgaria

ISBN: (纸本)9789897582325

An approach, verifying class diagram correspondence to SOLID Design Principles, is proposed in this paper. SOLID is an acronym, encapsulating the five class diagram design principles namely: Single Responsibility, Open-Closed, Liskov Substitution, Interface Segregation and Dependency Inversion. To check whether a class diagram meets to SOLID, its analytical representation is analyzed by means of predicate expressions. For every SOLID design principle corresponded predicate expressions are proposed. Analytical representation describes interaction of class diagram constituents, namely classes and interfaces, in set-theory terms. Also criteria for estimation of obtained results are formulated. Example of class diagram verification according to the suggested verification approach is also represented in this paper. the advantages of the proposed verification approach implementing to improve the quality of different software development lifecycle processes are outlined in the conclusions.

关键词： SOLID Class Diagram Verification software Architecture Class Diagram Designing model-driven engineering model-driven development

来源：评论

学校读者我要写书评

暂无评论

Virtual Worlds on Demand? model-driven development of JavaScript-based Virtual World UI Components for Mobile Apps 4

Virtual Worlds on Demand? Model-Driven Development of JavaSc...

引用

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

作者： Stuerner, Matthias Brune, Philipp Univ Appl Sci Neu Ulm Dept Informat Management D-89231 Neu Ulm Germany

ISBN: (纸本)9789897582325

Virtual worlds and avatar-based interactive computer games are a hype among consumers and researchers for many years now. In recent years, such games on mobile devices also became increasingly important. However, most virtual worlds require the use of proprietary clients and authoring environments and lack portability, which limits their usefulness for targeting wider audiences like e.g. in consumer marketing or sales. Using mobile devices and client-side web technologies like i.e. JavaScript in combination with a more automatic generation of customer-specific virtual worlds could help to overcome these limitations. Here, model-driven software development (MDD) provides a promising approach for automating the creation of user interface (UI) components for games on mobile devices. therefore, in this paper an approach is proposed for the model-driven generation of UI components for virtual worlds using JavaScript and the upcoming *** framework. the feasibilty of the approach is evaluated by implementing a proof-of-concept scenario.

关键词： model-driven software development Mobile UI JavaScript UML modeling Virtual Worlds Computer Games

来源：评论

学校读者我要写书评

暂无评论

Umple as a Component-based Language for the development of Real-time and Embedded Applications 4

Umple as a Component-based Language for the Development of R...

引用

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

作者： Orabi, Mahmoud Husseini Orabi, Ahmed Husseini Lethbridge, Timothy Univ Ottawa 800 King Edward Ottawa ON Canada

ISBN: (纸本)9789897582325

Component-based development enforces separation of concern to improve reusability and maintainability. In this paper, we show how we extended Umple (http://***) to support component-based development. the development of components, ports, and connectors is enabled using easy-to-comprehend keywords. development is supported in both textual and visual representations. the design pattern followed in our implementation is the active object pattern. We show a comparison between Umple and other modelling tools. We show that Umple has a set of component features comparable to commercial modelling tools, but is the most complete, particularly with regard to code generation, among the open source tools.

关键词： Umple Component modelling UML Ports Connectors Composite Structure

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共22页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：