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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,365 篇 会议
406 篇 期刊文献
22 篇 学位论文
15 册 图书

馆藏范围

4,808 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,968 篇 工学
- 2,606 篇 计算机科学与技术...
- 2,375 篇 软件工程
- 290 篇 控制科学与工程
- 247 篇 电气工程
- 149 篇 信息与通信工程
- 47 篇 电子科学与技术（可...
- 46 篇 机械工程
- 41 篇 建筑学
- 38 篇 土木工程
- 26 篇 生物工程
- 23 篇 材料科学与工程（可...
- 20 篇 航空宇航科学与技...
- 18 篇 仪器科学与技术
- 15 篇 光学工程
- 12 篇 环境科学与工程（可...
- 11 篇 化学工程与技术
- 10 篇 交通运输工程
415 篇 理学
- 294 篇 数学
- 49 篇 系统科学
- 43 篇 物理学
- 37 篇 生物学
- 22 篇 统计学（可授理学、...
- 15 篇 化学
362 篇 管理学
- 193 篇 图书情报与档案管...
- 192 篇 管理科学与工程(可...
- 74 篇 工商管理
44 篇 教育学
- 43 篇 教育学
25 篇 法学
- 24 篇 社会学
17 篇 医学
- 13 篇 临床医学
11 篇 经济学
- 11 篇 应用经济学
9 篇 文学
5 篇 农学
4 篇 军事学
1 篇 艺术学

主题

1,686 篇 object oriented ...
859 篇 object oriented ...
444 篇 application soft...
436 篇 computer languag...
305 篇 java
268 篇 programming
236 篇 software systems
233 篇 computer science
207 篇 programming prof...
188 篇 software enginee...
176 篇 computer archite...
161 篇 unified modeling...
140 篇 object oriented ...
135 篇 object-oriented ...
118 篇 database systems
96 篇 computational mo...
93 篇 prototypes
90 篇 real time system...
89 篇 concurrent compu...
88 篇 hardware

机构

9 篇 software composi...
8 篇 ibm
8 篇 carnegie mellon ...
8 篇 univ bern softwa...
8 篇 swiss fed inst t...
8 篇 univ texas austi...
7 篇 purdue universit...
6 篇 cwi
6 篇 ibm thomas j. wa...
6 篇 school of comput...
6 篇 ibm corp thomas ...
6 篇 university of il...
5 篇 school of comput...
5 篇 university of te...
5 篇 georgia inst tec...
5 篇 univ waterloo wa...
5 篇 ibm t.j. watson ...
5 篇 department of co...
5 篇 victoria univers...
5 篇 siemens ag

作者

13 篇 noble james
12 篇 aldrich jonathan
11 篇 de meuter wolfga...
10 篇 biddle robert
10 篇 cook william r.
9 篇 ricci alessandro
9 篇 de champeaux den...
9 篇 yonezawa akinori
9 篇 nierstrasz oscar
9 篇 johnson ralph
9 篇 chambers c
8 篇 coad peter
8 篇 madsen ole lehrm...
8 篇 abi-antoun marwa...
8 篇 salvaneschi guid...
8 篇 vitek jan
8 篇 s.s. yau
7 篇 hirschfeld rober...
7 篇 visser eelco
7 篇 ancona davide

语言

4,688 篇 英文
107 篇 其他
12 篇 中文
1 篇 日文

检索条件"任意字段=Conference on Object-Oriented Programming Systems, Languages, and Applications"

共 4808 条记录，以下是361-370 订阅

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

详细简洁

排序：

APPLYING USE CASE DRIVEN UML-BASED COMET METHOD FOR AUTONOMOUS FLIGHT MANAGEMENT ON IMA PLATFORM 34

APPLYING USE CASE DRIVEN UML-BASED COMET METHOD FOR AUTONOMO...

引用

IEEE/AIAA 34th Digital Avionics systems conference (DASC)

作者： Maria, Pisano Francesca CIRA Italian Aerosp Res Ctr Capua Italy

ISBN: (纸本)9781479989409

Within the research activities of the Italian Aerospace Research Centre (CIRA), we have experimented with the adoption of modern Software (SW) engineering methodologies. Modeling languages such as systems Modeling Language (SysML) and Unified Modeling Language (UML) were used to develop highly complex and innovative SW applications dedicated to autonomous flight management for Unmanned Air systems (UAS). The goal of CIRA was to implement an Autonomy Management (AM) System prototype based on Integrated Modular Avionics (IMA). The hosted SW modules, a Flight Management System (FMS) and Health Management System (HMS), were closely interconnected and interacted with several external actors in order to allow the UAS target to execute the mission independently and correctly. This white paper illustrates the main activities performed and results obtained when applying the Collaborative object Modeling and Architectural Design Method (COMET) of H. Gomaa to carry out the black-box analysis of FMS and HMS software applications and also SW emulators needed for conducting tests.

关键词： SysML avionics software architecture CIRA FMS HMS IMA platform Italian aerospace research centre SW emulators UAS UML autonomous flight management collaborative object modeling and architectural design method flight management system health management system integrated modular avionics software engineering methodologies systems modeling language unified modeling language unmanned air systems use case driven UML-based COMET method Aerospace electronics Analytical models Context object oriented modeling Software Unified modeling language UML avionics flight management systems Flexible manufacturing systems object oriented modeling systems Modeling Language Software architecture ANALYSIS MODELS computer software Autonomous flight health care management drone honey bees

来源：评论

学校读者我要写书评

暂无评论

MODELSWARD 2015 - 3rd International conference on Model-Driven Engineering and Software Development, Proceedings

MODELSWARD 2015 - 3rd International Conference on Model-Driv...

引用

3rd International conference on Model-Driven Engineering and Software Development, MODELSWARD 2015

ISBN: (纸本)9789897580833

The proceedings contain 72 papers. The topics discussed include: towards the integration of model-driven engineering, software product line engineering, and software configuration management;integration of heterogeneous modeling languages via extensible and composable language components;specification of adaptable model migrations;architectural view driven model transformations for supporting the lifecycle of parallel applications;a toolset for Simulink - improving software engineering practices in development with Simulink;model query translator - a model-level query approach for large-scale models;a comparison of mechanisms for integrating handwritten and generated code for object-oriented programming languages;a formalization of analysis-based model migration;and towards non-intrusive composition of executable models.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An object-oriented and executable SysML framework for rapid model development 1

An object-oriented and executable SysML framework for rapid ...

引用

conference on systems Engineering Research

作者： Balestrini-Robinson, Santiago Freeman, Dane F. Browne, Daniel C. Georgia Tech Res Inst Elect Syst Lab Atlanta GA 30318 USA

This paper introduces Cortex, a new framework to develop object-oriented and executable SysML models using the IPython Notebook(4). The framework strives to create a succinct and intuitive Python programming interface for SysML models, and integrate it with OpenMDAO (a Multi-disciplinary Design, Analysis and Optimization framework being developed by NASA Glenn Research Center). Data persists in MongoDB, with a Resource Description Framework (RDF) cache for semantic querying. The models can be exposed to custom web-based applications through a Representational State Transfer (REST) interface. The authors strive to create a foundational framework on which to be able to build more advanced system engineering and decision support tools. All the tools and libraries leveraged in this effort are open source software (OSS), and whenever possible, the authors selected technologies with the most permissive licenses. (C) 2015 Published by Elsevier B.V.

关键词： object-oriented open-source SysML MBSE framework MDAO

来源：评论

学校读者我要写书评

暂无评论

A Model-Driven Approach to Generate External DSLs from object-oriented APIs 41

A Model-Driven Approach to Generate External DSLs from Objec...

引用

41st International conference on Current Trends in Theory and Practice of Computer Science ((SOFSEM)

作者： Cosentino, Valerio Tisi, Massimo Izquierdo, Javier Luis Canovas Inria LINA Mines Nantes AtlanMod Team Nantes France

ISBN: (纸本)9783662460788;9783662460771

Developers in modern general-purpose programming languages create reusable code libraries by encapsulating them in applications programming Interfaces (APIs). Domain-specific languages (DSLs) can be developed as an alternative method for code abstraction and distribution, sometimes preferable to APIs because of their expressivity and tailored development environment. However the cost of implementing a fully functional development environment for a DSL is generally higher. In this paper we propose DSLit, a prototype-tool that, given an existing API, reduces the cost of developing a corresponding DSL by analyzing the API, automatically generating a semantically equivalent DSL with its complete development environment, and allowing for user customization. To build this bridge between the API and DSL technical spaces we make use of existing Model-Driven Engineering (MDE) techniques, further promoting the vision of MDE as a unifying technical space.

关键词： Bridges

来源：评论

学校读者我要写书评

暂无评论

International Workshop on Context-oriented programming, COP 2015 - co-located with the 29th European conference on object-oriented programming, ECOOP 2015

International Workshop on Context-Oriented Programming, COP ...

引用

International Workshop on Context-oriented programming, COP 2015

ISBN: (纸本)9781450336543

The proceedings contain 277 papers. The topics discussed include: adaptive search for multi-class targets with heterogeneous importance;boosting crowdsourcing with expert labels: local vs. global effects;OptFuse: low-rank factor estimation by optimal data-driven linear fusion of multiple signal-plus-noise matrices;dissecting uncertainty-based fusion techniques for maritime anomaly detection;distributed sensing for quickest change detection of point radiation sources;a critical assessment of two methods for heterogeneous information fusion;efficient information planning in Gaussian MRFs;Langevin Monte Carlo filtering for target tracking;gradual vs. binary conflicts in Bayesian networks applied to sensor failure detection;improvements in the implementation of log-homotopy based particle flow filters;a new nonlinear state estimator using the fusion of multiple extended Kalman filters;and URREF for veracity assessment in query-based information fusion systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

GPCE 2015 - Proceedings of the 2015 ACM SIGPLAN International conference on Generative programming: Concepts and Experiences

GPCE 2015 - Proceedings of the 2015 ACM SIGPLAN Internationa...

引用

14th ACM SIGPLAN International conference on Generative programming: Concepts and Experiences, GPCE 2015

ISBN: (纸本)9781450336871

The proceedings contain 22 papers. The topics discussed include: the next-generation in-stadium experience;almost first-class language embedding: taming staged embedded DSLs;generating safe boundary APIs between typed EDSLs and their environments;an empirical study on configuration-related issues: investigating undeclared and unused identifiers;analyzing the Kconfig semantics and its analysis tools;migrating large object-oriented applications into component-based ones: instantiation and inheritance transformation;towards tool support for spreadsheet-based domain-specific languages;native-2-native: automated cross-platform code synthesis from web-based programming resources;CLOP: a multi-stage compiler to seamlessly embed heterogeneous code;and composing code generators for CC ADLs with application-specific behavior languages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

DMLAS: A Domain-Specific Language for Designing Adaptive systems 10

DMLAS: A Domain-Specific Language for Designing Adaptive Sys...

引用

10th Computing Colombian conference (10CCC)

作者： Bocanegra, Jose Pavlich-Mariscal, Jaime Carrillo-Ramos, Angela Pontificia Univ Javeriana Dept Ingn Sistemas & Computac Bogota DC Colombia

ISBN: (纸本)9781467394642

An adaptive system is able to modify its behavior at runtime due to changes in the system, in the requirements, or in the environment in which it is deployed. The importance of adaptive software lies in the fact that it may adjust its own behavior to different environments and contexts, and thus, give to the users a better experience. However, the development of adaptive systems is not a simple task. There are two main drawbacks. First, there is a lack of languages to specify, unambiguously, the elements related to the design phase. As a consequence, these systems are often developed in an ad-hoc manner, without the required formalism, difficulting the process of derivation of design models to the next phases of the development cycle. Second, design decisions and the adaptation model tend to be directly implemented into the code and not thoroughly specified at the design level. Since the adaptation models become tangled with the code, system evolution becomes more difficult. To address the above issues, this article proposes DMLAS, a Domain-Specific Language (DSL) for designing adaptive systems. As proof of concept, this article also provides a functional prototype based on the Generic Modeling Environment (GME).

关键词： programming languages software engineering DMLAS DSL GME adaptive software adaptive system development domain-specific language generic modeling environment Adaptation models Adaptive systems Context object oriented modeling Pregnancy Software Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

Semantic queries in BPMN 2.0: a contemporary method for Information Retrieval 6

Semantic queries in BPMN 2.0: a contemporary method for Info...

引用

6th International conference on Information, Intelligence, systems and applications (IISA)

作者： Kalogeraki, Eleni-Maria Panayiotopoulos, Themis Apostolou, Dimitris Univ Piraeus Dept Informat 80 Karaoli & Dimitriou Str Piraeus Greece

ISBN: (纸本)9781467393119

The rapid evolution of technology in Management Information systems has enabled easy access to a huge amount of complex and specialized business information. The vast amount of business information has created the need for investigating ways to improve the efficiency and effectiveness of information retrieval techniques for querying business information. Among the different types of business information, information about business processes has been leveraged with dedicated languages, methods and tools. Business Process Management Notation (BPMN) is an international standard for modeling business processes. In this paper, we first develop the appropriate business process models of a complex real-life scenario using BPMN and we then represent process models in the form of an ontology business process model. We, next, query the two models with the same queries: the BPMN model using a query language for object-oriented databases and the semantic model using the SPARQL ontology-based search language. We compare the two query methods, discuss the results and explain the benefits of using semantics-based information retrieval techniques when dealing with business process information.

关键词： BPMN ontology business process model semantic model query language semantic-based search semantic queries object-oriented database business information Information Retrieval

来源：评论

学校读者我要写书评

暂无评论

A Comparison of Mechanisms for Integrating Handwritten and Generated Code for object-oriented programming languages 3

A Comparison of Mechanisms for Integrating Handwritten and G...

引用

3rd International conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Greifenberg, Timo Hoelldobler, Katrin Kolassa, Carsten Look, Markus Nazari, Pedram Mir Seyed Mueller, Klaus Perez, Antonio Navarro Plotnikov, Dimitri Reiss, Dirk Roth, Alexander Rumpe, Bernhard Schindler, Martin Wortmann, Andreas Rhein Westfal TH Aachen Software Engn Aachen Germany TU Braunschweig Inst Bldg Serv & Energy Design Braunschweig Germany

ISBN: (纸本)9789897581366

Code generation from models is a core activity in model-driven development (MDD). For complex systems it is usually impossible to generate the entire software system from models alone. Thus, MDD requires mechanisms for integrating generated and handwritten code. Applying such mechanisms without considering their effects can cause issues in projects with many model and code artifacts, where a sound integration for generated and handwritten code is necessary. We provide an overview of mechanisms for integrating generated and handwritten code for object-oriented languages. In addition to that, we define and apply criteria to compare these mechanisms. The results are intended to help MDD tool developers in choosing an appropriate integration mechanism.

关键词： Code Generation Handwritten Code Integration Model-driven Development

来源：评论

学校读者我要写书评

暂无评论

tATAmI: A Platform for the Development and Deployment of Agent-Based AmI applications 6th

tATAmI: A Platform for the Development and Deployment of Age...

引用

6th International conference on Ambient systems, Networks and Technologies (ANT) / 5th International conference on Sustainable Energy Information Technology (SEIT)

作者： Olaru, Andrei Benea, Marius-Tudor Seghrouchni, Amal El Fallah Florea, Adina Magda Univ Paris 06 LIP6 F-75252 Paris 05 France Univ Politehn Bucuresti Comp Sci Dept Bucharest Romania

In the vision of a future pervaded by Ambient Intelligence (AmI), innovative solutions are required in order to facilitate the development of applications able to fulfill the real needs of the users. In using agents for building AmI applications, there is a lack of platforms and languages that strike a good balance between flexibility and power of expression, on the one hand, and ease of use and quick deployment, on the other hand. We introduce the tATAmI platform, which together with the S-CLAIM AOP language presents a suitable solution for these issues. This paper presents the architecture of tATAmI together with a brief description of two scenarios that were implemented using the platform and some other important technical aspects concerning it. (C) 2015 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (http://***/licenses/by-nc-nd/4.0/).

关键词： ambient intelligence multi-agent systems agent-oriented programming cross-platform deployment

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共481页 << < 33 34 35 36 37 38 39 40 41 42 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：