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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 会议
39 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

98 篇 工学
- 77 篇 计算机科学与技术...
- 53 篇 软件工程
- 14 篇 电气工程
- 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 篇 基础医学(可授医学...

主题

106 篇 model-driven sof...
10 篇 model transforma...
5 篇 uml
5 篇 domain-specific ...
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 篇 unified modeling...
3 篇 simplicity
3 篇 domain-specific ...
2 篇 software visuali...
2 篇 software design ...
2 篇 software analysi...

机构

2 篇 univ augsburg in...
2 篇 univ munster erc...
2 篇 univ augsburg so...
2 篇 univ novi sad fa...
2 篇 univ potsdam dep...
2 篇 wageningen univ ...
2 篇 tech univ darmst...
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...

作者

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

语言

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

检索条件"主题词=Model-driven software development"

共 106 条记录，以下是71-80 订阅

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

详细简洁

排序：

Domain-Specific Business modeling with the Business model Developer 6

Domain-Specific Business Modeling with the Business Model De...

引用

6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

作者： Bosselmann, Steve Margaria, Tiziana Univ Potsdam Dept Comp Sci D-14482 Potsdam Germany

ISBN: (纸本)9783662452318;9783662452301

Discussing business models of companies and organizations based on graphical representations that emphasize essential factors has increased in recent years, particularly from a business perspective. However, feasible implementations of business modeling tools are rare, as they tend to be domain specific but at the same time tailored towards the requirements of a heterogeneous group of stakeholders. We present the Business model Developer (BMD) and the underlying framework for the creation of domain-specific business models. The approach relies on the definition of a domain-specific library of model components as well as structured parameters with different scopes, i.e. declared areas of applicability. This setup forms the basis for the development of custom techniques for model analysis. We align the development process with the approach of Extreme model driven development (XMDD) to keep it as simple as possible for domain experts to contribute in tailoring the tool towards specific needs. Furthermore, we present a practical application in the healthcare domain, as the BMD has been developed and applied in the course of a joint project in the area of Personalized Medicine.

关键词： business model personalized medicine model-driven software development simplicity

来源：评论

学校读者我要写书评

暂无评论

model-driven Code Generation for Secure Smart Card Applications

Model-Driven Code Generation for Secure Smart Card Applicati...

引用

20th Australian software Engineering Conference 2009

作者： Moebius, Nina Stenzel, Kurt Grandy, Holger Reif, Wolfgang Univ Augsburg Dept Software Engn & Programming Languages D-8900 Augsburg Germany

ISBN: (纸本)9780769535999

SecureMDD is a model-driven approach to develop secure systems with a special focus on smart card applications. Based on a platform-dependent UML model of the system under development we generate a platform-specific model, and finally executable code. The SecureMDD approach also allows to generate a formal specification where security properties can be proven formally. In this paper we describe the automatic generation of Java Card code from UML class and activity diagrams in detail. The full code running on the smart card is generated which is not trivial because of the limitations of smart cards and the specialties of Java Card.

关键词： Code generation model-driven software development UML Java Card security

来源：评论

学校读者我要写书评

暂无评论

A model-driven approach for REST compliant services 21

A model-driven approach for REST compliant services

引用

21st IEEE International Conference on Web Services (ICWS)

作者： Haupt, Florian Karastoyanova, Dimka Leymann, Frank Schroth, Benjamin Univ Stuttgart Inst Architecture Applicat Syst D-70569 Stuttgart Germany

ISBN: (纸本)9781479950546

The design of applications that comply to the REST architectural style requires observing a given set of architectural constraints. Following these constraints and therefore designing REST compliant applications is a non-trivial task often not fulfilled properly. There exist several approaches for the modeling and formal description of REST applications, but most of them do not pay any attention to how these approaches can support or even force REST compliance. In this paper we propose a model-driven approach for modeling REST services. We introduce a multi layered model which enables (partially) enforcing REST compliance by separating different concerns through separate models. We contribute a multi layered meta-model for REST applications, discuss the connection to REST compliance and show an implementation of our approach based on the proposed meta-model and method. As a result our approach provides a holistic method for the design and realization of REST applications exhibiting the desired level of compliance to the constraints of the REST architectural style.

关键词： REST architectural style compliance model-driven software development architectural constraints representational state transfer

来源：评论

学校读者我要写书评

暂无评论

Enabling Modern Application development with Swift on the Nao/Pepper Robots 24th

Enabling Modern Application Development with Swift on the Na...

引用

24th International Symposium on Robot World Cup (RoboCup)

作者： McColl, Callum Estivill-Castro, Vladimir Gilmore, Eugene McColl, Morgan Hexel, Rene Griffith Univ MiPal Brisbane Qld Australia Univ Pompeu Fabra MiPal Barcelona Spain

ISBN: (纸本)9783030986827;9783030986810

We show the advantages of using Swift as the programming language for behaviours on the Pepper and Nao robots as used with the RoboCup Standard Platform League and the RoboCup@Home - Social Standard Platform. We show that Swift is not only incorporating modern features of object-oriented programming and functional programming, but is also now a stable systems programming language that enables both high-level development as well as fine hardware control. Deterministic memory management makes Swift suitable for real-time, embedded systems, and thus for robotic applications. Moreover, we show in this paper we can apply model-driven software-development by deploying behaviours coded as executable arrangements of logic-labelled finite-state machines (LLFSMs). We also show LLFSMs are not only suitable for reactive architectures, but also for deliberative architectures.

关键词： Functional programming languages Logical programming languages model-driven software development Deliberative architectures

来源：评论

学校读者我要写书评

暂无评论

model-driven Automated software FMEA

Model-driven Automated Software FMEA

引用

Annual Reliability and Maintainability Symposium (RAMS)

作者： Snooke, Neal Price, Chris Aberystwyth Univ Dept Comp Sci Aberystwyth SY23 3DB Dyfed Wales

ISBN: (纸本)9781424451036

This paper describes how software FMEA can be automated both for low-level languages intended for safety critical embedded systems, and also for model-driven software developments. It is possible for a computer to achieve a qualitative analysis of software based on tracing dependencies through a body of code. This can reveal the propagation of any failure in the software, whatever the cause of the failure. Application of a higher level representation of the intended purpose of the software can then automatically interpret the implications of failure in terms of the requirements put on the software. These techniques have been used to automate the analysis of several thousand lines of code. They have been shown to provide useful results for software engineers, and would suit embedded software in vehicles for example. This work is not a cure-all for badly written software, but provides assistance in software analysis for well designed systems in low-level "safe" languages such as MISRA C. The software FMEA can be used to improve automated or source code embedded testing since tests can exonerate many potential faults allowing the FMEA analysis to present an engineer with a reduced set of potential faults. model-driven development (MDD) is a software development philosophy which encourages the development of models of the software to be produced, for example using a language such as executable UML. The system is described in a platform independent manner, and then the software to be used is automatically generated from the model. In MDD, the models make the intentions of the programmer much more explicit than is the case for low-level pro gramming, and so the gap between the intended functions of the system and the description of the software is not so large. Representation of the design is much more explicit through use cases, component diagrams, state charts and sequence diagrams. All of this design information can be utilized for the automated generation of software

关键词： Failure modes and effects analysis software FMEA model-driven software development

来源：评论

学校读者我要写书评

暂无评论

A Domain-Specific Language for Abstract Syntax model to Concrete Syntax model Mappings

A Domain-Specific Language for Abstract Syntax Model to Conc...

引用

2nd International Conference on model-driven Engineering and software development (modelSWARD)

作者： Quesada, Luis Berzal, Fernando Cubero, Juan-Carlos Univ Granada Dept Comp Sci & Artificial Intelligence CITIC E-18071 Granada Spain

ISBN: (纸本)9789897580659

model-based parser generators such as modelCC effectively decouple language design from language processing. modelCC allows the specification of the abstract syntax model of a language as a set of language elements and their relationships. modelCC provides the necessary mechanisms to specify the mapping from the abstract syntax model (ASM) to a concrete syntax model (CSM). This mapping can be specified as a set of metadata annotations on top of the abstract syntax model itself or by means of a domain-specific language (DSL). Using a domain-specific language to specify the mapping from abstract to concrete syntax models allows the definition of different concrete syntax models for the same abstract syntax model. In this paper, we describe the modelCC domain-specific language for ASM-CSM mappings and we showcase its capabilities by using the modelCC ASM-CSM DSL to define itself.

关键词： model-driven software development Language Specification Parser Generators Abstract Syntax model Concrete Syntax model

来源：评论

学校读者我要写书评

暂无评论

Representing and operating with model differences 46th

引用

46th International Conference on Tools in Europe

作者： Rivera, Jose E. Vallecillo, Antonio Univ Malaga ETS Ingn Informat Dept Lenguajes & Ciencias Computac E-29071 Malaga Spain

ISBN: (纸本)9783540698234

models and metamodels play a cornerstone role in model-driven software development (MDSD). models conform to metamodels, which usually specify domain-specific languages that allow to represent the various facets of a system in terms of models. This paper discusses the problem of calculating differences between models conforming to arbitrary metamodels, something essential in any MDSD environment for dealing with the management of changes and evolution of software models. We present a metamodel for representing the differences as models, too, following the MDSD "everything is a model" principle. The Difference Metamodel, together with the difference and other related operations (do, undo and composition) presented here have been specified in Maude and integrated in an Eclipse-developed environment.

关键词： model-driven software development model difference model comparison model evolution Maude object matching

来源：评论

学校读者我要写书评

暂无评论

Virtual Worlds on Demand? model-driven development of JavaScript-based Virtual World UI Components for Mobile Apps 4

Virtual Worlds on Demand? Model-Driven Development of JavaSc...

引用

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

作者： Stuerner, Matthias Brune, Philipp Univ Appl Sci Neu Ulm Dept Informat Management D-89231 Neu Ulm Germany

ISBN: (纸本)9789897582325

Virtual worlds and avatar-based interactive computer games are a hype among consumers and researchers for many years now. In recent years, such games on mobile devices also became increasingly important. However, most virtual worlds require the use of proprietary clients and authoring environments and lack portability, which limits their usefulness for targeting wider audiences like e.g. in consumer marketing or sales. Using mobile devices and client-side web technologies like i.e. JavaScript in combination with a more automatic generation of customer-specific virtual worlds could help to overcome these limitations. Here, model-driven software development (MDD) provides a promising approach for automating the creation of user interface (UI) components for games on mobile devices. Therefore, in this paper an approach is proposed for the model-driven generation of UI components for virtual worlds using JavaScript and the upcoming *** framework. The feasibilty of the approach is evaluated by implementing a proof-of-concept scenario.

关键词： model-driven software development Mobile UI JavaScript UML modeling Virtual Worlds Computer Games

来源：评论

学校读者我要写书评

暂无评论

Towards a model driven Approach for development of Visualization Applications in Industrial Automation

Towards a model driven Approach for development of Visualiza...

引用

15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Hennig, Stefan Braune, Annerose Koycheva, Evelina Tech Univ Dresden Inst Automat Dresden Germany

ISBN: (纸本)9781424468508

The eXtensible Visualization Components Markup Language (XVCML) was developed in order to ensure the sustainability of visualization solutions. Therefore, XVCML follows the model-driven software development (MDSD) approach: It enables technology independent modeling of visualization solutions whereas those models are compliant to a formal metamodel. XVCML was enhanced by a mean to express arbitrary routines using Executable UML. Since we realized the latter aspect only as a first proof of concept, this part of XVCML lacks a formal metamodel-a requirement for MDSD. This paper seizes on this topic so much that a Domain Specific Language, which enables the creation of Executable UML models, will be worked out in the context of MDSD. Therefore, this paper explains the required foundations for the subject matter at hand before it presents the way of proceeding towards a model-driven approach with XVCML.

关键词： XML XVCML language data visualisation extensible visualization components markup language formal metamodel formal specification formal verification industrial automation model-driven software development production engineering computing visualization application

来源：评论

学校读者我要写书评

暂无评论

Parsing Abstract Syntax Graphs with modelCC

Parsing Abstract Syntax Graphs with ModelCC

引用

2nd International Conference on model-driven Engineering and software development (modelSWARD)

作者： Quesada, Luis Berzal, Fernando Cubero, Juan-Carlos Univ Granada CITIC Dept Comp Sci & Artificial Intelligence E-18071 Granada Spain

ISBN: (纸本)9789897580659

The tight coupling between language design and language processing in traditional language processing tools is avoided by model-based parser generators such as modelCC. By decoupling language specification from language processing, modelCC avoids the limitations imposed by traditional parser generators, which constrain language designers to specific kinds of grammars. Apart from providing an alternative approach to language specification, modelCC incorporates reference resolution within the parsing process. Instead of returning mere abstract syntax trees, modelCC is able to obtain abstract syntax graphs from its input string. Moreover, such abstract syntax graphs are not restricted to directed acyclic graphs, since modelCC supports anaphoric, cataphoric, and recursive references.

关键词： model-driven software development Parser Generators Abstract Syntax Graphs

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：