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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

163 篇 会议

馆藏范围

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

日期分布

学科分类号

139 篇 工学
- 113 篇 软件工程
- 87 篇 计算机科学与技术...
- 8 篇 控制科学与工程
- 6 篇 电气工程
- 5 篇 机械工程
- 4 篇 航空宇航科学与技...
- 4 篇 环境科学与工程（可...
- 3 篇 材料科学与工程（可...
- 3 篇 信息与通信工程
- 3 篇 交通运输工程
- 2 篇 仪器科学与技术
- 2 篇 冶金工程
- 2 篇 建筑学
- 2 篇 石油与天然气工程
- 2 篇 农业工程
- 2 篇 安全科学与工程
- 2 篇 网络空间安全
10 篇 管理学
- 7 篇 管理科学与工程(可...
- 4 篇 工商管理
- 2 篇 图书情报与档案管...
8 篇 理学
- 5 篇 数学
- 2 篇 物理学
- 1 篇 化学
- 1 篇 大气科学
- 1 篇 海洋科学
- 1 篇 统计学（可授理学、...
5 篇 教育学
- 5 篇 教育学
2 篇 经济学
- 2 篇 应用经济学
2 篇 法学
- 2 篇 社会学
1 篇 文学
- 1 篇 外国语言文学
1 篇 医学

主题

28 篇 unified modeling...
18 篇 software
16 篇 model-driven dev...
12 篇 computational mo...
11 篇 data models
10 篇 analytical model...
9 篇 software enginee...
9 篇 biological syste...
8 篇 object oriented ...
8 篇 model-driven eng...
8 篇 software product...
7 篇 syntactics
7 篇 generators
7 篇 adaptation model...
6 篇 concrete
6 篇 testing
6 篇 business
6 篇 dsl
5 篇 computer archite...
5 篇 semantics

机构

7 篇 rhein westfal th...
3 篇 software enginee...
3 篇 rheinisch-westfa...
3 篇 willert software...
3 篇 cas software ag ...
2 篇 prolan proc cont...
2 篇 tu braunschweig ...
2 篇 univ naples fede...
2 篇 nantong univ mec...
2 篇 univ namur preci...
2 篇 nantong inst tec...
2 篇 volkswagen finan...
2 篇 univ jena inst i...
1 篇 aswan univ apear...
1 篇 dept. of compute...
1 篇 college of mecha...
1 篇 department of co...
1 篇 department of el...
1 篇 eurecom 450 rout...
1 篇 norwegian univ s...

作者

7 篇 rumpe bernhard
6 篇 nazari pedram mi...
4 篇 bernhard rumpe
4 篇 wortmann andreas
4 篇 look markus
4 篇 perez antonio na...
3 篇 gilson fabian
3 篇 coulette bernard
3 篇 roth alexander
3 篇 englebert vincen...
3 篇 lbath redouane
3 篇 pedram mir seyed...
3 篇 jardim-goncalves...
2 篇 schindler martin
2 篇 schwaegerl felix
2 篇 gillett irad
2 篇 greifenberg timo
2 篇 plotnikov dimitr...
2 篇 voelkel steven
2 篇 sagardui goiuria

语言

163 篇 英文

检索条件"任意字段=3rd International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2015"

共 163 条记录，以下是31-40 订阅

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

详细简洁

排序：

model Query Translator A model-level Query Approach for Large-scale models 3

Model Query Translator <i>A Model</i>-<i>level Query Approac...

引用

3rd international conference on model-driven engineering and software development (modelsward)

作者： De Carlos, Xabier Sagardui, Goiuria Murguzur, Aitor Trujillo, Salvador Mendialdua, Xabier IK4 Ikerlan Res Ctr PJM Arizmendiarrieta 2 Arrasate Mondragon 20500 Spain Mondragon Unibertsitatea Arrasate Mondragon 20500 Spain

ISBN: (纸本)9789897581366

Persisting and querying models larger than a few tens of megabytes using XMI introduces a significant time and memory footprint overhead to MDD workflows. In this paper, we present an approach that attempts to address this issue using an embedded relational database as an alternative persistence layer for EMF models, and runtime translation of OCL-like expressions for efficiently querying such models. We have performed an empirical study of the approach using a set of large-scale reverse engineered models and queries from the Grabats 2009 Reverse engineering Contest. Main contribution of this paper is the model Query Translator, an approach that translates (and executes) at runtime queries from model-level (EOL) to persistence-level (SQL).

关键词： model-driven development Large-scale models Query Languages Persistence Eclipse modelling Framework Scalable-query

来源：评论

学校读者我要写书评

暂无评论

A Comparison of Mechanisms for Integrating Handwritten and Generated Code for Object-Oriented Programming Languages 3

A Comparison of Mechanisms for Integrating Handwritten and G...

引用

3rd international conference on model-driven engineering and software development (modelsward)

作者： Greifenberg, Timo Hoelldobler, Katrin Kolassa, Carsten Look, Markus Nazari, Pedram Mir Seyed Mueller, Klaus Perez, Antonio Navarro Plotnikov, Dimitri Reiss, Dirk Roth, Alexander Rumpe, Bernhard Schindler, Martin Wortmann, Andreas Rhein Westfal TH Aachen Software Engn Aachen Germany TU Braunschweig Inst Bldg Serv & Energy Design Braunschweig Germany

ISBN: (纸本)9789897581366

Code generation from models is a core activity in model-driven development (MDD). For complex systems it is usually impossible to generate the entire software system from models alone. Thus, MDD requires mechanisms for integrating generated and handwritten code. Applying such mechanisms without considering their effects can cause issues in projects with many model and code artifacts, where a sound integration for generated and handwritten code is necessary. We provide an overview of mechanisms for integrating generated and handwritten code for object-oriented languages. In addition to that, we define and apply criteria to compare these mechanisms. The results are intended to help MDD tool developers in choosing an appropriate integration mechanism.

关键词： Code Generation Handwritten Code Integration model-driven development

来源：评论

学校读者我要写书评

暂无评论

Using software Categories for the development of Generative software 3

Using Software Categories for the Development of Generative ...

引用

3rd international conference on model-driven engineering and software development (modelsward)

作者： Nazari, Pedram Mir Seyed Rumpe, Bernhard Rhein Westfal TH Aachen Software Engn Aachen Germany

ISBN: (纸本)9789897581366

In model-driven development (MDD) software emerges by systematically transforming abstract models to concrete source code. Ideally, performing those transformations is to a large extent the task of code generators. One approach for developing a new code generator is to write a reference implementation and separate it into handwritten and generatable code. Typically, the generator developer manually performs this separation a process that is often time-consuming, labor-intensive, difficult to maintain and may produce more code than necessary. software categories provide a way for separating code into designated parts with defined dependencies, for example, "Business Logic" code that may not directly use "Technical" code. This paper presents an approach that uses the concept of software categories to semi-automatically determine candidates for generated code. The main idea is to iteratively derive the categories for uncategorized code from the dependencies of categorized code. The candidates for generated or handwritten code finally are code parts belonging to specific (previously defined) categories. This approach helps the generator developer in finding candidates for generated code more easily and systematically than searching by hand and is a step towards tool-supported development of generative software.

关键词： model-driven development Code Generators software Categories

来源：评论

学校读者我要写书评

暂无评论

Defining and using Collaboration Patterns for software Process development

Defining and using Collaboration Patterns for Software Proce...

引用

3rd international conference on model-driven engineering and software development (modelsward)

作者： Tan Thuan Vo Coulette, Bernard Hanh Nhi Tran Lbath, Redouane Inst Rech Informat Toulouse Toulouse France

ISBN: (纸本)9789897581366

Collaboration patterns are an efficient way to define, reuse and enact collaborative software development processes. We propose an approach to define and apply collaboration patterns at modelling, instantiation or execution time. Our patterns, inspired from workflow patterns, are described in CMSPEM, a Process modelling Language developed in our team. In this paper, we briefly describe the CMSPEM metamodel and focus our presentation on two collaboration patterns: Duplicate in Sequence with Multiple Actors, Duplicate in Parallel with Multiple Actors and Merge. The approach is illustrated by a case study concerning the collaborative process "Review a deliverable".

关键词： model driven engineering software development Process Collaboration Collaboration Pattern

来源：评论

学校读者我要写书评

暂无评论

A Novel Approach using Alloy in Domain-specific Language engineering 3

A Novel Approach using Alloy in Domain-specific Language Eng...

引用

3rd international conference on model-driven engineering and software development (modelsward)

作者： Moreira, Rodrigo M. L. M. Paiva, Ana C. R. Univ Porto INESC TEC Oporto Portugal Univ Porto Dept Informat Engn Fac Engn Oporto Portugal

ISBN: (纸本)9789897581366

modeling and building software systems for a given specific domain is a complex task. Domain-Specific Languages (DSLs) have been increasingly gaining attention because they are developed to cope with particularities of specific domains. However, DSL development consists in a set of tasks to be performed and some can be error-prone. Identifying the correct set of elements within a DSL and their constraints can be very demanding. Alloy is a popular lightweight intuitive formal language with a simple notation that is easy to read and write. When models of a DSL are specified using Alloy, it becomes possible to generate instances that should represent valid models. So, this paper presents a generic innovative methodology using Alloy in DSL engineering, in order to find and tune language constraints in a systematic way. It also presents an empirical study illustrating the applicability of the proposed methodology.

关键词： Domain-specific Language DSL engineering DSL development GUI modeling GUI Testing

来源：评论

学校读者我要写书评

暂无评论

Towards Managing Data Variability in Multi Product Lines 3

Towards Managing Data Variability in Multi Product Lines

引用

3rd international conference on model-driven engineering and software development (modelsward)

作者： Khedri, Niloofar Khosravi, Ramtin Univ Tehran Sch Elect & Comp Engn Coll Engn Tehran Iran

ISBN: (纸本)9789897581366

Multi product lines (MPLs) are systems consisting of collections of interdependent software product lines (SPLs). The dependencies and interactions among the SPLs cause new challenges in variability management. In the case of a large-scale information system MPL, important issues are raised regarding integration of the databases of the individual SPLs comprising the main system. The aim of this paper is to introduce a method to manage the variability in the data model of such systems. To this end, we first address the problem of developing a universal feature model of the MPL, obtained from integrating the feature models of the individual SPLs, incorporating the data interdependencies among the features. Further, we develop the data model of the MPL using a delta-oriented technique, based on the universal feature model. Our method addresses the problem of possible conflicts among the data model elements of different SPLs and proposes techniques to resolve the conflicts based on data model refinements.

关键词： Multi Product lines software Product Line engineering Data model Variability Delta-oriented Programming

来源：评论

学校读者我要写书评

暂无评论

Traceability and Interfacing Between Requirements engineering and UML Domains using the Standardized ReqIF Format 3

Traceability and Interfacing Between Requirements Engineerin...

引用

3rd international conference on model-driven engineering and software development (modelsward)

作者： Noyer, Arne Iyenghar, Padma Pulvermueller, Elke Pramme, Florian Bikker, Gert Univ Osnabrueck Inst Software Engn Osnabruck Germany Willert Software Tools GmbH Bueckeburg Germany Ostfalia Univ Inst Distributed Syst Wolfenbuettel Germany

ISBN: (纸本)9789897581366

model driven development (MDD) is deemed as a key to address the increasing complexity of software systems. It is imperative that the developed software fulfills the end-user's requirements. This implies that a collaboration between the Requirements Management (RM) tools and the modeling tools, enabling complete traceability and interfacing among these tools, is essential. On the other hand, existing tools collaborating between RM and modeling tools support a very limited sub-set of new features (e.g. traceability analysis) and are compatible with only a few tools. As a result, software engineers are often required to educate themselves on another (often complex), intermediate (collaborating) tool, merely to realize a very limited sub-set of supported features. This paper addresses these gaps and introduces an approach for exchanging information between RM tools and Unified modeling Language (UML) tools by using the standardized Requirements Interchange Format (ReqIF). The proposed approach (a) enables software developers to create links between requirements and UML elements in their modeling tool and (b) facilitates requirements engineers to make traceability/other analyses down to linked model elements inside their RM tool. In contrast to many other approaches, no additional user interface is needed for traceability.

关键词： Requirements Interchange Format (ReqIF) model-driven development Unified modeling Language (UML) Requirements engineering Requirements Traceability

来源：评论

学校读者我要写书评

暂无评论

A Toolset for Simulink Improving software engineering Practices in development with Simulink 3

A Toolset for Simulink <i>Improving Software Engineering Pra...

引用

3rd international conference on model-driven engineering and software development (modelsward)

作者： Pantelic, Vera Postma, Steven Lawford, Mark Korobkine, Alexandre Mackenzie, Bennett Ong, Jeff Bender, Marc McMaster Univ Dept Comp & Software McMaster Ctr Software Certificat Hamilton ON Canada

ISBN: (纸本)9789897581366

This paper presents a set of tools that provide automatic support for application of some of the traditional software engineering practices when developing with Simulink. The tools are the: Signature Tool, Reach/Coreach Tool, Data Store Push-Down Tool, and Auto Layout Tool. The Signature Tool extracts the interface of a Simulink subsystem, identifying the subsystem's explicit, and implicit data flow mechanisms, empowering developers to use the implicit mechanisms more effectively. The Reach/Coreach Tool identifies data and control flow dependencies in a Simulink model and uses the information for model slicing. The view of dependencies offered by the tool significantly eases the comprehension of large models. The dependencies can also serve as indicators of alternative designs, and facilitate more effective testing and verification. The Data Store Push-Down Tool restricts the scope of Simulink's data stores thereby providing improved encapsulation, and increasing modularity. Finally, the Auto Layout Tool significantly decreases the manual effort developers spend in achieving proper layout of models during design and refactoring, and can be used by automated refactoring and transformation tools.

关键词： Simulink Tools software engineering Transformation Data Flow

来源：评论

学校读者我要写书评

暂无评论

A Mechanism for Data Interchange Between Embedded software Sub-systems Developed using Heterogenous modeling Domains 3

A Mechanism for Data Interchange Between Embedded Software S...

引用

3rd international conference on model-driven engineering and software development (modelsward)

作者： Iyenghar, Padma Samson, Benjamin Spieker, Michael Noyer, Arne Wuebbelmann, Juergen Westerkamp, Clemens Pulvermueller, Elke Univ Osnabrueck Software Engn Res Grp Osnabruck Germany UAS Osnabrueck Inst Comp Engn Osnabruck Germany Willert Software Tools GmbH Hannoversche Str 21 Bueckeburg Germany

ISBN: (纸本)9789897581366

In the domain of embedded systems, the complexities involved in embedded software development are being successfully addressed by the emerging field of model-based software development and testing. However, in embedded systems, the underlying embedded software is often expected to collaborate with various hardware, mechanical, electrical modules/technologies. To address this aspect of heterogeneity in embedded systems, practitioners of model-based embedded software engineering are required to use more than one modeling language. This is essential to address the multi-faceted design aspects/requirements of an embedded system. This paper elaborates on the existing data interchange and coupling mechanisms between embedded software sub-systems modeled using UML and Matlab/Simulink. While there are some existing coupling mechanisms for data exchange among heterogenous modeling domains, they are all not applicable to all real-time operating systems and/or limited to a few simulation studies. This paper addresses the aforementioned gaps and proposes a simple, generic methodology for data exchange between events (in UML domain) and signals (in Matlab/Simulink domain). The proposed approach is elaborated using a seesaw (real-word) embedded software system application scenario example. Initial prototype implementation of the proposed approach, experimental results and some future directions are outlined.

关键词： Embedded software Sub-systems model-based Embedded software development Heterogenous modeling Domains UML Matlab/Simulink

来源：评论

学校读者我要写书评

暂无评论

Identifying Code Generation Candidates Using software Categories 3rd

Identifying Code Generation Candidates Using Software Catego...

引用

3rd international conference on model-driven engineering and software development (modelsward)

作者： Nazari, Pedram Mir Seyed Rumpe, Bernhard Rhein Westfal TH Aachen Software Engn Aachen Germany

ISBN: (纸本)9783319278698;9783319278681

Code generators are a crucial part of the model-driven development (MDD) approach. They systematically transform abstract models to concrete executable source code. Typically, a generator developer determines the code parts that should be generated and separates them from handwritten code. Since performed manually, this task often is time-consuming, labor-intensive, difficult to maintain and may produce more code than necessary. This paper presents an iterative approach for identifying candidates for generated code by analyzing the dependencies of categorized code parts. Dependency rules are automatically derived from a predefined software category graph and serve as basis for the categorization process. Generator developers can use this approach to systematically identify code generation candidates. The ideas and concepts of this paper were introduced at the modelsward conference [1] and are extended in this contribution.

关键词： model-driven development Generators software categories

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：