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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Supporting CRUD model operations from EOL to SQL

Supporting CRUD model operations from EOL to SQL

引用

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

作者： Xabier De Carlos Goiuria Sagardui Salvador Trujillo IK4-Ikerlan Research Center Arrasate-Mondragon Spain Mondragon Univertsitatea Arrasate-Mondragon Spain

ISBN: (纸本)9781509058983

model-based software development promises improvements in terms of quality and cost by raising the abstraction level of the development from code to models, but also requires mature techniques and tools. Although Eclipse modelling Framework (EMF) introduces a default persistence mechanism for models, namely XMI, its usage is often limited as model size increases. To overcome this limitation, during the last years alternative persistence mechanisms have been proposed in order to store models in RDBMS and NoSQL databases. Under this new paradigm, model operations can be performed at model-level and persistence-level, e.g., mapping EOL model operations into SQL statements. In this paper, we extend our framework (called MQT) to support CRUD (Create, Read, Update and Delete) operations from model-(EOL) to persistence-level (SQL), using a streaming execution of queries at run-time. through comparable evaluation metrics, we evaluate the performance and memory footprint of the framework using the GraBaTs scenario.

关键词： Databases Structured Query Language Computational modeling Measurement Analytical models Load modeling Java

来源：评论

学校读者我要写书评

暂无评论

Change rule execution scheduling in incremental roundtrip engineering chain: From model-to-code and back

Change rule execution scheduling in incremental roundtrip en...

引用

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

作者： Van Cam Pham Ansgar Radermacher Sébastien Gérard Florian Noyrit CEA Laboratory of Model Driven Engineering for Embedded Systems France

ISBN: (纸本)9781509058983

model driven engineering allows many stakeholders to contribute their expertise to the system description. this practice enables agility but implies consistency maintenance issues between different system models. Incremental model transformations (IMT) are used to synchronize different artifacts contributed by the stakeholders. IMTs detect changes on the source model and execute change rules to propagate updates to the target model. However, the execution of change rules is not straightforward. A rule is only correctly executed if its precondition is satisfied at execution time. the precondition checks the availability of certain source and target elements involved in the rule. If a rule is executed when the precondition is false, either the execution is blocked or stopped. therefore, the produced target model becomes incorrect. this paper presents two approaches to the scheduling of change rule execution in incremental model transformations. these approaches are also applied to the case of model and code synchronization and implemented in a tool named IncRoundtrip that transforms and generates code for distributed systems. We also compare the runtime execution performance of different incremental approaches with batch transformation and evaluate their correctness.

关键词： Unified modeling language Connectors Servers Engines Pattern matching Tools Synchronization

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis of workbenches to support DSMLs: Discussion with non-trivial model-driven development needs

Comparative analysis of workbenches to support DSMLs: Discus...

引用

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

作者： André Ribeiro Luís de Sousa Alberto Rodrigues da Silva INESC-ID Universidade de Lisboa Lisbon Portugal Luxembourg Institute of Science and Technology Belvaux Luxembourg

ISBN: (纸本)9781509058983

the development and use of Domain Specific Languages emerged as a way to cope with complex problems using concepts closer to the problem domain. By leveraging the principles proposed by model-driven development (MDD), like the separation of concerns and the use of model transformations, this approach became popular and caused the emergence of a variety of languages, known as Domain Specific modeling Languages (DSMLs). Moreover, the use of DSMLs with graphical notations abstracts even more the problem domain, either by using extensions of UML or directly using metamodeling languages. the definition and use of DSMLs is only possible through specific tools, known as languages workbenches. this paper discusses the analysis and comparison of three of these tools (namely Papyrus, Enterprise Architect and Sirius) that were used to create the XIS-Mobile language, a non-trivial DSML defined as a UML profile for modeling mobile applications in a platform-independent way. these tools were evaluated considering a set of key criteria (namely learnability, usability, graphical completeness, validation support, transformation support, evolvability and interoperability) which show their suitability to develop non-trivial languages.

关键词： Unified modeling language Tools DSL Computer aided software engineering model-driven development Mobile applications software systems

来源：评论

学校读者我要写书评

暂无评论

Shu-ha-ri: How to Break the Rules and Still Be Agile 1

引用

4th international conference in software engineering for Defence Applications (SEDA)

作者： Capobianco, Dott Antonio Fata Informat Rome Italy

ISBN: (数字)9783319278964

ISBN: (纸本)9783319278964;9783319278940

Fata Informatica is a software house that produces a commercial system widely used by Defence Organizations. Our first approach to software development was standard waterfall, but during the years, our team adopted an agile-driven approach. the agile adoption was a long sweaty path that lead us through the Shu-ha-ri Aikido stages and let us implement our own agile framework. In this contribution will be shown as Fata Informatica's team defines the product increments that add the more value to the customers, how they develop and deliver them into the market. A description of our value and cost evaluation and the way we choose which increments add to a specific delivery, Fata Informatica's agile approach to the stakeholder engagement and how the static roadmap concept is outdated by a more agile roadmap definition approach will also be shown in order to meet the increasingly needs of our stakeholder.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

A controlled experiment for evaluating the comprehensibility of UML Action Languages

A controlled experiment for evaluating the comprehensibility...

引用

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

作者： Omar Badreddin Maged Elaasar Abdelwahab Hamou-Lhadj Department of Electrical Engineering and Computer Science Northern Arizona University Flagstaff Arizona U.S.A Department of Systems and Computer Engineering Carleton University Ottawa Ontario Canada Department of Electrical and Computer Engineering Concordia University Montreal Quebec Canada

ISBN: (纸本)9781509058983

Action Languages represent an emerging paradigm where modeling abstractions are embedded in code to bridge the gap with visual models, such as UML models. the paradigm is gaining momentum, evident by the growing number of tools and standards that support this paradigm. In this paper, we report on a controlled experiment to assess the comprehensibility of those languages and compare it to that of object-oriented (OO) programming languages. We further report on the impact of also having access to the UML notation on the comprehensibility of those languages. Results suggest that action languages are significantly more comprehensible than traditional OO languages. Furthermore, there was not a significant improvement in comprehensibility when the UML notation was used along with both OO and action language code. We conclude that action languages are a promising alternative to traditional OO languages for specifying details, yet seem to be as comprehensible as high-level visual models.

关键词： Unified modeling language Object oriented modeling Syntactics Visualization Java C++ languages

来源：评论

学校读者我要写书评

暂无评论

What is software architecture to practitioners: A survey

What is software architecture to practitioners: A survey

引用

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

作者： Mert Ozkaya Department of Computer Engineering Istanbul Kemerburgaz University Istanbul Turkey

ISBN: (纸本)9781509058983

software architecture has been proposed in the nineties as a high-level software design method for specifying software systems in terms of components and their relation. Since then, software architectures have become an indispensable part of software design. However, it remains dubious to what extent practitioners use software architectures in their software design. To better understand this, we conduct a survey study among a number of practitioners from both industry and academia and aim at understanding their level of knowledge and experience in software architectures. Our survey consists of a questionnaire of 20 questions, presented in four distinct sections. We run our survey on 50 participants, 11 of whom are from academia and the rest 39 are from industry. As a result of our analysis, we reached the following conclusion: while software architecture is highly crucial for practitioners given the nature of their software projects, practitioners' knowledge on software architectures is too limited. Practitioners use Unified modelling Language (UML), which views software architectures as a method of communicating system structures. However, other aspects such as architectural analysis are equally crucial in detecting design errors and verifying software designs for quality properties.

关键词： software architecture Unified modeling language Computer architecture software systems Electronic mail software design

来源：评论

学校读者我要写书评

暂无评论

An initial wise development environment for behavioral models

An initial wise development environment for behavioral model...

引用

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

作者： David Harel Guy Katz Rami Marelly Assaf Marron Dept. of Computer Science and Applied Mathematics The Weizmann Institute of Science Rehovot Israel

ISBN: (纸本)9781509058983

We present a development environment that proactively and interactively assists the software engineer in modeling complex reactive systems. Our framework repeatedly analyzes models of the system under development at various levels of abstraction, and then reasons about these models in order to detect possible errors and to derive emergent properties of interest. Upon request, the environment can then augment the system model in order to repair or avoid detected behavior that is undesired, or instrument it in order to monitor the execution for certain behaviors. Specialized automated and human-assisted techniques are incorporated to direct and prioritize the analysis and related tasks, based on the relevance of the observed properties and the expected impact of actions to be taken. Our development environment is an initial step in the direction of the very recent Wise Computing vision, which calls for turning the computer (namely, the development environment) into an equal member of the development team: knowledgeable, independent, concerned and proactively involved in the development process. Our tool is implemented within the context of behavioral programming (BP), a scenario-based modeling approach, where components are aligned with how humans often describe desired system behavior. thus, our work further enhances the naturalness and incrementality of developing in BP.

关键词： Analytical models Computational modeling Programming Mathematical model Computers Tools model checking

来源：评论

学校读者我要写书评

暂无评论

UML associations: Reducing the gap in test coverage between model and code

UML associations: Reducing the gap in test coverage between ...

引用

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

作者： Anders Eriksson Birgitta Lindström Saab Aeronautics Linköping Sweden School of Informatics University of Skövde Skövde Sweden

ISBN: (纸本)9781509058983

this paper addresses the overall problem of estimating the quality of a test suite when testing is performed at a platform-independent level, using executable UML models. the problem is that the test suite is often required to fulfill structural code coverage criteria. In the avionics domain it is usually required that the tests achieve 100% coverage according to logic-based coverage criteria. Such criteria are less effective when applied to executable UML models than when they are applied to code because the action code found in such models contains conditions in navigation and loops that are not explicit and therefore not captured by logic-based coverage criteria. We present two new coverage criteria for executable UML models, and we use an industrial application from the avionics domain to show that these two criteria should be combined with a logic-based criterion when testing the executable UML model. As long as the coverage is less than 100% at the model level, there is no point in running the tests at the code level since all functionality of the model is not yet tested, and this is necessary to achieve 100% coverage at the code level.

关键词： Unified modeling language Navigation software Testing Measurement Aerospace electronics Analytical models

来源：评论

学校读者我要写书评

暂无评论

Addressing the need for strict meta-modeling in practice - a case study of AUTOSAR

Addressing the need for strict meta-modeling in practice - a...

引用

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

作者： Darko Durisic Miroslaw Staron Matthias Tichy Jörgen Hansson Volvo Car Group Gothenburg Sweden Chalmers University of Gothenburg Gothenburg Sweden University of Ulm Uml Germany University of Skövde Skövde Sweden

ISBN: (纸本)9781509058983

Meta-modeling has been a topic of interest in the modeling community for many years, yielding substantial number of papers describing its theoretical concepts. Many of them are aiming to solve the problem of traditional UML based domain-specific meta-modeling related to its non-compliance to the strict meta-modeling principle, such as the deep meta-modeling approach. In this paper, we show the practical use of meta-models in the automotive development process based on AUTOSAR and visualize places in the AUTOSAR meta-model which are broken according to the strict meta-modeling principle. We then explain how the AUTOSAR meta-modeling environment can be re-worked in order to comply to this principle by applying three individual approaches, each one combined with the concept of Orthogonal Classification Architecture: UML extension, prototypical pattern and deep instantiation. Finally we discuss the applicability of these approaches in practice and contrast the identified issues with the actual problems faced by the automotive meta-modeling practitioners. Our objective is to bridge the current gap between the theoretical and practical concerns in meta-modeling.

关键词： Unified modeling language Metamodeling Automotive engineering Pragmatics software Semantics Automobiles

来源：评论

学校读者我要写书评

暂无评论

Survey on textual notations for the Unified modeling Language

Survey on textual notations for the Unified Modeling Languag...

引用

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

作者： Stephan Seifermann Henning Groenda Software Engineering FZI Research Center for Information Technology Karlsruhe Germany

ISBN: (纸本)9781509058983

the Unified modeling Language (UML) has become the lingua franca of software description languages. Textual notations of UML are also accessible for visually impaired people and allow a more developer-oriented and compact presentation. there are many textual notations that largely differ in their syntax, coverage of the UML, user editing experience, and applicability in teams due to the lack of a standardized textual notation. the available surveys do not cover the academic state of the art, the editing experience and applicability in teams. this implies heavy effort for evaluating and selecting notations. this survey identifies textual notations for UML that can be used instead of or in combination with graphical notations, e.g. by collaborating teams or in different contexts. We identified and rated the current state of 16 known notations plus 15 notations that were not covered in previous surveys. 20 categories cover the applicability in engineering teams. No single editable textual notation has full UML coverage. the mean coverage is 2.7 diagram types and editing support varies between none and 7 out of 9 categories. the survey facilitates the otherwise unclear notation selection and can reduce selection effort.

关键词： Unified modeling language Data mining Google Search engines Syntactics Guidelines Quality assurance

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：