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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是111-120 订阅

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

详细简洁

排序：

A survey of object-relational transformation patterns for high-performance UML-based applications

A survey of object-relational transformation patterns for hi...

引用

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

作者： Nemanja Kojić Dragan Milićev Faculty of Electrical Engineering University of Belgrade Belgrade Serbia

We outline a methodology for automatic and efficient object-relational mapping (ORM) in the context of model-driven development (MDD) of high-performance information systems specified with executable UML models. Although there are various approaches to performance tuning, we focus here on the persistence layer the relational database. The relational data model is usually designed following the well-known normal forms. However, a fully normalized relational model often does not provide sufficient performance, and improper relational model design can easily lead to a slow and unusable relational database for particular operations. Our ORM approach is intended to exploit smart optimization techniques from the relational paradigm that abandon normalization and its positive effects, and trade them off for better performance. Our ORM approach hence combines the classical denormalization transformations, based on reducing or eliminating expensive database operations by the model restructuring, but applies them to a non-redundant conceptual UML model. In this paper, we also present the first step towards this goal: a catalogue of ORM transformation patterns.

关键词： Unified modeling language Data models Relational databases Object recognition Information systems Context

来源：评论

学校读者我要写书评

暂无评论

The effect of concurrent programming idioms on verification: A position paper

The effect of concurrent programming idioms on verification:...

引用

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

作者： David Harel Guy Katz Assaf Marron Gera Weiss Dept. of Computer Science and Applied Mathematics The Weizmann Institute of Science Rehovot Israel Dept. of Computer Science Ben Gurion University Beer-Sheva Israel

In recent years formal verification techniques have become an important part of the development cycle of concurrent software. In order to tackle the state explosion problem and verify larger systems, a great deal of work has been put into improving the scalability of verification tools. In this work, we seek to draw attention to an alternative/complementary approach to improving scalability, which sometimes receives less notice: the effect the concurrent programming model itself has on one's ability to verify programs encoded within it. Recent work suggests that a suitable choice of model, tailored to the problem at hand, may render the produced software more amenable to verification techniques. We recapitulate some recent and new results demonstrating this effect in programming models for discrete, synchronous reactive systems, and outline some directions for future work. We hope that the paper will trigger additional research on this important topic.

关键词： Programming Concurrent computing Computational modeling Maintenance engineering Safety software Computer bugs

来源：评论

学校读者我要写书评

暂无评论

Integration of heterogeneous modeling languages via extensible and composable language components

Integration of heterogeneous modeling languages via extensib...

引用

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

作者： Arne Haber Markus Look Antonio Navarro Perez Pedram Mir Seyed Nazari Bernhard Rumpe Steven Völkel Andreas Wortmann Software Engineering RWTH Aachen University Aachen Germany Rheinisch-Westfalische Technische Hochschule Aachen Aachen Nordrhein-Westfalen DE Volkswagen Financial Services Braunschweig Germany

Effective model-driven engineering of complex systems requires to appropriately describe different specific system aspects. To this end, efficient integration of different heterogeneous modeling languages is essential. modeling language integaration is onerous and requires in-depth conceptual and technical knowledge and effort. Traditional modeling lanugage integration approches require language engineers to compose monolithic language aggregates for a specific task or project. Adapting these aggregates to different contexts requires vast effort and makes these hardly reusable. This contribution presents a method for the engineering of grammar-based language components that can be independently developed, are syntactically composable, and ultimately reusable. To this end, it introduces the concepts of language aggregation, language embedding, and language inheritance, as well as their realization in the language workbench MontiCore. The result is a generalizable, systematic, and efficient syntax-oriented composition of languages that allows the agile employment of modeling languages efficiently tailored for individual software projects.

关键词： Unified modeling language Production Grammar Object oriented modeling Syntactics Data models Ports (Computers)

来源：评论

学校读者我要写书评

暂无评论

A toolset for Simulink: Improving software engineering practices in development with Simulink

A toolset for Simulink: Improving software engineering pract...

引用

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

作者： Vera Pantelic Steven Postma Mark Lawford Alexandre Korobkine Bennett Mackenzie Jeff Ong Marc Bender Department of Computing and Software McMaster University Hamilton ON Canada

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.

关键词： software packages Data models Mathematical model Layout software engineering Documentation

来源：评论

学校读者我要写书评

暂无评论

Traceability and interfacing between requirements engineering and UML domains using the standardized ReqIF format

Traceability and interfacing between requirements engineerin...

引用

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

作者： Arne Noyer Padma Iyenghar Elke Pulvermueller Florian Pramme Gert Bikker Willert Software Tools GmbH Bueckeburg Germany Institute for Software Engineering University of Osnabrueck Osnabrueck Germany Institute for Distributed Systems Ostfalia University Wolfenbuettel Germany

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.

关键词： Unified modeling language software Requirements engineering Analytical models Standards Prototypes User interfaces

来源：评论

学校读者我要写书评

暂无评论

Polymer: A model-driven approach for simpler, safer, and evolutive multi-objective optimization development

Polymer: A model-driven approach for simpler, safer, and evo...

引用

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

作者： Assaad Moawad Thomas Hartmann Francois Fouquet Grégory Nain Jacques Klein Johann Bourcier Reliability and Trust University of Luxembourg Luxembourg City Luxembourg IRISA/INRIA University of Rennes 1 Rennes France

Multi-Objective Evolutionary Algorithms (MOEAs) have been successfully used to optimize various domains such as finance, science, engineering, logistics and software engineering. Nevertheless, MOEAs are still very complex to apply and require detailed knowledge about problem encoding and mutation operators to obtain an effective implementation. software engineering paradigms such as domain-driven design aim to tackle this complexity by allowing domain experts to focus on domain logic over technical details. Similarly, in order to handle MOEA complexity, we propose an approach, using model-driven software engineering (MDE) techniques, to define fitness functions and mutation operators without MOEA encoding knowledge. Integrated into an open source modelling framework, our approach can significantly simplify development and maintenance of multi-objective optimizations. By leveraging modeling methods, our approach allows reusable optimizations and seamlessly connects MOEA and MDE paradigms. We evaluate our approach on a cloud case study and show its suitability in terms of i) complexity to implement an MOO problem, ii) complexity to adapt (maintain) this implementation caused by changes in the domain model and/or optimization goals, and iii) show that the efficiency and effectiveness of our approach remains comparable to ad-hoc implementations.

关键词： Encoding Object oriented modeling Optimization Complexity theory Cloning Cloud computing Polymers

来源：评论

学校读者我要写书评

暂无评论

Architecture framework for modeling the deployment of parallel applications on parallel computing platforms

Architecture framework for modeling the deployment of parall...

引用

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

作者： Bedir Tekinerdogan Ethem Arkin Information Technology Group Wageningen University Wageningen Netherlands Aselsan A.Ş. Ankara Turkey

To increase the computing performance the current trend is towards applying parallel computing in which the tasks are run in parallel on multiple nodes. Current approaches in parallel computing tend to focus on mapping parallel algorithms to parallel computing platforms. However, the complexity and variety of current software systems goes beyond the notion of algorithms only, and needs to consider the design from a broader application perspective that requires explicit design abstractions. For this purpose, we propose an architecture framework for modeling parallel applications to support the communication among the stakeholders, to reason about the design decisions and to support the analysis of the architectural design. The architecture framework consists of six coherent set of viewpoints which addresses different concerns in the design of parallel applications. The architecture framework is based on a metamodel that is derived after a thorough domain analysis on parallel computing. To support the architecture design process we have also developed the corresponding tool set that implements the architecture framework. The application of the architecture framework is illustrated for an order management application.

关键词： Computer architecture Computational modeling Parallel algorithms Algorithm design and analysis software algorithms Stakeholders

来源：评论

学校读者我要写书评

暂无评论

model-driven service engineering towards the manufacturing liquid-sensing enterprise

Model-driven service engineering towards the manufacturing l...

引用

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

作者： Carlos Agostinho Michele Sesana Ricardo Jardim-Gonçalves Sergio Gusmeroli Uninova Centre of Technology and Systems CTS Portugal TXT e-solutions Milan Italy Centre of Technology and Systems CTS Uninova 2829-516 Caparica Portugal

Information and communication technology (ICT) has facilitated the introduction of mass customisation capabilities into the traditional Enterprise, especially in the domain of manufacturing. Currently individual end-customers are allowed to design and order a product that is uniquely tailored to their preferences. Servitization and product-based services have been gaining momentum to support the integration of products and services with customers. This has enabled companies to maintain a competitive advantage in contemporary markets. However, such capabilities demand more efficient processes, information systems to enable resources optimization, maximized collaborations along the value chains, and interoperable information flows. The FInES Research Roadmap 2025 identifies both Sensing Enterprise and Liquid Enterprise as two Qualities of Being that are strategic for any future enterprise. In fact, the enterprise needs to become self-aware not only in terms of their networked ecosystem but also in face of their inner subsystems and devices. This paper develops the concept of the liquid-sensing enterprise, exploring how modelling and model-driven development can support the transition and services implementation.

关键词： Biological system modeling Business Liquids Osmosis Manufacturing Sensors Computational modeling

来源：评论

学校读者我要写书评

暂无评论

software architecture design by stepwise model transformations: A comparative case study

Software architecture design by stepwise model transformatio...

引用

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

作者： Fabian Gilson Vincent Englebert Faculty of Computer Science University of Namur Namur Belgium

software architecture design is a critical task as lots of requirements can be taken into account on which many decisions can be made. The maintenance and evolution of resulting models often become tricky, even impracticable when their rationale is lost. In a previous work, we introduced a set of languages used in a transformation-centric design method meant to tackle this scattering of requirements and to facilitate further model evolutions. But, we did not provided a formal validation of our proposal yet. The present work depicts a comparative case study we conducted on a group of students. The participants were asked to develop an online book store in two phases, the second one simulating an evolution of the system. We evaluated the functional completeness of the created software as well as the traceability of design decisions and rationale. The participants were also asked to criticize the design method and language they used in a textual report and through a questionnaire. Even if the size of the case study is rather limited, it clearly highlighs the advantages of our approach regarding, among others, its expressiveness and decisions traceability.

关键词： Unified modeling language Computer architecture Design methodology Servers Computational modeling Iterative methods

来源：评论

学校读者我要写书评

暂无评论

A mechanism for data interchange between embedded software sub-systems developed using heterogenous modeling domains

A mechanism for data interchange between embedded software s...

引用

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

作者： Padma Iyenghar Benjamin Samson Michael Spieker Arne Noyer Juergen Wuebbelmann Clemens Westerkamp Elke Pulvermueller Software Engineering Research Group University of Osnabrueck Osnabrueck Germany UAS Osnabrueck Institute of Computer Engineering Osnabrueck Germany Willert Software Tools GmbH Bueckeburg Germany

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.

关键词： Unified modeling language Mathematical model MATLAB Embedded software Couplings Data models

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共17页 << < 8 9 10 11 12 13 14 15 16 17 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：