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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Generating Database Access Code From Domain models

Generating Database Access Code From Domain Models

引用

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

作者： Khelifi, Nassima Yamouni Smialek, Michal Mekki, Rachida Warsaw Univ Technol PL-00661 Warsaw Poland Univ Sci & Technol Oran Mohamed Boudiaf Bir El Djir Algeria

ISBN: (纸本)9788360810668

Automatic processing of requirements (e. g. to generate code) remains a challenge in contemporary software development. Requirements are still treated as secondary artifacts by software developers, as they are written in natural languages which causes ambiguity. In this paper, we present an approach to generate working code from requirements through applying precisely formulated domain models. As the source, we use the Requirements Specification Language (RSL) which is a precise constrained language, based on a central domain model composed of domain notions. These notions are linked from use case scenarios and create a form of a 'wiki'. Notions are graphically visualized in RSL, and resemble UML classes with attributes. Notions can be used in phrases that can represent various operations used within use case scenarios. In our approach we introduce model transformation algorithms that allow to generate database access code associated with operations to persist (store, retrieve) data in a database system. To focus our work, we present code generated for Hibernate which is an object relational mapping framework.

关键词： model-driven requirements engineering model transformations database access metamodelling

来源：评论

学校读者我要写书评

暂无评论

Reservoir development and application in deformable media base on ANSYS transient thermal conduction model

Reservoir development and application in deformable media ba...

引用

international conference on Frontier of Energy and Environment engineering, ICFEEE 2014

作者： Liu, M.X. Li, J.H. Liu, D.H. Jiang, T. Zhang, L. Key Laboratory of Exploration Technologies for Oil and Gas Resources Institute of Petroleum Engineering Yangtze University WuhanHubei China Department of Science and Technology Yangtze University WuhanHubei China China Petroleum Pipeline Engineering Corporation LangfangHebei China

ISBN: (纸本)9781138026919

Different from the conventional reservoir, deformable media property will change with the overlying formation effective pressure. According to the similarity of flow field and temperature field, many present papers to simulate the flow characteristic are the conventional method based on the steady thermal analysis of ANSYS. It first derives the similar relationship between pressure sensitive coefficient of the formation and the specific heat of the media in the paper. Then based on the transient thermal conduction model in ANSYS, the simulated result are matched with the development performance when the pressure sensitive coefficient is adjusted to 0.055 MPa−1 in a certain deformable reservoir. The results show that the transient thermal conduction model on the software of ANSYS can simulate the reservoir development in deformable media. © 2015 Taylor & Francis Group, London.

关键词： Thermoanalysis

来源：评论

学校读者我要写书评

暂无评论

Dynamic change of the ecological footprints and ecological carring capacity of Xinji city

Dynamic change of the ecological footprints and ecological c...

引用

international conference on Frontier of Energy and Environment engineering, ICFEEE 2014

作者： Wang, Na Sun, Gui Ping Yang, Li Hua Hebei Normal University ShijiazhuangHebei China

ISBN: (纸本)9781138026919

The research analyzed the dynamic changes of ecological carring capacity in Xinji city during 2006 and 2013, and obtained development prediction model of per capita ecological footprint and per capita ecological carring capacity and ecological footprint of per million GDP by using the analysis of SPSS statistical software. The results showed that the ecological deficit increased year after year, the contradiction between the ecological footprint and ecological carring capacity pricked up gradually, and the ecological environment was at risk. It existed a severe imbalance in the supply and demand of per capita ecological footprint. As a whole, the ecological footprint of per million GDP declined in the eight years, indicating that the resources use efficiency in the city was improved gradually. In the view of the situation of Xinji city, the strategies on reducing ecological deficit were put forward. © 2015 Taylor & Francis Group, London.

关键词： Sustainable development

来源：评论

学校读者我要写书评

暂无评论

12th international conference on software engineering and Formal Methods, SEFM 2014 Collocated with 1st Workshop on Human-Oriented Formal Methods, HOFM 2014, 1st Workshop on Safety and Formal Methods, SaFoMe 2014, 8th international Workshop on Foundations and Techniques for Open Source software Certification, OpenCert 2014, 3rd international Symposium on modeling and Knowledge Management Applications, MoKMaSD 2014, 4th Workshop on Formal Methods in the development of software, WS-FMDS 2014

12th International Conference on Software Engineering and Fo...

引用

12th international conference on software engineering and Formal Methods, SEFM 2014 Collocated with 1st Workshop on Human-Oriented Formal Methods, HOFM 2014, 1st Workshop on Safety and Formal Methods, SaFoMe 2014, 8th international Workshop on Foundations and Techniques for Open Source software Certification, OpenCert 2014, 3rd international Symposium on modeling and Knowledge Management Applications, MoKMaSD 2014, 4th Workshop on Formal Methods in the development of software, WS-FMDS 2014

ISBN: (纸本)9783319152004

The proceedings contain 31 papers. The special focus in this conference is on software engineering and Formal Methods, Human-Oriented Formal Methods, Safety and Formal Methods, Foundations and Techniques for Open Source software Certification and modeling and Knowledge Management Applications. The topics include: A usability evaluation of interactive theorem provers using focus groups;an approach for creating domain specific visualisations of CSP models;on a process algebraic representation of sequence diagrams;modelling and verification of survivability requirements for critical systems;a testing-based approach to ensure the safety of shared resource concurrent systems;a contracts-based framework for systems modeling and embedded diagnostics;ontology for learning processes in FLOSS communities;a latent representation model for sentiment analysis in heterogeneous social networks;use of mobile phone data to estimate visitors mobility flows;a mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer;retrieving points of interest from human systematic movements;path-sensitive race detection with partial order reduced symbolic execution and towards synthesis of attack trees for supporting computer-aided risk analysis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Implementation of rechnology in Indian agricultural scenario 3

Implementation of rechnology in Indian agricultural scenario

引用

3rd international conference on Frontiers in Intelligent Computing: Theory and Applications, FICTA 2014

作者： Robert, Phuritshabam Naveen Kumar, B. Poornima, U.S. Suma, V. Central Agricultural University Ranipool India Computer Science and Engineering Department of Information Science and Engineering Dayananda Sagar College of Engineering Bangalore India Department of Information Science and Engineering Dayananda Sagar College of Engineering Bangalore India Department of Information Science and Engineering Dayananda Sagar College of Engineering Bangalore India

ISBN: (纸本)9783319120119

Agriculture is a pillar of industry and a key component of a nationeconomy all over the world. Hence, innovation in agricultural science and application of technology has become an important force for supporting the development of modern *** existence and continuity of any technology depends on customer satisfaction. The satisfaction for any service or products can be achieved by applying the basic principles of software engineering. Customer satisfaction depends on parameters like the resultant Service Quality provided. This paper focuses on introducing a model which highlights on a hierarchical bottom up approach for Indian agriculture where different aspects of agriculture are localized. This paper also presents Design of the model, Implementation of the model and finally the results are analyzed by considering with and without middleman as a parameter in the agricultural market. © Springer international Publishing Switzerland 2015.

关键词： Customer satisfaction

来源：评论

学校读者我要写书评

暂无评论

2nd international Workshop on Advances in Services Design based on the Notion of Capabiliy, ASDENCA 2015, 3rd international Workshop on Cognitive Aspects of Information Systems engineering, COGNISE 2015, 1st international Workshop on Digital Business Innovation and the Future Enterprise Information Systems engineering, DiFenSE 2015, 1st international Workshop on Enterprise modeling, EM 2015, 1st Workshop on the Role of Real-World Objects in Business Process Management Systems, RW-BPMS 2015, 10th international Workshop on Trends in Enterprise Architecture Research, TEAR 2015 and 5th international Workshop on Information Systems Security engineering, WISSE 2015 held in conjunction with 27th international conference on Advanced Information Systems engineering, CAiSE 2015

2nd International Workshop on Advances in Services Design ba...

引用

2nd international Workshop on Advances in Services Design based on the Notion of Capabiliy, ASDENCA 2015, 3rd international Workshop on Cognitive Aspects of Information Systems engineering, COGNISE 2015, 1st international Workshop on Digital Business Innovation and the Future Enterprise Information Systems engineering, DiFenSE 2015, 1st international Workshop on Enterprise modeling, EM 2015, 1st Workshop on the Role of Real-World Objects in Business Process Management Systems, RW-BPMS 2015, 10th international Workshop on Trends in Enterprise Architecture Researc, TEAR 2015 and 5th international Workshop on Information Systems Security engineering, WISSE 2015 held in conjunction with 27th international conference on Advanced Information Systems engineering, CAiSE 2015

ISBN: (纸本)9783319192420

The proceedings contain 54 papers. The special focus in this conference is on technological, human, theoretical, application, organizational and societal. The topics include: Advanced context processing for business process execution adjustment;towards systemic risk management in the frame of business service ecosystem;analyzing IT flexibility to enable dynamic capabilities;towards guiding process modelers depending upon their expertise levels;advanced dynamic role resolution in business processes;a position paper proposing behavioral solutions to challenges in software development projects;some heuristics for digital business model configuration;inherent cognitive dependencies in the transformation of business models from non-digital to digital;investigating the innovation potential from a business model perspective;supporting service innovation through a value development framework;fitness of business models for digital collaborative platforms in clusters;accelerating web-entrepreneurship in local incubation environments and challenges laying ahead for future digital enterprises.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Digital development of products with NX9 for academical areas 3

Digital development of products with NX9 for academical area...

引用

3rd international conference on Modern Technologies in Industrial engineering (ModTech)

作者： Goanta, A. M. Dunarea de Jos Univ Galati Engn & Agron Fac Braila Res Ctr Mech Machines & Technol Equipments Braila 810017 Romania

international competitiveness forced the manufacturing enterprises to look for new ways to accelerate the development of digital products through innovation, global alliances and strategic partnerships. In an environment of global research and development of distributed geographically, all members of the joint teams made up of companies and universities need to access updated and accurate information about products created by any of the type employed, student, teacher. Current design processes involve more complex products consisting of elements of design created by multiple teams, disciplines and suppliers using independent CAD systems. Even when using a 3D CAD mature technology, many companies fail to significantly reduce losses in the process, improve product quality or product type to ensure successful innovations to market arouse interest. These challenges require a radical rethinking of the business model, which belongs to the field of design, which must be based on digital development of products based on integrated files. Through this work, the author has proposed to provide both synthesis and transformations brought news of the integrated NX [1, 2, 3] from Siemens PLM software 9, following a news results detailed documentary study, and personal results obtained by applying the same version, the digital and integrated development of a product type device test beams. Based on educational license received for NX 9 was made a detailed study of the innovations made by this release, and the application of some of them went to graphical modelling and getting all the documentation of a test device bearing beams. Also, were synthesized in terms of methodology, the steps to take to obtain graphical documentation. The results consist of: 3D models of all parts and assembly 3D model of the three-dimensional constraints of all component parts and not least respectively all drawings and assembly drawing. The most important consequence of the paper is the obtaining of int

关键词： Computer aided design

来源：评论

学校读者我要写书评

暂无评论

Approaches for software verification of an emergency recovery system for Micro Air Vehicles

Approaches for software verification of an emergency recover...

引用

international conference on Computer Safety, Reliability, and Securitym, SAFECOMP 2015 and held 3rd international Workshop on Assurance Cases for software-Intensive Systems ASSURE 2015, Workshop on Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2015, 2nd international Workshop on the Integration of Safety and Security engineering, ISSE 2015, Workshop on Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI 2015, and 4th internationalWorkshop on NextGeneration of System Assurance Approaches for Safety-Critical Systems SASSUR, 2015

作者： Becker, Martin Neumair, Markus Söhn, Alexander Chakraborty, Samarjit Institute for Real-Time Computer Systems Technische Universität München Arcisstraße 21 Munich80333 Germany

ISBN: (纸本)9783319242484

This paper describes the development and verification of a competitive parachute system for Micro Air Vehicles, in particular focusing on verification of the embedded software. We first introduce the overall solution including a system level failure analysis, and then show how we minimized the influence of faulty software. This paper demonstrates that with careful abstraction and little overapproximation, the entire code running on a microprocessor can be verified using bounded model checking, and that this is a useful approach for resource-constrained embedded systems. The resulting Emergency Recovery System is to our best knowledge the first of its kind that passed formal verification, and furthermore is superior to all other existing solutions (including commercially available ones) from an operational point of view. © Springer international Publishing Switzerland 2015.

关键词： model checking

来源：评论

学校读者我要写书评

暂无评论

Ontology-driven development of the Metamodels for modelling Distributed Parallel software Systems

Ontology-Driven Development of the Metamodels for Modelling ...

引用

international conference on Artificial Intelligence, modelling and Simulation (AIMS)

作者： Vitaliy Mezhuyev Eugene Malakhov Faculty of Computer Systems and Software Engineering University Malaysia Pahang Gambang Malaysia Department of Mathematical Support of Computer Systems Odessa I.I. Mechnikov National University Odessa Ukraine

The paper discusses a new technique for development of metamodels for the modelling distributed parallel software systems. The approach is an important stage of Domain-Specific Mathematical modelling (DSMM), developed to enhance the methodology of Domain-Specific modelling. The advantage of DSMM is a possibility of constructing metamodels for modelling domains, having different mathematical properties and structures. The paper analyses applicability of OWL-DL ontologies for expressing properties of software systems. Identification of the metatypes as OWL classes and use of OWL restrictions as rules of metamodels' grammars give us an effective way for the design and verification of software systems. The proposed approach have advantages of the model-driven software development and allows verification of software systems at earlier design stage.

关键词： Synchronization Mathematical model Computational modeling OWL software systems Ontologies

来源：评论

学校读者我要写书评

暂无评论

model Integration and model Transformation Approach for Multi-Paradigm Cyber Physical System development

Model Integration and Model Transformation Approach for Mult...

引用

23rd international conference on Systems engineering

作者： Lichen, Lichen Guangdong Univ Technol Fac Comp Sci & Technol Guangzhou 510090 Guangdong Peoples R China E China Normal Univ Shanghai Key Lab Trustworthy Comp Shanghai 200062 Peoples R China

ISBN: (纸本)9783319084213

Cyber-Physical Systems (CPS) are next generation of engineered systems in which physical systems and cyber systems not only are converged, but also computing, communication, and control technologies are tightly integrated. The lack of specification and modeling methods and techniques for cyber physical systems has a very important impact, as the increasing complexity of cyber-physical systems built today pushes traditional development processes to their limits. In these development processes the different aspects and disciplines of mechanics, electrics, and software usually act isolated from each other, which inhibits taking advantage of the full potential of integrated solutions. In this paper, we propose an integrated approach to develop cyber physical systems based on multi-disciplinary, multi-domain, multi-dimensions, multi-views and multi-paradigm. This model-integrated development approach addresses the development needs of cyber physical systems through the pervasive use of models and aims to deal with complexity due to the convergence of different domains and technologies in cyber physical systems. This proposed approach requires models for very different domains able to work together. model transformation is a central concept in model-driven development approaches and integration development approaches in cyber physical systems, as it provides a mechanism for automating the manipulation of models. We present the model transformation methods of cyber physical systems, we propose an approach to transform the models of among AADL, modelica, SysML and formal methods, clarify the transformation principles and to illustrate the important synergies resulting from the integration between these modeling languages. © Springer international Publishing Switzerland 2015.

关键词： AADL Integration MDA modelica SysML Transformation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：