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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

207 篇 会议
4 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

185 篇 工学
- 167 篇 软件工程
- 165 篇 计算机科学与技术...
- 6 篇 电气工程
- 4 篇 控制科学与工程
- 3 篇 机械工程
- 3 篇 材料科学与工程（可...
- 3 篇 安全科学与工程
- 2 篇 冶金工程
- 2 篇 信息与通信工程
- 2 篇 化学工程与技术
- 2 篇 生物医学工程（可授...
- 2 篇 生物工程
- 1 篇 力学（可授工学、理...
18 篇 理学
- 12 篇 数学
- 4 篇 系统科学
- 2 篇 物理学
- 2 篇 化学
- 2 篇 生物学
- 2 篇 统计学（可授理学、...
- 1 篇 地质学
18 篇 管理学
- 15 篇 管理科学与工程(可...
- 9 篇 工商管理
- 2 篇 图书情报与档案管...
5 篇 法学
- 3 篇 社会学
- 1 篇 法学
- 1 篇 马克思主义理论
4 篇 教育学
- 4 篇 教育学
3 篇 医学
- 2 篇 基础医学(可授医学...
- 2 篇 临床医学
2 篇 经济学
- 2 篇 应用经济学

主题

27 篇 unified modeling...
22 篇 software
18 篇 tools
14 篇 analytical model...
12 篇 context
10 篇 software enginee...
10 篇 computational mo...
9 篇 model-driven eng...
9 篇 software design
8 篇 uml
8 篇 data models
7 篇 model driven eng...
7 篇 model-driven dev...
6 篇 object oriented ...
6 篇 computer archite...
6 篇 software archite...
6 篇 automotive engin...
6 篇 model transforma...
6 篇 adaptation model...
5 篇 companies

机构

5 篇 group of softwar...
4 篇 softeam
2 篇 malina software ...
2 篇 school of electr...
2 篇 systems and soft...
2 篇 department of co...
2 篇 faculty of eemcs...
2 篇 friedrich schill...
2 篇 university of tw...
2 篇 airbus def & spa...
2 篇 innopolis univ i...
2 篇 information secu...
2 篇 fzi res ctr info...
2 篇 centro algoritmi...
2 篇 tianjin informat...
2 篇 instituto polité...
2 篇 school of comput...
2 篇 inesc-id univers...
2 篇 space systems ai...
2 篇 politecnico di m...

作者

3 篇 martínez patrici...
3 篇 philippe desfray
3 篇 cuesta césar cue...
3 篇 bauer bernhard
3 篇 drake josé m.
3 篇 slimane hammoudi
3 篇 maschotta ralph
3 篇 bran selic
3 篇 jungebloud tino
3 篇 wichmann alexand...
3 篇 zimmermann armin
2 篇 iglesias aitzibe...
2 篇 hammer maximilia...
2 篇 ramesh s.
2 篇 charramendieta s...
2 篇 geismann johanne...
2 篇 schmelter david
2 篇 sudhakaran m.
2 篇 desfray philippe
2 篇 pohlmann uwe

语言

212 篇 英文
1 篇 西班牙文

检索条件"任意字段=4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016"

共 213 条记录，以下是141-150 订阅

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

详细简洁

排序：

Automated quality analysis of software engineering method models

Automated quality analysis of software engineering method mo...

引用

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

作者： Masud Fazal-Baqaie Frank Kluthe s-lab - Software Quality Lab University of Paderborn Paderborn Germany

ISBN: (纸本)9781509058983

Using a suitable software engineering method (SEM) for a specific project and following it properly is important for the resulting software quality. However, SEMs described in natural language are often ambiguous and lack automated guidance for the team members, causing impediments for the project. the model-based approach Method engineering with Method Services and Method Patterns (MESP) allows to model enactable SEM models by composing pre-defined building blocks. Up to now, the quality of MESP models had to be checked manually which was tedious and error-prone at times. In this paper, we present an automated design-time quality analysis for MESP SEM models. In particular, our analysis allows to automatically evaluate generic quality characteristics relevant for all SEM models as well as specific quality requirements specified using MESP method patterns. We integrated the quality analysis framework into the MESP Workbench and our evaluation shows that the analysis is fast enough to provide timely feedback even for large SEM models.

关键词： Analytical models software engineering software quality Engines Natural languages Automation Performance evaluation

来源：评论

学校读者我要写书评

暂无评论

Umple as a component-based language for the development of real-time and embedded applications

Umple as a component-based language for the development of r...

引用

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

作者： Mahmoud Husseini Orabi Ahmed Husseini Orabi Timothy Lethbridge University of Ottawa Ottawa Ontario Canada

ISBN: (纸本)9781509058983

Component-based development enforces separation of concern to improve reusability and maintainability. In this paper, we show how we extended Umple (http://***) to support component-based development. the development of components, ports, and connectors is enabled using easy-to-comprehend keywords. development is supported in both textual and visual representations. the design pattern followed in our implementation is the active object pattern. We show a comparison between Umple and other modelling tools. We show that Umple has a set of component features comparable to commercial modelling tools, but is the most complete, particularly with regard to code generation, among the open source tools.

关键词： Ports (Computers) Unified modeling language Connectors Real-time systems Tools C++ languages Relays

来源：评论

学校读者我要写书评

暂无评论

model-driven approach for verifying conformity of models in the presence of constraints

Model-driven approach for verifying conformity of models in ...

引用

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

作者： César Cuevas Cuesta Patricia López Martínez José M. Drake Group of Software Engineering and Real-Time University of Cantabria Santander Spain

ISBN: (纸本)9781509058983

this paper presents a model-driven approach for the systematic development of tools for checking the conformity of models when the domain formalization does not only consist of a meta-model but also on a set of constraints enhancing it. the strategy is built on top of the idea of representing the result of the verification as a model which gathers all the constraint violations found in the model, formulating them in a way that allows their later detailed manifestation, automatic correction or any other potential processing. With that aim, a meta-model for supporting those models describing constraints violations has been designed. the verification is applied by means of an M2M transformation that takes as input the model to verify and generates a model conforming to the designed meta-model. this methodology constitutes the way to accomplish the final objective: designing a strategy for the development of a generic tool for verification, regardless any particular meta-model or constraints set. this is performed through the duality of a model transformation as a processing program but also as a processed artefact (model), by means of the Higher Order Transformation (HOT) technique.

关键词： Tools Unified modeling language Analytical models Data models Machine-to-machine communications Real-time systems Semantics

来源：评论

学校读者我要写书评

暂无评论

An approach to class diagrams verification according to SOLID design principles

An approach to class diagrams verification according to SOLI...

引用

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

作者： Elena Chebanyuk Krassimir Markov Department of Software Engineering National Aviation University Kyiv Ukraine Department of Information Modelling Institute of Mathematics and Informatics at Bulgarian Academy of Sciences Sofia Bulgaria

ISBN: (纸本)9781509058983

An approach, verifying class diagram correspondence to SOLID Design Principles, is proposed in this paper. SOLID is an acronym, encapsulating the five class diagram design principles namely: Single Responsibility, Open-Closed, Liskov Substitution, Interface Segregation and Dependency Inversion. To check whether a class diagram meets to SOLID, its analytical representation is analyzed by means of predicate expressions. For every SOLID design principle corresponded predicate expressions are proposed. Analytical representation describes interaction of class diagram constituents, namely classes and interfaces, in set-theory terms. Also criteria for estimation of obtained results are formulated. Example of class diagram verification according to the suggested verification approach is also represented in this paper. the advantages of the proposed verification approach implementing to improve the quality of different software development lifecycle processes are outlined in the conclusions.

关键词： software Solids Algebra Algorithm design and analysis Pattern matching Analytical models Estimation

来源：评论

学校读者我要写书评

暂无评论

Lightweight realization of UML ports for safety-critical real-time embedded software

Lightweight realization of UML ports for safety-critical rea...

引用

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

作者： Alper Tolga Kocataş Mustafa Can Ali Hikmet Doğru Avionics Software Design Department Aselsan Inc. Ankara Turkey Department of Computer Engineering Middle East Technical University Ankara Turkey

UML ports are widely used in the modeling of real-time software due to their advantages in flexibility and expressiveness. When realizing UML ports in object oriented languages, using objects for each port is one option. However, this approach causes runtime overhead and renders significant amount of additional generated code. To meet the performance constraints and decrease the costs of code reviews required in development of safety-critical real-time embedded software, more efficient approaches are required. In this article, we propose an approach, which introduces relatively less runtime overhead and results in more compact source code. A structural model defined with UML ports is transformed into a model that uses associations instead of objects to efficiently implement the UML port semantics with less lines of code. Achieved improvements and validation of the proposed approach is demonstrated by a case study; the design of an existing avionics software.

关键词： Ports (Computers) Unified modeling language Connectors Object oriented modeling Runtime Relays software

来源：评论

学校读者我要写书评

暂无评论

modelling business process variants using graph transformation rules

Modelling business process variants using graph transformati...

引用

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

作者： Christine Natschläger Verena Geist Christa Illibauer Robert Hutter Software Competence Center Hagenberg Hagenberg Austria Prologics IT GmbH Linz Austria

Business process variability is an active research area in the field of business process management and deals with variations and commonalities among processes of a given process family. Many theoretical approaches have been suggested in the last years; however, practical implementations are rare and limited in their functionality. In this paper, we propose a new approach for business process variability based on well-known graph transformation techniques and with focus on practical aspects like definition of variation points, linking and propagation of changes, as well as visual highlighting of differences in process variants. the suggested concepts are discussed within a case study comprising two graph transformation systems for generating process variants; one supports variability by restriction, the other supports variability by restriction and by extension. Both graph transformation systems are proven to be globally deterministic, but differ regarding their complexity. the overall approach is being implemented in the BPM suite of our partner company.

关键词： Adaptation models Business Tools Context Joining processes Visualization Biological system modeling

来源：评论

学校读者我要写书评

暂无评论

Deriving software design models from a set of business processes

Deriving software design models from a set of business proce...

引用

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

作者： Estrela F. Cruz Ricardo J. Machado Maribel Y. Santos Instituto Politécnico de Viana do Castelo Viana do Castelo Portugal Centro ALGORITMI Escola de Engenharia Universidade do Minho Guimarães Portugal

ISBN: (纸本)9781509058983

Requirements elicitation is a crucial activity and one of the first steps in software development process. A popular way to capture and describe requirements is through UML use case models. Transforming requirement specifications into software design models is a complex and error prone software development activity. software design usually involves several models, each one representing a different perspective. One of those perspectives is the data perspective which can be modeled using a data model. Although of the importance of this model, few works has been done to derive a data model from use case model. the 4SRS (4-Step Rule Set) method generates a logical architecture of a software-based system, based on a use case model. this paper proposes an approach to adapt and extend the 4SRS method in order to generate a data model supporting the generated logical architecture and the elicited requirements based in a set of business process models.

关键词： Data models Unified modeling language Business Adaptation models Computer architecture software design

来源：评论

学校读者我要写书评

暂无评论

XIS-CMS: Towards a model-driven approach for developing platform-independent CMS-specific modules

XIS-CMS: Towards a model-driven approach for developing plat...

引用

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

作者： Paulo Filipe André Ribeiro Alberto Rodrigues da Silva INESC-ID Universidade de Lisboa Lisbon Portugal

ISBN: (纸本)9781509058983

Content Management Systems (CMS) are popular web application platforms used in multiple domains. CMS allow non-technical users to manage the content and features of websites with web modules that abstract functionality without requiring particular software programming background. However, without the development of specific web modules, a CMS usually cannot support complex scenarios or specific business needs. In those situations, developers have to build custom modules using the CMS-specific language, which implies that they must master the corresponding programming and other technical skills. this paper proposes a model-driven approach, named XIS-CMS, which aims to increase the productivity and portability of developing these modules in a more abstract and platform-independent way. XIS-CMS approach includes a domain-specific modeling language, defined as a UML profile, and a companion framework defined on top of Sparx Systems Enterprise Architect and Eclipse modeling Framework technologies. this paper introduces the XIS-CMS approach, its corresponding language and framework, and compares it with related work.

关键词： Unified modeling language Business Navigation DSL software Machine-to-machine communications Context

来源：评论

学校读者我要写书评

暂无评论

Towards a common understanding of Business Process Instance data

Towards a common understanding of Business Process Instance ...

引用

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

作者： Nima Moghadam Hye-young Paik School of Computer Science and Engineering University of New South Wale Sydney NSW Australia

ISBN: (纸本)9781509058983

In an organisation several Business Process Management System (BPMS) products can co-exist and work alongside each other. Each one of these BPM tools has its own definition of process instances, creating a heterogeneous environment. this reduces interoperability between business process management systems and increases the effort involved in analysing the data. In this paper, we propose a common model for business process instances, named Business Process Instance model (BPIM), which provides a holistic view of business process instances generated from multiple systems. BPIM consists of visual notations and their metadata schema. It captures three dimensions of process instances: process execution paths, instance data provenance and meta-data. BPIM aims to provide an abstract layer between the process instance repository and BPM engines, leading to common understanding of business process instances.

关键词： Data models Engines Interoperability Arrays Business process management Visualization

来源：评论

学校读者我要写书评

暂无评论

Towards flexibility in business processes by mining process patterns and process instances

Towards flexibility in business processes by mining process ...

引用

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

作者： Andreas Bögl Christine Natschläger Verena Geist Pascom Kommunikationssysteme GmbH Arbing Austria Software Competence Center Hagenberg Hagenberg Austria

the possibility to react to unexpected situations in business process execution is restricted since all possible process flows must be specified at design-time. thus, there is need for a flexible approach that reflects the way in which human actors would handle discrepancies between real-life activities and their representation in business process definitions. In this paper, we propose a novel approach that supports dynamic business processes and is based on a framework comprising a process pattern library with domain-specific patterns and execution logs for mining related process instances. Given a running business process and an unexpected situation, the proposed approach provides a largely automatic adaptation of the business process by replacing failed activities with fitting process alternatives identified by exploring existing process knowledge. the feasibility of the approach is demonstrated by applying the main steps to a business scenario taken from the industry domain.

关键词： Business Libraries Marine vehicles Context Fertilizers Transportation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共22页 << < 11 12 13 14 15 16 17 18 19 20 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：