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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

A Modular Method for Global System Behaviour Specification 3

A Modular Method for Global System Behaviour Specification

引用

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

作者： Fatima, Urooj Braek, Rolv Norwegian Univ Sci & Technol NTNU Dept Telemat NO-7491 Trondheim Norway

ISBN: (纸本)9789897581366

The challenge addressed in this paper is how can we specify the global behaviour of distributed reactive systems in a way which eases the comprehension of the system without compromising its specification's correctness, completeness, modularity and readability. Instead of defining the global behaviour models in a monolithic way, we approach the problem by decomposing the specification into interface functionality and core functionality. The resulting interface-modular method for system specification is presented and discussed in this paper using a TaxiCentral as case study. The novelty of this method lies in the clear separation of interfaces from core functionality in global specification, and the use of activity diagrams in combination with collaborations to express and compose the specifications.

关键词： model-driven engineering Service Composition Interface Behaviour Activity Diagrams

来源：评论

学校读者我要写书评

暂无评论

model-based Approach for Implementation of software Configuration Management Process 3

Model-based Approach for Implementation of Software Configur...

引用

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

作者： Bartusevics, Arturs Novickis, Leonids RTU Fac Comp Sci & Informat Technol Kalku St 1 Riga Latvia

ISBN: (纸本)9789897581366

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.

关键词： software Configuration Management model-driven Approach models

来源：评论

学校读者我要写书评

暂无评论

model-driven development for User-centric Well-being Support From Dynamic Well-being Domain models to Context-aware Applications 3

Model-driven Development for User-centric Well-being Support...

引用

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

作者： Bosems, Steven van Sinderen, Marten Univ Twente Fac Elect Engn Math & Comp Sci Enschede Netherlands

ISBN: (纸本)9789897581366

Applications that can use information obtained through device sensors to alter their behavior are called context-aware. Design and development of such applications is currently done by modeling the application's context or by using novel requirements engineering methods. If the application is to support the user's well-being, these methods fall short due to their technical focus. We propose a model-driven approach that deals with the specifics of the well-being domain by using a DSL that captures the user's personal well-being context. The development method is user-centric, rather than technology focused. Initial user experiments show promising results.

关键词： Domain modeling model driven Design model Transformations Well-being Context-aware Applications

来源：评论

学校读者我要写书评

暂无评论

On Languages for Conceptual Data modeling in Multi-disciplinary Space Systems engineering 3

On Languages for Conceptual Data Modeling in Multi-disciplin...

引用

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

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

ISBN: (纸本)9789897581366

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.

关键词： Systems engineering model-based Systems engineering Conceptual Data modeling UML Ecore OWL ORM

来源：评论

学校读者我要写书评

暂无评论

Towards the Integration of model-driven engineering, software Product Line engineering, and software Configuration Management 3

Towards the Integration of Model-Driven Engineering, Softwar...

引用

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

作者： Schwaegerl, Felix Buchmann, Thomas Uhrig, Sabrina Westfechtel, Bernhard Univ Bayreuth Appl Comp Sci 1 Univ Str 30 D-95440 Bayreuth Germany

ISBN: (纸本)9789897581366

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.

关键词： model-driven software engineering software Product Lines software Configuration Management

来源：评论

学校读者我要写书评

暂无评论

Polymer A model-driven Approach for Simpler, Safer, and Evolutive Multi-objective Optimization development 3

Polymer <i>A Model</i>-<i>driven Approach for Simpler</i>, <...

引用

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

作者： Moawad, Assaad Hartmann, Thomas Fouquet, Francois Nain, Gregory Klein, Jacques Bourcier, Johann Univ Luxembourg Interdisciplinary Ctr Secur Reliabil & Trust Luxembourg Luxembourg Univ Rennes 1 IRISA INRIA Rennes France

ISBN: (纸本)9789897581366

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.

关键词： Multi-objective Evolutionary Algorithms Optimization Genetic Algorithms model-driven engineering

来源：评论

学校读者我要写书评

暂无评论

Defining and using collaboration patterns for software process development 3

Defining and using collaboration patterns for software proce...

引用

3rd international conference on model-driven engineering and software development, modelsward 2015

作者： Vo, Tan Thuan Coulette, Bernard Tran, Hanh Nhi Lbath, Redouane Institut de Recherche en Informatique de Toulouse Toulouse France

ISBN: (纸本)9789897580833

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". Copyright © 2015 SCITEPRESS - Science and Technology Publications.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

A Combined Graph-based Approach for Systems Design And Verification 3

A Combined Graph-based Approach for Systems Design And Verif...

引用

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

作者： Zoubeir, Najet Khalfallah, Adel Inst Super Informat Dept Genie Logiciel & Syst Informat Ariana Tunisia

ISBN: (纸本)9789897581366

software architecture's interoperability faces many problems when it comes to integrating different components or formalisms in describing the architecture. Even within the same modeling language such as UML, the diversity of notations and the lack of semantic information make the interoperability between models difficult. In this paper, we propose semantic foundations that unify the notations of classes, interactions and constraints, and hence provide a robust basis for models interoperability. We rely on graphs and graph transformations to describe systems structure and behavior, semantics and constraints in a combined form within an integrated framework, which constitutes a robust basis for automated software architecture analysis.

关键词： Graph Transformation Systems software Architecture Analysis Syntax Semantics Verification

来源：评论

学校读者我要写书评

暂无评论

Automated DSL Construction Based on software Product Lines 3

Automated DSL Construction Based on Software Product Lines

引用

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

作者： Huang, Changyun Osaka, Ataru Kamei, Yasutaka Ubayashi, Naoyasu Kyushu Univ Fukuoka Japan

ISBN: (纸本)9789897581366

DSL (Domain-Specific Language) is one of the important approaches for software abstraction. In the past decades, DSLs have been provided by expert engineers familiar with domain knowledge and programming language processors. It is not easy for ordinary programmers to construct DSLs for their own purposes. To deal with this problem, we propose a language workbench called Argyle that can automatically generate a DSL by only specifying a set of functions needed to the DSL and an execution platform supported by the DSL. Argyle is based on software product lines and consists of the following two steps: 1) development of the core assets for constructing a family of DSLs and 2) DSL configuration using these core assets. To demonstrate the effectiveness of our approach, we developed a prototype DSL for supporting MSR (Mining software Repositories), the most active research field in software engineering.

关键词： Domain-specific Language software Product Line Language Workbench

来源：评论

学校读者我要写书评

暂无评论

Automated State-based Online Testing Real-time Embedded software with RTEdge 3

Automated State-based Online Testing Real-time Embedded Soft...

引用

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

作者： Hasanain, Wafa Labiche, Yvan Gheorghe, Serban Carleton Univ Syst & Comp Engn 1125 Colonel Dr Ottawa ON Canada Edgewater Comp Syst Inc Ottawa ON Canada

ISBN: (纸本)9789897581366

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.

关键词： State-based Testing Online Testing Real-time Embedded RTEdge

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：