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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

170 篇 会议
50 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

131 篇 工学
- 106 篇 计算机科学与技术...
- 78 篇 软件工程
- 20 篇 控制科学与工程
- 19 篇 信息与通信工程
- 17 篇 机械工程
- 13 篇 生物医学工程（可授...
- 11 篇 电气工程
- 8 篇 生物工程
- 8 篇 安全科学与工程
- 7 篇 环境科学与工程（可...
- 6 篇 动力工程及工程热...
- 5 篇 建筑学
- 4 篇 仪器科学与技术
- 4 篇 土木工程
- 3 篇 交通运输工程
41 篇 管理学
- 32 篇 管理科学与工程(可...
- 21 篇 工商管理
- 12 篇 图书情报与档案管...
34 篇 理学
- 23 篇 数学
- 8 篇 生物学
- 6 篇 系统科学
- 4 篇 化学
- 3 篇 统计学（可授理学、...
- 2 篇 物理学
22 篇 医学
- 20 篇 基础医学(可授医学...
- 20 篇 临床医学
- 12 篇 药学(可授医学、理...
- 10 篇 公共卫生与预防医...
14 篇 经济学
- 14 篇 应用经济学
4 篇 法学
- 4 篇 社会学
2 篇 农学
1 篇 教育学

主题

22 篇 systems engineer...
19 篇 software systems
16 篇 software enginee...
13 篇 application soft...
11 篇 costs
8 篇 logistics
8 篇 computer archite...
6 篇 computer industr...
5 篇 programming
5 篇 ecosystems
5 篇 collaborative so...
5 篇 machine learning
5 篇 context
5 篇 mobile communica...
5 篇 computer network...
4 篇 conferences
4 篇 object oriented ...
4 篇 automation
4 篇 electronic mail
4 篇 requirements eng...

机构

18 篇 fraunhofer insti...
17 篇 fraunhofer insti...
12 篇 fraunhofer insti...
8 篇 fraunhofer insti...
7 篇 fraunhofer insti...
7 篇 idtm gmbh reckli...
6 篇 instituto de ele...
5 篇 fraunhofer insti...
5 篇 healthtec innova...
4 篇 tu dortmund univ...
3 篇 fraunhofer insti...
3 篇 dept. it in prod...
3 篇 fraunhofer insti...
3 篇 iva schmetz gmbh...
3 篇 fraunhofer proje...
3 篇 hs gesundheit bo...
3 篇 fraunhofer insti...
3 篇 fraunhofer insti...
3 篇 fraunhofer insti...
3 篇 fraunhofer insti...

作者

13 篇 burmann anja
11 篇 jürjens jan
9 篇 henze jasmin
7 篇 meister sven
7 篇 salvi rutuja
6 篇 hendrik van der ...
6 篇 fuentealba patri...
6 篇 friebe michael
5 篇 bisgin pinar
5 篇 illanes alfredo
4 篇 otto boris
4 篇 schoormann thors...
4 篇 christian schwed...
4 篇 k. sandkuhl
4 篇 julia kunert
4 篇 novais renato
4 篇 markus rabe
4 篇 boese axel
4 篇 joachim hunker
4 篇 spiller moritz

语言

217 篇 英文
5 篇 其他
1 篇 德文

检索条件"机构=Fraunhofer-Institute for Software Engineering and Systems Engineering ISST"

共 223 条记录，以下是121-130 订阅

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

详细简洁

排序：

Solving the movie database case with QVTo 7

Solving the movie database case with QVTo

引用

7th Transformation Tool Contest, TTC 2014, Part of the software Technologies: Applications and Foundations, STAF 2014

作者： Gerking, Christopher Heinzemann, Christian Software Engineering Group Heinz Nixdorf Institute University of Paderborn Germany Fraunhofer IPT Project Group Mechatronic Systems Design Software Engineering Paderborn Germany

This paper proposes a solution to the IMDb movie database case of the Transformation Tool Contest 2014. Our solution is based on the Eclipse implementation of the OMG standard QVTo. We implemented all of the tasks including all of the extension tasks. Our benchmark results show that QVTo is able to handle models with a few thousand objects. Copyright © 2014.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Integrated Requirements and systems Modeling in the Mechatronic Development Process

Integrated Requirements and Systems Modeling in the Mechatro...

引用

International Conference on Developments in esystems engineering (DESE)

作者： Christoph Richter Georg Hackenberg Michael F. Zäh Gunther Reinhart Fraunhofer Institute for Machine Tools and Forming Technology Augsburg Germany Software & Systems Engineering Technische Universität München München Germany Institute for Machine Tools and Industrial Management Technische Universität München München Germany

Manufacturing systems continuously increase in complexity due to higher customer expectations regarding their purpose and flexibility of use. In addition, the growing meaning of electronic and software components in manufacturing systems complicates the engineering since the interaction of different disciplines leads to increasing coordination efforts and problems regarding the interfaces between these disciplines. For these reasons, development processes in this context need to be adapted continuously to the present situation. To face these challenges, the suitable handling of arising requirements is one key factor for the success of engineering processes. Therefore, a modeling technique for an integrated requirements and systems modeling in the mechatronic development process is presented in this paper. After a summary of approaches for model-based development and requirements engineering in the context of mechatronic systems, the modeling technique is illustrated on a meta-model level. To demonstrate the feasibility, the proposed approach is applied to a miniaturized packaging machine, which is currently developed at the institute for Machine Tools and Industrial Management (iwb) of Technische Universit München for benchmarking engineering methods and tools. Excerpts of this application are outlined in this paper as well as the results of a discussion with experts from the machine tools industry regarding the presented modeling approach. Finally, an outlook with respect to possible enhancements of the modeling technique is given.

关键词： Mechatronics Object oriented modeling Unified modeling language Requirements engineering Analytical models software

来源：评论

学校读者我要写书评

暂无评论

Viewpoints and views in hardware platform modeling for safe deployment

Viewpoints and views in hardware platform modeling for safe ...

引用

2nd Workshop on View-Based, Aspect-Oriented and Orthographic software Modelling, VAO 2014

作者： Pohlmann, Uwe Meyer, Matthias Dann, Andreas Brink, Christopher Fraunhofer IPT Project Group Mechatronic Systems Design Software Engineering Zukunftsmeile 1 33102 Paderborn Germany Software Engineering Group Heinz Nixdorf Institute University of Paderborn Zukunftsmeile 1 33102 Paderborn Germany

ISBN: (纸本)9781450329002

Future cyber-physical systems will behave smart, i.e., they will provide self-*properties and collaborate with each other. software realizes this smart behavior. In modern cars, a hardware platform consists of up to 100 networked electronic control units (ECUs) that execute the software. As the amount of safety-critical software increases, the task of describing a suitable hardware platform for deploying safety-critical software components to ECUs becomes more complicated. Existing approaches for the definition of a hardware platform do not address the different stakeholder's concerns and do not provide a systematic method. This leads to an error-prone development. In this paper, we identify viewpoints for the stakeholder's concerns and provide a method for the multi-view modeling of hardware platforms. In addition, we support hierarchical and variable horizontal composition of hardware platforms by transferring concepts from component-based software engineering. To test our method, we use an Arduino-based cooperative adaptive cruise control system. © 2014 ACM.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

A modelica coordination pattern library for cyber-physical systems 14

A modelica coordination pattern library for cyber-physical s...

引用

7th International Conference on Simulation Tools and Techniques, SIMUTools 2014

作者： Pohlmann, Uwe Dziwok, Stefan Meyer, Matthias Tichy, Matthias Thiele, Sebastian Fraunhofer IPT Project Group Mechatronic Systems Design Software Engineering Zukunftsmeile 1 Paderborn33102 Germany Software Engineering Group Heinz Nixdorf Institute University of Paderborn Zukunftsmeile 1 Paderborn33102 Germany Software Engineering Division Department of Computer Science and Engineering Chalmers University of Gothenburg Sweden

ISBN: (纸本)9781631900075

Today's embedded systems often do not operate individually anymore. Instead, they form so called cyber-physical systems, where the overall functionality is provided by the collaboration of systems. Consequently, the design of this collaboration is an important activity during development and strongly affects system quality. In previous work, we presented a catalog of reusable messagebased real-time coordination patterns to avoid manual creation of new and, thus, error-prone designs. In this paper, we present an implementation of this catalog by a library in the Modelica language and an appropriate development process. The library stores ready to reuse solutions for common coordination activities and, thus, increases efficiency and effectiveness for use. Furthermore, the use of Modelica enables early holistic simulation of cyber-physical systems including feedback controllers and message-based coordination. We illustrate the library with examples from an autonomous railway vehicle and present an early evaluation. Copyright © 2014 ICST.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

Low-level variability support for web-based software product lines 14

Low-level variability support for web-based software product...

引用

8th International Workshop on Variability Modelling of software-Intensive systems, VaMoS 2014

作者： Machado, Ivan Do Carmo Santos, Alcemir Rodrigues Cavalcanti, Yguaratã Cerqueira Trzan, Eduardo Gomes De Souza, Marcio Magalhães De Almeida, Eduardo Santana Federal University of Bahia Salvador Brazil Federal University of Pernambuco Recife Brazil Recôncavo Institute of Technology Salvador Brazil Fraunhofer Project Center for Software and Systems Engineering Salvador Brazil

ISBN: (纸本)9781450325561

The Web systems domain has faced an increasing number of devices, browsers, and platforms to cope with, driving software systems to be more flexible to accomodate them. software product line (SPL) engineering can be used as a strategy to implement systems capable of handling such a diversity. To this end, automated tool support is almost indispensable. However, current tool support gives more emphasis to modeling variability in the problem domain, over the support of variability at the solution domain. There is a need for mapping the variability between both abstraction levels, so as to determine what implementation impact a certain variability has. In this paper, we propose the FeatureJS, a FeatureIDE extension aiming at Javascript and HTML support for SPL engineering. The tool combines feature-oriented programming and preprocessors, as a strategy to map variability at source code with the variability modeled at a higher level of abstraction. We carried out a preliminary evaluation with an industrial project, aiming to characterize the capability of the tool to handle SPL engineering in the Web systems domain. © 2014 ACM.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Recovering valuable information behaviour from OSS contributors: An exploratory study 26

Recovering valuable information behaviour from OSS contribut...

引用

26th International Conference on software engineering and Knowledge engineering, SEKE 2014

作者： Farias, Mário André De F. Ortins, Paulo Novais, Renato Colaço, Methanias Mendonça, Manoel Federal University of Bahia Bahia Brazil Federal Institute of Bahia Bahia Brazil Federal University of Sergipe Bahia Brazil Federal Institute of Sergipe Bahia Brazil Fraunhofer Project Center for Software and Systems Engineering Bahia Brazil

Context. Distributed software development is currently a modern practice in software industry. This is especially true in Open Source software (OSS) development community. Understanding how developers' practices are on those projects may guide communities to successfully manage their projects. Goal. We mined two repositories of the Apache Httpd project in order to gather information about its developers' behavior. Methods. We developed an approach to cross data gathered from mail list and source code repository through mining techniques. The approach uses software visualization to analyze the mined data. We conducted an experimental evaluation of the approach to assess the behavioral patterns from OSS development community. Results. The collected data built a rich set of information. The results highlight Apache developers' behavior patterns. We perceived that there is a correlation over time between emails and commits of the Apache Project developers. Conclusion. The use of data mining and software visualization to analyze crossing data sources can spot important properties of the development process. Copyright © 2014 by Knowledge systems institute Graduate School.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Specifying intra-component dependencies for synthesizing component behaviors 1

Specifying intra-component dependencies for synthesizing com...

引用

1st International Workshop on Model-Driven engineering for Component-Based software systems, ModComp 2014

作者： Dziwok, Stefan Goschin, Sebastian Becker, Steffen Software Engineering Group Heinz Nixdorf Institute University of Paderborn Zukunftsmeile 1 Paderborn33102 Germany Fraunhofer IPT Project Group Mechatronic Systems Design Software Engineering Zukunftsmeile 1 Paderborn33102 Germany Step2e Innovation GmbH Rosstraenke 4 Passau94032 Germany

Cyber-physical systems, e.g., cars, interact with their physical environment, underlie real-time constraints, and exchange messages with each other. An engineer can define their software using a componentbased architecture. An approach to manage the complexity of this task is to separate concerns by specifying the behavior of each component's port independently and, afterwards, synthesizing the component behavior based on the port's behaviors and their dependencies. Though, such a synthesis requires to specify the intra-component dependencies formally. However, for several dependencies that are commonly used, no formal language exists. In this paper, we present a language that enables the specification of all commonly used dependencies in the domain of cyber-physical systems. Moreover, we define the requirements for an intra-component dependency language, provide an extended synthesis process, and introduce the dependency kinds the language shall support.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

Flexibility in ecosystem architectures 14

Flexibility in ecosystem architectures

引用

8th European Conference on software Architecture Workshops, ECSAW 2014

作者： Da Silva Amorim, Simone McGregor, John D. De Almeida, Eduardo Santana Von Flach G. Chavez, Christina Federal Institute of Education Science and Technology of Bahia Salvador BA 40110 Brazil Strategic Software Engineering Research Group Clemson University Clemson SC 29634 United States Federal University of Bahia Fraunhofer Project Center for Software and Systems Engineering Salvador BA 40170 Brazil Federal University of Bahia Salvador BA 40170 Brazil

ISBN: (纸本)9781450327787

Quality attributes are important to creating, understanding, and evaluating software architectures. The architectural attributes and challenges for ecosystem architectures are different from one-off systems. The study of those aspects that influence quality attributes in this new environment can help to understand these architectures. In previous work, we hypothesized that the architecture for an ecosystem should be extensible, scalable, and flexible and reported initial investigations into extensibility and scalability. In this paper, we report on our investigation into flexibility. We analyze various features that impact how to design flexible architectures. We highlight that flexibility for ecosystems is not only a technical issue, but a business issue as well. We classified features that affect flexibility into business and technical dimensions. We adapted a software system metric for flexibility to measure the flexibility of an ecosystem's architecture. © 2014 ACM.

关键词： Ecosystems

来源：评论

学校读者我要写书评

暂无评论

Considering architectural properties in real-time play-out 44

Considering architectural properties in real-time play-out

引用

44. Jahrestagung der Gesellschaft fur Informatik INFORMATIK 2014 - Big Data - Komplexitat meistern - Big Data - Mastering Complexity: 44th Annual Meeting of the Society for Computer Science, INFORMATICS 2014

作者： Holtmann, Jörg Shipchanov, Dimitar Software Engineering Project Group Mechatronic Systems Design Fraunhofer Institute for Production Technology IPT Zukunftsmeile 1 Paderborn33102 Germany Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn33098 Germany

ISBN: (纸本)9783885796268

Real-time embedded systems (RTES), as in the automotive domain, provide their functionality by executing software operations on hardware with restricted resources and by communicating via buses. The properties of the underlying architecture, i.e., execution times of software operations and bus latencies, cause delays during the provision of the functionality. At the same time, RTES have to fulfill strict real-time requirements. The fulfillment of such real-time requirements under consideration of delays induced by architectural properties should be taken into account already during requirements engineering (RE) to avoid costly iterations in subsequent development phases. In previous work, we developed a formal RE approach based on a recent Live Sequence Chart (LSC) variant, so-called Modal Sequence Diagrams (MSDs). This scenario-based RE approach allows to validate the requirements by means of simulation, i.e., the play-out algorithm originally conceived for LSCs. Our MSD play-out approach considers assumptions on the environment as well as real-time requirements and is applicable to hierarchical component architectures, which makes it well suited for automotive systems. However, delays induced by architectural properties are not considered. In order to consider this important aspect, we introduce in this paper an approach enabling the annotation of software operation execution times and connector latencies to hierarchical component architectures by means of the MARTE profile. These assumptions about the architectural properties can be verified against the realtime requirements specified in the MSDs by means of simulation. We illustrate the approach by means of an example of an automotive RTES.

关键词： Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

Generating Modelica Models from software Specifications for the Simulation of Cyber-Physical systems

Generating Modelica Models from Software Specifications for ...

引用

Euromicro Conference on software engineering and Advanced Applications (SEAA)

作者： Uwe Pohlmann Jörg Holtmann Matthias Meyer Christopher Gerking Project Group Mechatronic Systems Design Fraunhofer Institute for Production Technology IPT Paderborn Germany Software Engineering Group University of Paderborn Paderborn Germany

Future smart systems will provide functionality by dynamically interacting with each other in cyber-physical systems. Such interactions require a message-based coordination under hard real-time constraints. This is realized by complex software, which combines discrete, state-based behavior with continuous behavior controlling the dynamics of the physical system parts. The development methods and tools for these kinds of software are not well integrated so far. For the modeling and simulation of physical and continuous control behavior, Modelica can be used. For modeling the discrete coordination behavior, MECHATRONICUML (MUML) can be used, which in addition offers a formal verification of safety requirements like deadlock-freedom of interactions, for example. We introduce in this paper an automatic transformation for formally verified MUML models into Modelica to ensure that the discrete state-based software correctly interacts with the continuous control software, physical parts, and a plant model. We illustrate this concept by means of a car-to-car coordination scenario.

关键词： Unified modeling language Mathematical model Real-time systems Clocks Analytical models software Libraries

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：