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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Towards managing data variability in multi product lines

Towards managing data variability in multi product lines

引用

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

作者： Niloofar Khedri Ramtin Khosravi College of Engineering University of Tehran Tehran Iran

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.

关键词： Data models Multiprotocol label switching Libraries Databases Information systems Analytical models software product lines

来源：评论

学校读者我要写书评

暂无评论

model-based approach for implementation of software configuration management process

Model-based approach for implementation of software configur...

引用

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

作者： Arturs Bartusevics Leonids Novickis Faculty of Computer Science and Information Technology RTU Riga Latvia

software configuration management is a discipline that controls software evolution process. Nowadays this process is not only challenge to choose the best version control system o branching strategy for particular project. Together with source code management the following tasks should be solved: continuous integration, continuous delivery, release management, build management etc. Usually software development companies already have a set of tools to support mentioned processes. The main challenge is to adopt this solutions to new projects as soon as possible with minimum efforts of manual steps. The article provides new model-driven approach to increase reuse of existing solutions in configuration management area. In order to illustrate the approach, there were developed new meta-models that are purposed for development of different configuration management models in context of a model-driven approach. This article provides a simplified example to illustrate models and defines further researches.

关键词： Handheld computers Decision support systems Computer science Information technology Configuration management

来源：评论

学校读者我要写书评

暂无评论

Automated state-based online testing real-time embedded software with RTEdge

Automated state-based online testing real-time embedded soft...

引用

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

作者： Wafa Hasanain Yvan Labiche Serban Gheorghe Systems and Computer Engineering Carleton University Ottawa Canada Edgewater Computer Systems Inc. Ottawa Canada

Verifying a real time embedded application is challenging since one has to consider timing requirements in addition to functional ones. During online state-based testing the generation and execution of test cases happen concurrently: test case generation uses information from a state-based test model in combination with observed execution behaviour. This paper describes a practical online testing algorithm that is implemented in the state-based modeling tool RTEdge. Two case studies show that our online testing algorithm produces a test suite that achieves high model coverage, thus facilitating the automated verification of real-time embedded software.

关键词： Testing Unified modeling language Real-time systems software Object oriented modeling Analytical models Generators

来源：评论

学校读者我要写书评

暂无评论

Towards the integration of model-driven engineering, software product line engineering, and software configuration management

Towards the integration of model-driven engineering, softwar...

引用

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

作者： Felix Schwägerl Thomas Buchmann Sabrina Uhrig Bernhard Westfechtel Applied Computer Science I University of Bayreuth Bayreuth Germany

model-driven software engineering (MDSE), software Product Line engineering (SPLE) and software Configuration Management (SCM) have been established as independent disciplines to ease different aspects of software development. The usage of models as high-level abstractions promises to increase productivity, while software product lines manage variability within a family of similar software products; software configuration management systems manage evolution and support collaborative development. In this paper, we explore the state of the art regarding the pairwise combinations MDSE/SPLE, SPLE/SCM, and MDSE/SCM and show that an integrated solution combining all three disciplines is missing. We present a conceptual framework to integrate MDSE, SPLE and SCM uniformly based on a filtered editing model. The framework implies a number of advantages, namely unconstrained variability, a reduction of cognitive complexity, improved consistency, tool independence, and a higher level of automation. Our formalism is based on a uniform versioning model for temporal, cooperative, and logical versioning of models. By an example, we show the feasibility of our approach.

关键词： Unified modeling language software Aerospace electronics software product lines Biological system modeling Object oriented modeling Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Towards Bidirectional Higher-Order Transformation for model-driven Co-evolution 2nd

Towards Bidirectional Higher-Order Transformation for Model-...

引用

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

作者： Hoisl, Bernhard Hu, Zhenjiang Hidaka, Soichiro Vienna Univ Econ & Business WU Vienna Inst Informat Syst & New Media Vienna Austria Secure Business Austria Res SBA Res Vienna Austria NII Tokyo Japan

ISBN: (纸本)9783319251561;9783319251554

In model-driven development (MDD), numerous metamodels, models, and model transformations need to be taken into account. These MDD-based artifacts-although highly interdependent-are autonomously maintained. Changes in one artifact (e.g., in a model) are not automatically reflected in other dependent artifacts (e.g., in a model transformation). The barrier for a tight integration of MDD-based artifacts stems from two limitations of current approaches. On the one hand, model transformations are unidirectional and changes can be propagated in one direction only. On the other hand, changes can only be propagated into output artifacts of transformations, not into transformation definitions themselves. In order to overcome these co-evolution problems, our approach is based on establishing bidirectional transformations (BX) between modeling artifacts and on applying higher-order transformations (HOTs) on first-class model representations of transformation specifications. In this paper, we present a generic approach and provide initial prototypes for an integrated tool support which integrates BX into well-established Eclipse-based MDD frameworks, thereby neither being restricted to a specific modeling nor model transformation language.

关键词： model-driven development model co-evolution Bidirectional transformation Higher-order transformation

来源：评论

学校读者我要写书评

暂无评论

On languages for conceptual data modeling in multi-disciplinary space systems engineering

On languages for conceptual data modeling in multi-disciplin...

引用

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

作者： Christian Hennig Harald Eisenmann Alexander Viehl Oliver Bringmann Intelligent Systems and Production Engineering FZI Research Center for Information Technology Karlsruhe Germany TSOEC3 Space Systems Airbus Defence and Space Friedrichshafen Germany Wilhelm-Schickard-Institute for Computer Science Eberhard-Karls-University of Tubingen Tubingen Germany

The engineering of complex systems is more and more supported through computer-based models that rely on a comprehensive specification of their underlying data. This paper reflects on extensive industrial experience with a sophisticated application of conceptual data modeling, addressing requirements as they arise in the context of space systems engineering. For this purpose identified needs for conceptual data modeling in the scope of model-Based Systems engineering are formulated. Established and evolving approaches and technologies for building conceptual data models are characterized, analyzed, and discussed regarding their suitability for modeling engineering data. Based on this analysis of the state of the art, recommendations for the future evolution of conceptual data modeling are formulated.

关键词： Unified modeling language Data models Biological system modeling Solid modeling Computational modeling Analytical models

来源：评论

学校读者我要写书评

暂无评论

Aggregate Callback: A design pattern for flexible and robust runtime model building

Aggregate Callback: A design pattern for flexible and robust...

引用

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

作者： Gábor Kövesdán Márk Asztalos László Lengyel Department of Automation and Applied Informatics Budapest University of Technology and Economics Budapest Hungary

In modern software engineering environments, tools that use Domain-Specific Languages (DSLs) are often applied. The usual workflow of such tools is that the textual input written in the DSL is parsed and a semantic model is instantiated. This model is later passed to another software component that processes it, e.g. a model transformation, a code generator or a simulator. Building the semantic model inside the parser is often a complex task. The model must be built in such a way that the constraints of the problem domain are enforced so that the consistency of the output is guaranteed. This paper presents a design pattern, referred as Aggregate Callback that supports enforcing constraints in the model and thus helps creating correct models. We have found that the Aggregate Callback pattern is useful for tool developers that build models in their applications.

关键词： DSL Aggregates software Generators Concrete Context modeling Robustness

来源：评论

学校读者我要写书评

暂无评论

A novel approach using alloy in Domain-Specific Language engineering

A novel approach using alloy in Domain-Specific Language eng...

引用

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

作者： Rodrigo M. L. M. Moreira Ana C. R. Paiva INESC TEC and Department of Informatics Engineering Faculty of Engineering of the University of Porto Porto Portugal

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.

关键词： Metals Unified modeling language DSL Analytical models Syntactics Graphical user interfaces Testing

来源：评论

学校读者我要写书评

暂无评论

A comparison of mechanisms for integrating handwritten and generated code for object-oriented programming languages

A comparison of mechanisms for integrating handwritten and g...

引用

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

作者： Timo Greifenberg Katrin Hölldobler Carsten Kolassa Markus Look Pedram Mir Seyed Nazari Klaus Müller Antonio Navarro Perez Dimitri Plotnikov Dirk Reiss Alexander Roth Bernhard Rumpe Martin Schindler Andreas Wortmann Rheinisch-Westfalische Technische Hochschule Aachen Aachen Nordrhein-Westfalen DE Technische Universitat Braunschweig Braunschweig Niedersachsen DE

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.

关键词： Generators Object oriented modeling Unified modeling language Object oriented programming Concrete model-driven development software

来源：评论

学校读者我要写书评

暂无评论

Automated model-based testing based on an agnostic-platform modeling language

Automated model-based testing based on an agnostic-platform ...

引用

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

作者： Concepción Sanz Alejandro Salas Miguel de Miguel Alejandro Alonso Juan Antonio de la Puente Clara Benac Campus de Montegancedo Universidad Politécnica de Madrid (UPM) Madrid Spain DIT Universidad Politécnica de Madrid (UPM) Madrid Spain

Currently multiple Domain Specific Languages (DSLs) are used for model-driven software development, in some specific domains. software development methods, such as agile development, are test-centered, and their application in model-based frameworks requires model support for test development. We introduce a specific language to define generic test models, which can be automatically transformed into executable tests for particular testing platforms. The resulting test models represent the test plan for applications also built according to a model-based approach. The approach presented here includes some customisations for the application of the developed languages and transformation tools for some specific testing platforms. These languages and tools have been integrated with some specific DSL designed for software development.

关键词： Testing Unified modeling language software Architecture Computer architecture Complexity theory Engines

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：