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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

66 篇 会议
38 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

97 篇 工学
- 77 篇 计算机科学与技术...
- 52 篇 软件工程
- 13 篇 电气工程
- 7 篇 控制科学与工程
- 4 篇 信息与通信工程
- 1 篇 机械工程
- 1 篇 电子科学与技术（可...
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 航空宇航科学与技...
13 篇 管理学
- 10 篇 管理科学与工程(可...
- 2 篇 工商管理
- 1 篇 公共管理
- 1 篇 图书情报与档案管...
2 篇 教育学
- 2 篇 教育学
1 篇 经济学
- 1 篇 理论经济学
1 篇 法学
- 1 篇 政治学
1 篇 文学
- 1 篇 新闻传播学
1 篇 理学
- 1 篇 化学
1 篇 农学
- 1 篇 作物学
1 篇 医学
- 1 篇 基础医学(可授医学...

主题

105 篇 model-driven sof...
10 篇 model transforma...
5 篇 domain-specific ...
4 篇 uml
4 篇 industry 4.0
4 篇 software enginee...
4 篇 domain-specific ...
4 篇 code generation
3 篇 component-based ...
3 篇 software evoluti...
3 篇 model transforma...
3 篇 requirements eng...
3 篇 software migrati...
3 篇 cyber-physical s...
3 篇 simplicity
3 篇 domain-specific ...
2 篇 software visuali...
2 篇 software design ...
2 篇 software analysi...
2 篇 model checking

机构

2 篇 univ augsburg in...
2 篇 univ munster erc...
2 篇 univ augsburg so...
2 篇 univ novi sad fa...
2 篇 univ potsdam dep...
2 篇 wageningen univ ...
1 篇 vienna univ tech...
1 篇 univ murcia murc...
1 篇 penn state univ ...
1 篇 univ malaga ets ...
1 篇 univ canterbury ...
1 篇 ibm res india ne...
1 篇 software compete...
1 篇 univ munster erc...
1 篇 norwegian univ s...
1 篇 univ marburg mar...
1 篇 winona state uni...
1 篇 complex sci hub ...
1 篇 bournemouth univ...
1 篇 hochschule emden...

作者

4 篇 alonso diego
4 篇 reif wolfgang
4 篇 stenzel kurt
4 篇 kuchen herbert
3 篇 schlegel christi...
3 篇 quesada luis
3 篇 bosselmann steve
3 篇 bauer bernhard
3 篇 margaria tiziana
3 篇 borek marian
3 篇 cubero juan-carl...
3 篇 berzal fernando
3 篇 tekinerdogan bed...
3 篇 vicente-chicote ...
3 篇 katkalov kuzman
2 篇 zorrilla marta
2 篇 rieger christoph
2 篇 vila katia
2 篇 mazon jose-norbe...
2 篇 assmann uwe

语言

97 篇 英文
7 篇 其他
1 篇 西班牙文

检索条件"主题词=Model-driven Software Development"

共 105 条记录，以下是41-50 订阅

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

详细简洁

排序：

An Integrated Aspect-Oriented model-driven software Product Line Tool Suite 08

An Integrated Aspect-Oriented Model-Driven Software Product ...

引用

30th International Conference on software Engineering

作者： Groher, Iris Schwanninger, Christa Voelter, Markus Johannes Kepler Univ Linz Inst Syst Engn & Automat A-4040 Linz Austria

ISBN: (纸本)9781605580791

software product line engineering is mostly about the systematic management of commonality and variability between product line members. The effectiveness of this approach thus very much depends on how well variability within the family of similar products is implemented and managed. Variability often has widespread impact, crosscutting riot only multiple parts of individual artifacts but also multiple artifacts in multiple stages of the product line lifecycle. This demonstration presents an approach that facilitates variability implementation, management, and tracing by integrating aspect-oriented and model-driven software development. We demonstrate means for effectively dealing with variability on model, model transformation, and code generation level. The concepts are illustrated with a case study of a home automation system.

关键词： software product lines aspect-oriented software development model-driven software development

来源：评论

学校读者我要写书评

暂无评论

Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities 5

Flexible Specification of STEP Application Protocol Extensio...

引用

5th International Conference on model-driven Engineering and software development (modelSWARD)

作者： Koch, Thorsten Holtmann, Joerg Lindemann, Timo Fraunhofer IEM Software Engn Paderborn Germany Emmet Software Labs GmbH & Co KG Bad Salzuflen Germany

ISBN: (纸本)9789897582103

Original equipment manufacturers (OEMs) build mechatronic systems using components from several suppliers in industry sectors like automation. The suppliers provide geometrical information via the standardized exchange format STEP, such that the OEM is able to virtually layout the overall system. Beyond the geometrical information, the OEM needs additional technical information for his development tasks. For that reason, STEP provides an extension mechanism for extending and tailoring STEP to project-specific needs. However, extending STEP moreover requires extending several capabilities of all involved tools, causing high development effort. This effort prevents the project-specific utilization of the STEP extension mechanism and forces the organizations to use awkward workarounds. In order to cope with this problem, we present a model-driven approach enabling the flexible specification of STEP extensions and particularly the automatic derivation of the required further capabilities for two involved tools. We illustrate and evaluate the approach with an automation production system example.

关键词： STEP model-driven software development Meta-modeling model Transformation

来源：评论

学校读者我要写书评

暂无评论

model-driven Performance Analysis of Large Scale Irrigation Networks 12

Model-Driven Performance Analysis of Large Scale Irrigation ...

引用

3rd IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS)

作者： Tariq, Muhammad Umer Nasir, Hasan Arshad Muhammad, Abubakr Wolf, Marilyn Georgia Inst Technol Sch Elect & Comp Engn Atlanta GA 30332 USA LUMS Sch Sci & Engn Dept Elect Engn Lahore Pakistan

ISBN: (纸本)9780769546957

Irrigation networks play a fundamental part in the agriculture system of various countries. In the wake of global environmental challenges and economic competition, efficient use of water resources has become extremely important. This can only be achieved by developing smarter control infrastructures for irrigation networks, via the incorporation of communication and computation technologies. Thus, future irrigation networks represent a prime example of cyber physical systems. Effective operation of these complex cyber physical systems is not possible with conventional methods and requires unprecedented levels of automation and decision-support tools. We argue that these cyber physical systems will require a complete model-driven toolset for effective operation. As a first step towards that tool flow, we have developed a model-driven simulation infrastructure for irrigation networks. In the future, we propose to complete the toolset by developing a model-driven configuration infrastructure. Our contributions in this paper include the development of a domain-specific modeling language (DSML) for irrigation networks, implementation of this DSML in Generic modeling Environment (GME), and automatic simulator M-file generation capability from the DSML-based case diagram of an arbitrary irrigation network. Moreover, we present case studies of water distribution and flood management to show the utility as well as the effectiveness of our approach. We also present the performance of our toolset for the realistic scenario of irrigation networks in Pakistan.

关键词： Irrigation Networks Cyber Physical Systems modeling and Simulation model-driven software development Domain Specific modeling Languages model Transformation

来源：评论

学校读者我要写书评

暂无评论

Mutating UML State Machine Behavior with Semantic Mutation Operators 14

Mutating UML State Machine Behavior with Semantic Mutation O...

引用

14th International Conference on Evaluation of Novel Approaches to software Engineering (ENASE)

作者： Derezinska, Anna Zaremba, Lukasz Warsaw Univ Technol Inst Comp Sci Nowowiejska 15-19 Warsaw Poland

ISBN: (纸本)9789897583759

In model-driven software development (MDSD), an application can be built using classes and their state machines as source models. The final application can be tested as any source code. In this paper, we discuss a specific approach to mutation testing in which modifications relate to different variants of behavioural features modelled by UML state machines, while testing deals with standard executions of the final application against its test cases. We have proposed several mutation operators aimed at mutating behaviour of UML state machines. The operators take into account event processing, time management, behaviour of complex states with orthogonal regions, and usage of history pseudostates. Different possible semantic interpretations are associated with each operator. The operators have been implemented in the Framework for eXecutable UML (FXU). The framework, that supports code generation from UML classes and state machines and building target C# applications, has been extended to realize mutation testing with use of multiple libraries. The semantic mutation operators have been verified in some MDSD experiments.

关键词： model-driven software development State Machine Code Generation Mutation Testing Framework for Executable UML (FXU) C#

来源：评论

学校读者我要写书评

暂无评论

model-driven development of Information Flow-Secure Systems with IFlow

Model-Driven Development of Information Flow-Secure Systems ...

引用

ASE/IEEE International Conference on Social Computing (SocialCom)

作者： Katkalov, Kuzman Stenzel, Kurt Borek, Marian Reif, Wolfgang Univ Augsburg Inst Software & Syst Engn D-86135 Augsburg Germany

ISBN: (纸本)9780769551371

In our increasingly interconnected world, privacy can seem like an unattainable goal. We are surrounded by countless devices and web services that acquire and collect our personal data as we interact with them. In many cases, the confidentiality of such data is not guaranteed and is frequently (if not always intentionally) violated. Smartphone apps and Internet web services in particular are known to often leak their users' confidential data to other users or (affiliated) third parties. We present a novel model-driven approach called IFlow that allows the development of distributed applications consisting of mobile apps and web services with secure information flow. In IFlow, a UML model of an information flow-sensitive application is used to automatically generate deployable app and web service code as well as a formal model. By employing automatic, language-based information flow control as well as interactive verification, IFlow enables the developer to give verifiable guarantees to the user about how his private data is being treated by the application.

关键词： model-driven software development information flow control mobile apps web services

来源：评论

学校读者我要写书评

暂无评论

Using MATCON to Generate CASE Tools That Guide Deployment of Pre-Packaged Applications 11

Using MATCON to Generate CASE Tools That Guide Deployment of...

引用

33rd International Conference on software Engineering (ICSE)

作者： Fein, Elad Razinkov, Natalia Shachor, Shlomit Mazzoleni, Pietro Goh, Sweefen Goodwin, Richard Bhandar, Manisha Chen, Shyh-Kwei Lee, Juhnyoung Sinha, Vibha Singhal Mani, Senthil Mukherjee, Debdoot Srivastava, Biplav Dhoolia, Pankaj IBM Res Haifa Haifa Israel IBM Res Watson Yorktown Hts NY 10598 USA IBM Res India New Delhi 110070 India

ISBN: (纸本)9781450304450

The complex process of adapting pre-packaged applications, such as Oracle or SAP, to an organization's needs is full of challenges. Although detailed, structured, and well-documented methods govern this process, the consulting team implementing the method must spend a huge amount of manual effort to make sure the guidelines of the method are followed as intended by the method author. MATCON breaks down the method content, documents, templates, and work products into reusable objects, and enables them to be cataloged and indexed so these objects can be easily found and reused on subsequent projects. By using models and meta-modeling the reusable methods, we automatically produce a CASE tool to apply these methods, thereby guiding consultants through this complex process. The resulting tool helps consultants create the method deliverables for the initial phases of large customization projects. Our MATCON output, referred to as Consultant Assistant, has shown significant savings in training costs, a 20-30% improvement in productivity, and positive results in large Oracle and SAP implementations.

关键词： model-driven software development Information Reuse Packaged Applications Method Authoring

来源：评论

学校读者我要写书评

暂无评论

Effective detection of model changes

Effective detection of model changes

引用

7th Colombian Computing Congress (CCC)

作者： Mendez-Acuna, David Casallas, Rubby Univ Los Andes Fac Ingn Dept Sistemas & Computac Bogota Colombia

ISBN: (纸本)9781467314763

model-driven software development (MDSD) is promising alternative in software engineering that proposes the use of models, not only as documentation artifacts, but also as first-class entities. Over the past few years, this approach has gained importance due to its proven benefits in terms of reusability and flexibility. However, the well-known problem of software evolution is also relevant in MDSD. When a model evolves, several dependent artifacts may be affected and migration would be necessary. In this paper, we present an approach that aims at effectively detecting changes in models. This approach corresponds to a first step towards the implementation of migration strategies in the context of MDSD. We validate the proposal with the classical example of evolution of model classes from UML 1.4 to UML 2.0.

关键词： Programming and software engineering model-driven software development software evolution

来源：评论

学校读者我要写书评

暂无评论

model-driven Customizing of ERP Systems: A Case Study 22

Model-Driven Customizing of ERP Systems: A Case Study

引用

37th Annual ACM Symposium on Applied Computing

作者： Neugebauer, Jonathan Kuchen, Herbert Univ Munster ERCIS Munster Germany

ISBN: (纸本)9781450387132

Customizing Enterprise Resource Planning (ERP) systems can require implementing new modules adding support for processes not considered by the ERP vendor. Since customizing can account for a large portion of the budget in ERP introduction projects, in this work, we aim at increasing programming productivity in this area. As case study, we introduce a model-driven approach to developing ERP modules for Microsoft Dynamics 365 Business Central (BC) based on our Domain-Specific Language (DSL) modAL. Besides the DSL, we present accompanying development tools allowing to generate runnable modules from modAL specifications. We evaluate our approach based on a usability test conducted among BC developers. The results suggest that our model-driven approach is beneficial.

关键词： model-driven software development Domain-Specific Language Enterprise resource planning

来源：评论

学校读者我要写书评

暂无评论

A Blockchain-Inspired, Multi-Layered Transaction model for Business Process modeling 27

A Blockchain-Inspired, Multi-Layered Transaction Model for B...

引用

27th Annual Americas Conference on Information Systems (AMCIS)

作者： Yue, Kwok-Bun Univ Houston Clear Lake Houston TX 77058 USA

ISBN: (纸本)9781733632584

software development for information systems can be characterized by the development of three kinds of models: (1) business models for business goals and requirements, (2) logical models for the solution design, and (3) physical models for actual implementation. The concept of transactions can beneficially be applied to these models. Past efforts for applying low-level transaction concepts to higher-level models focused on the atomicity, consistency, isolation, and durability (ACID) properties supported by traditional relational DBMS. We propose a novel transaction model that (1) refines the formalism of the ACID properties, and (2) adds blockchain-inspired formalism and properties including statefulness, privacy, and accountability. It supports transaction decomposition to sub-transactions, thus enabling multilayered transactions. The proposed model is based on our experience on developing a proof-of-concept prototypical model-Based Systems Engineering (MBSE) model repository using the blockchain platform Hyperledger's Fabric. A use case of the prototype is used as the illustrative example.

关键词： Business Process modeling Blockchain Business model Transaction model model-driven software development

来源：评论

学校读者我要写书评

暂无评论

model-driven adaptation of question answering systems for ambient intelligence by integrating restricted-domain knowledge

Model-driven adaptation of question answering systems for am...

引用

International Conference on Computational Science (ICCS) on the Ascent of Computational Excellence

作者： Vila, Katia Mazon, Jose-Norberto Ferrandez, Antonio Univ Alicante Dept Software & Comp Syst Alicante 03690 Spain

Ambient Intelligence (AmI) requires Question Answering (QA) systems for providing intuitive interfaces to state natural language questions and obtaining precise answers related to some specific topic. Therefore, adapting QA systems to new restricted domains is an increasingly necessity for these systems to be applied in AmI environments. Unfortunately, research addressing adaptation of QA systems to new domains has two main drawbacks: (i) QA systems are manually tuned, which requires a huge effort in time and cost, and (ii) tuning of QA systems depends on the specific representation scheme of the restricted-domain knowledge, thus hinders incorporation of new resources into the system. To overcome these drawbacks, this paper presents a novel approach based on model-driven development in order to seamlessly integrate textual information and knowledge resources to automatically and effortlessly adapt QA systems to be useful for restricted-domain And environments, such as e-Science.

关键词： integrating knowledge resources model-driven software development ambient intelligence question answering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：