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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

163 篇 会议

馆藏范围

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

日期分布

学科分类号

139 篇 工学
- 113 篇 软件工程
- 87 篇 计算机科学与技术...
- 8 篇 控制科学与工程
- 6 篇 电气工程
- 5 篇 机械工程
- 4 篇 航空宇航科学与技...
- 4 篇 环境科学与工程（可...
- 3 篇 材料科学与工程（可...
- 3 篇 信息与通信工程
- 3 篇 交通运输工程
- 2 篇 仪器科学与技术
- 2 篇 冶金工程
- 2 篇 建筑学
- 2 篇 石油与天然气工程
- 2 篇 农业工程
- 2 篇 安全科学与工程
- 2 篇 网络空间安全
10 篇 管理学
- 7 篇 管理科学与工程(可...
- 4 篇 工商管理
- 2 篇 图书情报与档案管...
8 篇 理学
- 5 篇 数学
- 2 篇 物理学
- 1 篇 化学
- 1 篇 大气科学
- 1 篇 海洋科学
- 1 篇 统计学（可授理学、...
5 篇 教育学
- 5 篇 教育学
2 篇 经济学
- 2 篇 应用经济学
2 篇 法学
- 2 篇 社会学
1 篇 文学
- 1 篇 外国语言文学
1 篇 医学

主题

28 篇 unified modeling...
18 篇 software
16 篇 model-driven dev...
12 篇 computational mo...
11 篇 data models
10 篇 analytical model...
9 篇 software enginee...
9 篇 biological syste...
8 篇 object oriented ...
8 篇 model-driven eng...
8 篇 software product...
7 篇 syntactics
7 篇 generators
7 篇 adaptation model...
6 篇 concrete
6 篇 testing
6 篇 business
6 篇 dsl
5 篇 computer archite...
5 篇 semantics

机构

7 篇 rhein westfal th...
3 篇 software enginee...
3 篇 rheinisch-westfa...
3 篇 willert software...
3 篇 cas software ag ...
2 篇 prolan proc cont...
2 篇 tu braunschweig ...
2 篇 univ naples fede...
2 篇 nantong univ mec...
2 篇 univ namur preci...
2 篇 nantong inst tec...
2 篇 volkswagen finan...
2 篇 univ jena inst i...
1 篇 aswan univ apear...
1 篇 dept. of compute...
1 篇 college of mecha...
1 篇 department of co...
1 篇 department of el...
1 篇 eurecom 450 rout...
1 篇 norwegian univ s...

作者

7 篇 rumpe bernhard
6 篇 nazari pedram mi...
4 篇 bernhard rumpe
4 篇 wortmann andreas
4 篇 look markus
4 篇 perez antonio na...
3 篇 gilson fabian
3 篇 coulette bernard
3 篇 roth alexander
3 篇 englebert vincen...
3 篇 lbath redouane
3 篇 pedram mir seyed...
3 篇 jardim-goncalves...
2 篇 schindler martin
2 篇 schwaegerl felix
2 篇 gillett irad
2 篇 greifenberg timo
2 篇 plotnikov dimitr...
2 篇 voelkel steven
2 篇 sagardui goiuria

语言

163 篇 英文

检索条件"任意字段=3rd International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2015"

共 163 条记录，以下是101-110 订阅

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

详细简洁

排序：

Graphical debugging of distributed applications: Using UML object diagrams to visualize the state of distributed applications at runtime

Graphical debugging of distributed applications: Using UML o...

引用

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

作者： Andreas Koch Albert Zündorf Software Engineering Research Institute Kassel University Kassel Germany

While debugging is one of the most time consuming tasks software developers perform, the tool support, especially for distributed applications, is lacking according to many professional developers. The Visual Debugger is an approach to provide an easy-to-use tool which gives software developers an abstract view on the current state of their application in debugging sessions. While similar tools for non distributed applications already exist, the Visual Debugger addresses the more complex debugging scenarios in distributed applications. Therefore, several views with different levels of abstraction of the current state of an application are provided. Although the approach may be adapted to other object oriented programming languages, the current target of the Visual Debugger is languages running on the Java Virtual Machine with the focus on Java.

关键词： Visualization Debugging Java Unified modeling language Runtime Synchronization software

来源：评论

学校读者我要写书评

暂无评论

Automated model-based testing based on an agnostic-platform modeling language

Automated model-based testing based on an agnostic-platform ...

引用

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

作者： Concepción Sanz Alejandro Salas Miguel de Miguel Alejandro Alonso Juan Antonio de la Puente Clara Benac Campus de Montegancedo Universidad Politécnica de Madrid (UPM) Madrid Spain DIT Universidad Politécnica de Madrid (UPM) Madrid Spain

Currently multiple Domain Specific Languages (DSLs) are used for model-driven software development, in some specific domains. software development methods, such as agile development, are test-centered, and their application in model-based frameworks requires model support for test development. We introduce a specific language to define generic test models, which can be automatically transformed into executable tests for particular testing platforms. The resulting test models represent the test plan for applications also built according to a model-based approach. The approach presented here includes some customisations for the application of the developed languages and transformation tools for some specific testing platforms. These languages and tools have been integrated with some specific DSL designed for software development.

关键词： Testing Unified modeling language software Architecture Computer architecture Complexity theory Engines

来源：评论

学校读者我要写书评

暂无评论

A model-driven Approach to Data Structure Conceptualization

A Model-driven Approach to Data Structure Conceptualization

引用

3rd international conference on Innovative Network Systems and Applications (iNetSApp) held in conjunction with Federated conference on Computer Science and Information Systems (FedCSIS)

作者： Ristic, Sonja Kordic, Slavica Celikovic, Milan Dimitrieski, Vladimir Lukovic, Ivan Univ Novi Sad Fac Tech Sci Trg D Obradov 6 Novi Sad 21000 Serbia

ISBN: (纸本)9788360810668

Reengineering of an existing information system can be carried out: to improve its maintainability, to migrate to a new technology, to improve quality or to prepare for functional enhancement. An important phase of a data-oriented software system reengineering is a database reengineering process and, in particular, its subprocess - a database reverse engineering process. The reverse engineering process contains two main phases: data structure extraction and data structure conceptualization. In the paper we present a blueprint of a model-driven approach to database reengineering process that is one of the results of our research project on model-driven intelligent systems for software system development, maintenance and evolution. Within that process hereinafter we focus on the data structure conceptualization process and propose a model-driven approach to data structure conceptualization. Proposed process is based on model-to model transformations implemented by means of Atlas Transformation Language.

关键词： data structures information systems software maintenance systems re-engineering Atlas transformation language data structure conceptualization data structure conceptualization process data structure extraction data-oriented software system reengineering database reengineering process functional enhancement information system reengineering model-driven intelligent systems model-to-model transformations reverse engineering process software system development software system maintenance Computer science Data models Data structures Information systems systems re-engineering Systems development Computer based information systems computer science Reverse engineering data models Data structures software maintenance Concept learning

来源：评论

学校读者我要写书评

暂无评论

Towards the state of the art of extending enterprise modeling languages

Towards the state of the art of extending enterprise modelin...

引用

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

作者： Richard Braun TU Dresden Chair for Wirtschaftsinformatik esp. System Development Dresden Germany

In the previous decade, more and more de facto standards of enterprise modeling languages (EML) evolved. The establishment of EMLs leads naturally to an increasing number of EML extensions in order to integrate requirements and needs from specific problems or domains in an EML. Thus, EML extensibility is proposed as a relevant topic within both the field of meta modeling and enterprise modeling. We therefore conducted an analysis of existing meta modeling languages and well known EML languages in order to derive the current state of the art in terms of EML extensibility. In addition to that, classification schemes for extension purposes and extension mechanisms are presented. Finally, topics for further research are proclaimed in order to facilitate more research on language extensibility.

关键词： Unified modeling language Adaptation models Analytical models Data models Syntactics Standards Context modeling

来源：评论

学校读者我要写书评

暂无评论

Integrating existing proprietary system models into a model-driven test process for an industrial automation scenario

Integrating existing proprietary system models into a model-...

引用

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

作者： Kai Beckmann Distributed Systems Lab RheinMain University of Applied Sciences Wiesbaden Germany

The introduction of modern model-driven software development methodologies into the industrial practise still proves to be a challenge. Especially small or medium-sized enterprises (SMEs) need an incremental and continuous modernisation process, which incorporates existing projects, is customised and cost-effective. Particularly, suitable solutions for model-based or -driven testing with test automation to increase the efficiency are in demand. This paper presents an approach for integrating existing proprietary system models of an SME partner for describing industrial automation processes into a model-driven test process, utilising a domain-specific language for the test specification. The test objectives focuses on the correct implementation of the communication and synchronisation of distributed state machines. The presented approach is integrated into a test framework, which is based on the Eclipse modelling Framework (EMF) and the Eclipse Test and Performance Tools Platform Project (TPTP) framework. To separate the possibly changeable system and DSL-specific models from the implementation of the test framework, a stable and more generic test meta model was defined.

关键词： Unified modeling language Adaptation models DSL Object oriented modeling Biological system modeling software Automation

来源：评论

学校读者我要写书评

暂无评论

Towards a model-driven based security framework

Towards a model-driven based security framework

引用

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

作者： Rouwaida Abdallah Nataliya Yakymets Agnes Lanusse CEA LIST Laboratory of Model Driven Engineering/or Embedded Systems France

In this paper, we propose a model-driven framework for security analysis. We present a security analysis process that begins from the design phase of the system architecture then allows performing several security analysis methods. Our approach presents mainly two advantages: First, it allows the traceability of the security analysis methods with the system architecture. Second, this framework can include several security analysis methods. Moreover it allows information reuse which is complicated when we use separate methods dedicated tools. Thus, we can have more consistent and accurate security analysis results for a system. We chose to implement two methods: A qualitative method named EBIOS which is simple and helps to identify areas of focus within the system. Then, to get more accurate results, we implement a quantitative method, the Attack trees. Attack trees can be automatically generated from the Ebios analysis phase and can be completed later on to get more specific results.

关键词： Security Unified modeling language Analytical models Systems architecture Risk analysis software Computational modeling

来源：评论

学校读者我要写书评

暂无评论

model-Based Solution and software engineering Environment for UAV Critical Onboard Applications 3

Model-Based Solution and Software Engineering Environment fo...

引用

2015 IEEE 3rd international conference Actual Problems of Unmanned Aerial Vehicles developments (APUAVD)

作者： Prosvirin, D. A. Kharchenko, V. P. ANTONOV State Co Kiev Ukraine Natl Aviat Univ Air Nav Syst Dept Kiev Ukraine

ISBN: (纸本)9781467365673

This paper deals with advantages of model-based software engineering approach of critical UAV onboard systems. Application of modern model-based technologies for critical onboard systems development is considered. Rules for critical software engineering at all life cycle stages are defined by functional standards. Mentioned approach implements all requirements of safety standards by automating the most consuming activities like verification and documentation writing. The program for UAV-automatic flight control system control loop simulation and visualization is developed. Use of the mentioned approach allows to facilitate UAV onboard systems software engineering, analyze and certification process.

关键词： model-based design critical systems safe code code generation software certification executable specification verification automatic flight control system software engineering

来源：评论

学校读者我要写书评

暂无评论

model-driven engineering of a railway interlocking system

Model-driven engineering of a railway interlocking system

引用

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

作者： Fabio Scippacercola Roberto Pietrantuono Stefano Russo András Zentai DIETI Universita degli Studi di Napoli Federico II Napoli Italy Prolan Process Control Co. Budakalasz Hungary

model-driven engineering (MDE) promises to enhance system development by reducing development time, and increasing productivity and quality. MDE is gaining popularity in several industry sectors, and is attractive also for critical systems where they can reduce efforts and costs for verification and validation (V&V), and can ease certification. Incorporating model-driven techniques into a legacy well-proven development cycle is not simply a matter of placing models and transformations in the design and implementation phases. We present the experience in the model-driven design and V&V of a safety-critical system in the railway domain, namely the Prolan Block, a railway interlocking system manufactured by the Hungarian company Prolan Co., required to be CENELEC SIL-4 compliant. The experience has been carried out in an industrial-academic partnership within the EU project CECRIS. We discuss the challenges and the lessons learnt in this pilot project of introducing MD design and testing techniques into the company's traditional V-model process.

关键词： Unified modeling language Computational modeling Rail transportation Testing Computer integrated manufacturing Companies Standards

来源：评论

学校读者我要写书评

暂无评论

Metamodelling with formal semantics with application to access control specification

Metamodelling with formal semantics with application to acce...

引用

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

作者： Jamal Abd-Ali Karim El Guemhioui Luigi Logrippo Computer Science and Engineering Department Universite du Quebec en Outaouais Gatineau QC Canada

The visual aspect of metamodelling languages is an efficient lever to deal with the complexity of specifying systems. In many application domains, these systems are generally characterized by the sensitivity and criticality of their contents, hence precision and formalism are essential goals. This paper considers the domain of access control specification languages and proposes a metamodelling paradigm with capabilities for specifying both semantics and structuring elements. We describe how to specify semantics of domain specific systems at the metamodel and model levels. The paradigm defines reusable rules allowing mapping the models, including their semantics, to first order logic programs. It represents a methodical approach to elaborate domain specific languages endowed with visual aspects and means of reasoning on formal specifications. The paradigm is applicable to a wide range of systems. We show in this paper its application in the area of decision systems.

关键词： Unified modeling language Semantics Access control Kernel Formal specifications Organizations

来源：评论

学校读者我要写书评

暂无评论

Ubtl UML testing profile based testing language

Ubtl UML testing profile based testing language

引用

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

作者： Johannes Iber Nermin Kajtazović Andrea Höller Tobias Rauter Christian Kreiner Institute for Technical Informatics Graz University of Technology Graz Austria

The continuous increase of software complexity is one of the major problems associated with the development of today's complex technical systems. In particular, for safety-critical systems, which usually require to be thoroughly verified and validated, managing such a complexity is of high importance. To this end, industry is utilizing model-driven development (MDD) in many aspects of systems engineering, including verification and validation activities. Until now many specifications and standards have been released by the MDD community to support those activities by putting models in focus. The general problem is, however, that applying those specifications is often difficult, since they comprise a broader scope than usually required to solve specific problems. In this paper we propose a domain-specific language (DSL) that allows to specify tests from the UML Testing Profile (UTP). The main contribution is that only particular aspects of UTP are captured, thereby allowing the MDD process to be narrowed to specific needs, such as supporting code generation facilities for certain types of tests or even specific statements in tests. In the end we show the application of the DSL using a simple example within a MDD process, and we report on performance of that process.

关键词： Unified modeling language Testing Generators Biological system modeling DSL software Concrete

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共17页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：