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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Metamodel-based Tool Integration with MOFLON 08

Metamodel-based Tool Integration with MOFLON

引用

30th International Conference on software Engineering

作者： Amelunxen, Carsten Klar, Felix Koenigs, Alexander Roetschke, Tobias Schuerr, Andy Tech Univ Darmstadt Real Time Syst Lab D-64283 Darmstadt Germany

ISBN: (纸本)9781605580791

Nowadays, a typical software development process involves many developers which participate in the development process by using a wide variety of development tools. As a consequence, the data representing the project as a whole is distributed over different development tools. For the purpose of consistency, maintainability, and traceability it is an essential task to be aware of the relationships between semantic equivalent data in different tool repositories. The Real-Time Systems Lab at the Technische Universitat Darmstadt performs research in the area of tool and metamodel integration to provide solutions to overcome this gap. In this demonstration we present the metamodeling framework MOFLON that addresses these issues by bringing together the latest OMG standards with graph transformations and triple graph grammars. Using MOFLON, developers can generate code for specific tools needed to perform analysis and transformation on one development tool or to incrementally integrate data of different modeling tools.

关键词： model-driven software development tool integration triple graph grammar model transformation

来源：评论

学校读者我要写书评

暂无评论

Precise Semantics of EMF model Transformations by Graph Transformation

引用

11th International Conference on model driven Engineering Languages and Systems

作者： Biermann, Enrico Ermel, Claudia Taentzer, Gabriele Tech Univ Berlin D-1000 Berlin Germany Univ Marburg Marburg Germany

ISBN: (纸本)9783540878742

model trans format ion is one of the key activities in model-driven software development. An increasingly popular technology to define modeling languages is provided by the Eclipse modeling Framework (EMF). Several EMF model transformation approaches have been developed, focusing Oil different transformation aspects. To validate model transformations wrt. functional behavior and correctness, a formal foundation is needed. In this paper, we define EMF model transformations as a special kind of typed graph transformations using, node type inheritance. Containment constraints of EMF model transformations are translated to a special kind of EMF model transformation rules Such that their application leads to consistent transformation results only. Thus, we identify a kind of EMF model transformations which behave like algebraic graph transformations. As a consequence. the rich theory of algebraic graph transformation can be applied to these EMF model transformations to show functional behavior and correctness. We illustrate our approach by selected refactorings of simplified statechart models.

关键词： model-driven software development Eclipse modeling Framework model transformation graph transformation

来源：评论

学校读者我要写书评

暂无评论

A Policy-Agnostic Programming Language for the International Data Spaces 1

引用

9th International Conference on Data Science, Technology and Applications (DATA)

作者： Bruckner, Fabian Pampusl, Julia Howar, Falk Fraunhofer ISST Emil Figge Str 91 D-44227 Dortmund Germany TU Dortmund Otto Hahn Str 14 D-44227 Dortmund Germany

ISBN: (数字)9783030830144

ISBN: (纸本)9783030830137;9783030830144

It is of utmost importance to maintain digital sovereignty in the context of Industry 4.0 and data-driven business models. As data itself becomes a valuable asset, this is a challenge that many companies have to face. This is particularly true as data sharing with third parties is a mandatory component of many modern business models. For its participants, the International Data Spaces (IDS) provide an ecosystem that supports the establishment and protection of their digital sovereignty. In this extended paper, we present the requirements in the area of usage control that have emerged from the IDS. We recapitulate the current state of the domain-specific language D degrees, which has usage control mechanisms as a core functionality. We then introduce extensions to the policy system of D degrees and the language itself to meet these requirements. We demonstrate how the policy system can be extended by label-based mechanisms in order to increase the expressiveness of the policy system. These mechanisms can be used to attach metadata to data as well as other language components of D degrees and therefore allow easy tracing of data and sharing of information between language components such as policies. We introduce a mechanism to D degrees that allows to dynamically map external identifiers (like the ones used in the IDS) to those used in D degrees. This allows D degrees to be combined with other usage control solutions as it facilitates the use of global identities that exceed D degrees.

关键词： Usage control model-driven software development Policy-agnostic programming

来源：评论

学校读者我要写书评

暂无评论

Simplicity in Application development for Business model Design

Simplicity in Application Development for Business Model Des...

引用

4th International Conference on software Business (ICSOB)

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

ISBN: (纸本)9783642393365;9783642393358

Discussing business models of companies and organizations has increased in recent years, particularly from an economics perspective. And so has the interest in creating graphical representations that emphasize essential factors. However, feasible implementations of 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. As ideally the latter should be encouraged to express their needs in a simple but meaningful way, the author researches the application of the eXtreme model driven Design (XMDD) approach to model critical parts of an application in order to keep it as simple as possible for participants to contribute to the development process.

关键词： business model design model-driven software development simplicity

来源：评论

学校读者我要写书评

暂无评论

Towards a formal description and automatic execution of production processes 15

Towards a formal description and automatic execution of prod...

引用

IEEE 15th International Scientific Conference on Informatics (INFORMATICS)

作者： Vjestica, Marko Dimitrieski, Vladimir Pisaric, Milan Kordic, Slavica Ristic, Sonja Lukovic, Ivan Univ Novi Sad Fac Tech Sci Novi Sad Serbia KEBA AG Ind Automat Linz Austria

ISBN: (纸本)9781728131795

Industry 4.0 enforces digital revolution in the manufacturing industry by introducing smart devices and knowledge bases to form intelligent manufacturing information systems. One of the goals of the digital revolution is to support an automatic production from product specification to allow faster reaction on the product changes and a lot size one production. In order to make this possible, a formal language to describe production processes is needed, together with a code generator for its models and an engine to execute the code on smart devices. In this paper we propose a research on Industry 4.0 manufacturing using a model-driven software development (MDSD) approach to model production processes, use the models to generate instructions to smart devices and human workers, and gather a feedback from them during the process execution.

关键词： Industry 4.0 production processes knowledge bases formal languages model-driven software development

来源：评论

学校读者我要写书评

暂无评论

Domain-specific Design of Patient Classification in Cancer-Related Cachexia Research 6

Domain-specific Design of Patient Classification in Cancer-R...

引用

ACM/IEEE Conference on Formal Methods in software Engineering (FormaliSE)

作者： Wickert, Alexander Lamprecht, Anna-Lena Margaria, Tiziana Univ Potsdam Potsdam Germany Univ Utrecht Utrecht Netherlands Univ Limerick Limerick Ireland Lero Limerick Ireland

ISBN: (纸本)9781450357180

We apply an IDE for user-level process design and composition to a real-life case study: a complex workflow from an ongoing global cancer-related cachexia research project. Originally buried in a manually operated spreadsheet, the process is now fully automated and integrated into the project database, ensuring the immediate availability, consistency and reproducibility of the outcomes. Our integrated solution enables the scientists to immediately execute the processes and easily customize both processes and data model to continuously changing experimental setups. The data modeling is provided by the Dynamic Web Application framework and the process modeling functionalities by the Java Application Building Center, both following the paradigm of eXtreme model-driven Design for model-driven software development.

关键词： scientific workflows workflow design process modeling domain-specific modeling model-driven software development

来源：评论

学校读者我要写书评

暂无评论

modeling Distributed Signal Processing Applications

Modeling Distributed Signal Processing Applications

引用

6th International Workshop on Wearable and Implantable Body Sensor Networks

作者： Kurschl, Werner Mitsch, Stefan Schoenboeck, Johannes Upper Austria Univ Appl Sci A-4232 Hagenberg Austria

ISBN: (纸本)9780769536446

Wireless Sensor Networks in general and Body Sensor Networks in particular enable sophisticated applications in pervasive healthcare, sports training and other domains, where interconnected nodes work together. Their main goal is to derive context from raw sensor data with feature extraction and classification algorithms. Body sensor networks not only comprise a single sensor type or family but demand different hardware platforms, e.g., sensors to measure acceleration or blood-pressure, or tiny mobile devices to communicate with the user. The problem arises how to efficiently deal with these heterogeneous platforms and programming languages. This paper presents a distributed signal processing framework based on TinyOS and nesC. The framework forms the basis for a model-driven software development approach. By raising the level of abstraction formal models hide implementation specifics of the framework in a Platform Specific model. A Platform Independent model further lifts modeling to functional and non-functional requirements independent from platforms. Thereby we promote cooperation between domain experts and software engineers and facilitate reusability of applications across different platforms.

关键词： wireless sensor networks body sensor networks model-driven software development signal processing

来源：评论

学校读者我要写书评

暂无评论

Towards model-driven Business Apps for Wearables 15th

Towards Model-Driven Business Apps for Wearables

引用

15th International Conference on Mobile Web and Intelligent Information Systems (MobiWIS)

作者： Rieger, Christoph Kuchen, Herbert Univ Munster ERCIS Munster Germany

ISBN: (纸本)9783319971636;9783319971629

With the rise of wearable devices expected to continue in the near future, traditional approaches of manually developing apps from scratch for each platform reach their limits. On the other hand, current cross-platform approaches are usually limited to platforms for smart-phones and tablets. The model-driven paradigm seems well suited for developing apps for novel and heterogeneous devices. However, one of the main challenges for establishing a model-driven framework for wearables consists of bridging the variety of user interfaces and considering different capabilities of device input and output. This paper seeks to investigate the challenges of app development for wearable devices regarding user interfaces and discusses a possible mapping of typical application building blocks in the domain of business apps. Ultimately, apps modelled on a task-oriented level of abstraction using platform-independent notations such as MAML or CTT can then be transformed into code that adopts device class specific representations.

关键词： Cross-platform model-driven software development Multi-platform Wearables Mobile app Business app

来源：评论

学校读者我要写书评

暂无评论

Addressing New Concerns in model-driven Web Engineering Approaches

引用

International Workshop on Web Information Systems Engineering (WISE 2008)

作者： Moreno, Nathalie Melia, Santiago Koch, Nora Vallecillo, Antonio Univ Malaga E-29071 Malaga Spain Univ Alicante Alicante Spain Luwig Maximilians Univ Munich Munich Germany Cirquent GmbH Munich Germany

ISBN: (纸本)9783540854807

In the last few years, almost all model-driven Web Engineering approaches have evolved in response to the new challenges of Web systems design, which are due to new requirements and implementation technologies in the Web domain. The evolution implies the extension and adaptation of current approaches, in terms of new models, transformations and processes in order to incorporate new concerns or aspects. Such changes in a methodology are a risky and error-prone process. In this paper, we analyze different alternatives to address the evolution and in particular, the addition of a new concern in a model-driven Web Engineering approach: (a) extending the original method with an additional modeling concern, (b) merging the original proposal with another approach covering the specific concern and, (c) finally, we propose a an interoperable and architectural-centric approach that aims to reduce the impact of adding a new concern. We discuss the main advantages and drawbacks of each alternative.

关键词： Separation of Concerns Web Engineering model-driven software development Metamodeling model Transformations

来源：评论

学校读者我要写书评

暂无评论

Generating Use Case Scenarios from User Stories

Generating Use Case Scenarios from User Stories

引用

IEEE/ACM International Conference on software and System Processes (ICSSP)

作者： Gilson, Fabian Galster, Matthias Georis, Francois Univ Canterbury Christchurch New Zealand Univ Namur Namur Belgium

ISBN: (纸本)9781450375122

Textual user stories capture interactions of users with the system as high-level requirements. However, user stories are typically rather short and backlogs can include many stories. This makes it hard to (a) maintain user stories and backlogs, (b) fully understand the scope of a software project without a detailed analysis of the backlog, and (c) analyse how user stories impact design decisions during sprint planning and implementation. This paper proposes a technique to automatically transform textual user stories into visual use case scenarios in the form of robustness diagrams (a semi-formal scenario-based visualisation of workflows). In addition to creating diagrams for individual stories, the technique allows combining diagrams of multiple stories into one diagram to visualise workflows within sets of stories (e.g., a backlog). Moreover, the technique supports "viewpoint-based" diagrams, i.e., diagrams that show relationships between actors, domain entities and user interfaces starting from a diagram element (e.g., an actor) selected by the analyst. The technique utilises natural language processing and rule-based transformations. We evaluated the technique with more than 1,400 user stories from 22 backlogs and show that (a) the technique generates syntactically valid robustness diagrams, and ( b) the quality of automatically generated robustness diagrams compares to the quality of diagrams created by human experts, but depends on the quality of the textual user stories.

关键词： Agile software development textual user stories model-driven software development natural language processing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：