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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Integration of Heterogeneous modeling Languages via Extensible and Composable Language Components 3

Integration of Heterogeneous Modeling Languages via Extensib...

引用

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

作者： Haber, Arne Look, Markus Perez, Antonio Navarro Nazari, Pedram Mir Seyed Rumpe, Bernhard Voelkel, Steven Wortmann, Andreas Rhein Westfal TH Aachen Software Engn Aachen Germany Volkswagen Financial Serv Braunschweig Germany

ISBN: (纸本)9789897581366

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.

关键词： modeling Language engineering MDE modeling Language Integration

来源：评论

学校读者我要写书评

暂无评论

SysML-Sec A model driven Approach for Designing Safe and Secure Systems 3

SysML-Sec <i>A Model Driven Approach for Designing Safe and ...

引用

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

作者： Roudier, Yves Apvrille, Ludovic EURECOM 450 Routes Chappes F-06410 Biot Sophia Antipolis France Telecom ParisTech Inst Mines Telecom CNRS LTCI F-06410 Biot Sophia Antipolis France

ISBN: (纸本)9789897581366

Security flaws are open doors to attack embedded systems and must be carefully assessed in order to determine threats to safety and security. Subsequently securing a system, that is, integrating security mechanisms into the system's architecture can itself impact the system's safety, for instance deadlines could be missed due to an increase in computations and communications latencies. SysML-Sec addresses these issues with a model-driven approach that promotes the collaboration between system designers and security experts at all design and development stages, e.g., requirements, attacks, partitioning, design, and validation. A central point of SysML-Sec is its partitioning stage during which safety-related and security-related functions are explored jointly and iteratively with regards to requirements and attacks. Once partitioned, the system is designed in terms of system's functions and security mechanisms, and formally verified from both the safety and the security perspectives. Our paper illustrates the whole methodology with the evaluation of a security mechanism added to an existing automotive system.

关键词： model-driven engineering Safety Security SysML Embedded Systems

来源：评论

学校读者我要写书评

暂无评论

model-driven Service engineering Towards the Manufacturing Liquid-sensing Enterprise 3

Model-driven Service Engineering Towards the Manufacturing L...

引用

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

作者： Agostinho, Carlos Sesana, Michele Jardim-Goncalves, Ricardo Gusmeroli, Sergio Univ Nova Lisboa CTS Ctr Technol & Syst P-2829516 Caparica Portugal TXT E Solut I-20126 Milan Italy NOVA Univ Lisbon Fac Sci & Technol Dept Elect Engn P-2829516 Caparica Portugal

ISBN: (纸本)9789897581366

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.

关键词： MDA MDSEA Enterprise Interoperability Sensing Enterprise Liquid Enterprise Business Process

来源：评论

学校读者我要写书评

暂无评论

software Architecture Design by Stepwise model Transformations A Comparative Case Study 3

Software Architecture Design by Stepwise Model Transformatio...

引用

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

作者： Gilson, Fabian Englebert, Vincent Univ Namur Fac Comp Sci PReCISE Res Ctr Namur Belgium

ISBN: (纸本)9789897581366

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.

关键词： software Architecture model Transformation Design Rationale Design Decision Case Study

来源：评论

学校读者我要写书评

暂无评论

Ubtl UML Testing Profile based Testing Language 3

Ubtl <i>UML Testing Profile based Testing Language</i>

引用

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

作者： Iber, Johannes Kajtazovic, Nermin Hoeller, Andrea Rauter, Tobias Kreiner, Christian Graz Univ Technol Inst Tech Informat Inffeldgasse 16 Graz Austria

ISBN: (纸本)9789897581366

The continuous increase of software complexity is one of the major problems associated with the development of today's complex technical systems. In particular, for safety-critical systems, which usually require to be thoroughly verified and validated, managing such a complexity is of high importance. To this end, industry is utilizing model-driven development (MDD) in many aspects of systems engineering, including verification and validation activities. Until now many specifications and standards have been released by the MDD community to support those activities by putting models in focus. The general problem is, however, that applying those specifications is often difficult, since they comprise a broader scope than usually required to solve specific problems. In this paper we propose a domain-specific language (DSL) that allows to specify tests from the UML Testing Profile (UTP). The main contribution is that only particular aspects of UTP are captured, thereby allowing the MDD process to be narrowed to specific needs, such as supporting code generation facilities for certain types of tests or even specific statements in tests. In the end we show the application of the DSL using a simple example within a MDD process, and we report on performance of that process.

关键词： UML Testing Profile UML Textual Domain-Specific Language Test Specification Language software Testing model-driven development

来源：评论

学校读者我要写书评

暂无评论

Realizing a Conceptual Framework to Integrate model-driven engineering, software Product Line engineering, and software Configuration Management 3rd

Realizing a Conceptual Framework to Integrate Model-Driven E...

引用

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 POB 101251 D-95440 Bayreuth Germany

ISBN: (纸本)9783319278698;9783319278681

software engineering is a highly integrative computer science discipline, combining a plethora of different techniques to increase the quality of software development as well as the resulting software. The three sub-disciplines model-driven software engineering (MDSE), software Product Line engineering (SPLE) and software Configuration Management (SCM) are well-explored, but literature still lacks an integrated solution. In this paper, we present the realization of a conceptual framework that integrates those three sub-disciplines uniformly based on a filtered editing model. The framework combines the checkout/modify/commit workflow known from SCM with the formalism of feature models and feature configurations known from SPLE. The implementation is model-driven and extensible with respect to different product and version space models. Important design decisions are formalized by means of Ecore metamodels. Furthermore, we propose several optimizations that increase the scalability of the conceptual framework.

关键词： model-driven software engineering software product line engineering software configuration management

来源：评论

学校读者我要写书评

暂无评论

Graphical Debugging of Distributed Applications Using UML Object Diagrams to Visualize the State of Distributed Applications at Runtime 3

Graphical Debugging of Distributed Applications <i>Using UML...

引用

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

作者： Koch, Andreas Zuendorf, Albert Univ Kassel Software Engn Res Inst Wilhelmshoher Allee 73 Kassel Germany

ISBN: (纸本)9789897581366

While debugging is one of the most time consuming tasks software developers perform, the tool support, especially for distributed applications, is lacking according to many professional developers. The Visual Debugger is an approach to provide an easy-to-use tool which gives software developers an abstract view on the current state of their application in debugging sessions. While similar tools for non distributed applications already exist, the Visual Debugger addresses the more complex debugging scenarios in distributed applications. Therefore, several views with different levels of abstraction of the current state of an application are provided. Although the approach may be adapted to other object oriented programming languages, the current target of the Visual Debugger is languages running on the Java Virtual Machine with the focus on Java.

关键词： Tool Debug Distributed UML2 Objectdiagram Eclipse

来源：评论

学校读者我要写书评

暂无评论

Knowledge modeling in the Health Care Domain: Capturing Semantics to Bridge the Gap Between Complex Data models and Object models 3rd

Knowledge Modeling in the Health Care Domain: Capturing Sema...

引用

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

作者： Reichherzer, Thomas Coffey, John Gonen, Bilal Gillett, Irad Univ W Florida Dept Comp Sci 11000 Univ Pkw Pensacola FL 32503 USA

ISBN: (纸本)9783319278698;9783319278681

This article contains a description of a knowledge elicitation effort and representation pertaining to the modeling of conceptual knowledge in the health care field. The project has the goal of building a conceptual model of data in the Military Health System Data Repository, a large DoD/VA aggregation of databases that can be used in the implementation of software. The goal is to create a just-in-time conceptual model of the data to facilitate software development and foster software developer understanding of the domain.

关键词： Knowledge modeling Concept mapping software engineering Health information systems

来源：评论

学校读者我要写书评

暂无评论

Support of Scenario Creation by Generating Event Lists from Conceptual models 3

Support of Scenario Creation by Generating Event Lists from ...

引用

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

作者： Goto, Kenta Ogata, Shinpei Shirogane, Junko Nakatani, Takako Fukazawa, Yoshiaki Waseda Univ Dept Comp Sci & Engn Shinjuku Ku 3-4-1 Okubo Tokyo Japan Shinshu Univ Grad Sch Sci & Technol Nagano Japan Tokyo Womans Christian Univ Dept Commun Suginami Ku Tokyo Japan Univ Tsukuba Grad Sch Syst Management Tokyo Japan

ISBN: (纸本)9789897581366

In the requirements definition phase, conceptual models are used to understand the developing software. Although scenarios are often described on the basis of conceptual models, there are cases that necessary requirements are omitted in the scenarios when the scenarios are created manually. Herein we propose an approach to support scenario creation from conceptual models where event lists of scenarios, which include checkpoints to define requirements, are generated from conceptual models automatically. The conceptual models represent the core resources of the software, the owner of the core resources, and use cases as class diagrams. Then software engineers and their clients arrange the event lists and define requirements as scenarios on the basis of the checkpoints. Our approach can support describing scenarios with all the necessary requirements from conceptual models. To confirm the effectiveness of our approach, we compared our approach to the all-manual approach.

关键词： Conceptual model Scenario Requirements Definition Use Case

来源：评论

学校读者我要写书评

暂无评论

Towards Traceability modeling for the engineering of Heterogeneous Systems 3

Towards Traceability Modeling for the Engineering of Heterog...

引用

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

作者： Mustafa, Nasser Labiche, Yvan Carleton Univ Dept Syst & Comp Engn Ottawa ON Canada

ISBN: (纸本)9789897581366

Capturing traceability information among artifacts allows for assuring product quality in many ways such as tracking functional and non-functional requirements, performing system validation and impact analysis. Although literature provides many techniques to model traceability, existing solutions are either tailored to specific domains (e.g., Ecore modeling languages), or not complete enough (e.g., lack support to specify traceability link semantics). This paper examines the current traceability models and identifies the drawbacks that prevent from capturing some traceability information of heterogeneous artifacts. In this context, heterogeneous artifacts refer to artifacts that come from widely different modelling notations (e.g., UML, Simulink, natural language text, source code). Additionally, the paper proposes traceability model requirements that are necessary to build a generic traceability model. We argue that the proposed requirements are sufficient to build a traceability model oblivious of the heterogeneity of the models which elements need to be traced. We also argue that our proposed requirements can be adopted to create a generic traceability model that provides flexibility and can accommodate new ways of characterizing and imposing constraints on trace links or systems artifacts. The proposed requirements incorporate the ideas from many existing solutions hi literature, in an attempt to be as complete as possible.

关键词： heterogeneous Traceability Generic Characterization Traceability Requirements

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：