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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

6 篇 会议

馆藏范围

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

日期分布

学科分类号

4 篇 工学
- 3 篇 计算机科学与技术...
- 3 篇 软件工程
- 1 篇 信息与通信工程
1 篇 管理学
- 1 篇 管理科学与工程(可...

主题

2 篇 pattern matching
2 篇 software
1 篇 embedded system ...
1 篇 central processi...
1 篇 object oriented ...
1 篇 mechanical code
1 篇 safety
1 篇 processor core
1 篇 software enginee...
1 篇 multiprocessor i...
1 篇 planning
1 篇 logic gates
1 篇 legacy systems
1 篇 computational mo...
1 篇 analytical model...
1 篇 stakeholders
1 篇 parallel process...
1 篇 processor
1 篇 microprocessors
1 篇 multicore proces...

机构

2 篇 technische unive...
1 篇 group for softwa...
1 篇 software enginee...
1 篇 software systems...
1 篇 technische unive...
1 篇 group for comput...
1 篇 software systems...
1 篇 software systems...

作者

2 篇 patrick mäder
2 篇 kuschke tobias
1 篇 michael kirchhof...
1 篇 philippow ilka
1 篇 bernd däne
1 篇 mader patrick
1 篇 zafar n.a.
1 篇 mäder patrick
1 篇 tobias kuschke
1 篇 lothar wagner
1 篇 wolfgang fengler
1 篇 patrick rempel
1 篇 detlef streitfer...
1 篇 rasool ghulam

语言

6 篇 英文

检索条件"机构=Group for Software Systems and Process Informatics"

共 6 条记录，以下是1-10 订阅

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

详细简洁

排序：

Recovering design artifacts from legacy systems using automata theory and formal specifications

Recovering design artifacts from legacy systems using automa...

引用

2009 International Conference on software Engineering Theory and Practice, SETP 2009

作者： Rasool, Ghulam Philippow, Ilka Zafar, N.A. Software Systems/Process Informatics Group Technical University of Ilmenau Germany

ISBN: (纸本)9781615676590

With ever increasing complexity of software, new business requirements and advent of modern technology shadows its impetus repercussion on most of prominent legacy systems making them obsolete with time. These systems mostly have monolithic architecture and run on legacy obsolete hardware. Legacy applications have conventional file systems and most of data dependencies are not enforced in database systems. The myriad dimensions of these systems can only be explored by incorporating reverse engineering, in this context, is the best method to extract useful artifacts and by exploring these artifacts for reengineering existing legacy systems to meet new requirements of organizations. The reverse engineering methodologies, techniques, and tools are used to extract the structure of existing legacy systems starting from the implementations and going back to design, architecture and requirements. We introduce a novel technique for extracting the design information from legacy code using automata theory and formal specifications.

关键词： Legacy systems

来源：评论

学校读者我要写书评

暂无评论

Pattern-based auto-completion of UML modeling activities 14

Pattern-based auto-completion of UML modeling activities

引用

29th ACM/IEEE International Conference on Automated software Engineering, ASE 2014

作者： Kuschke, Tobias Mäder, Patrick Technische Universität Ilmenau Software Systems/Process Informatics Group Ilmenau Germany

ISBN: (纸本)9781450330138

Auto-completion of textual inputs when using IDEs benefits software development experts and novices. Researchers demonstrated that auto-completion is beneficial for graphical modeling tasks as well. However, supporting software development by auto-completing UML modeling activities remains largely unexplored by research and unsupported by modeling tools. By matching editing operations to activity patterns, partly performed modeling activities can be recognized and automatically completed. This paper proposes an approach that computes auto-completions for partly performed modeling activities while a developer is creating or evolving UML models. Selected auto-completions can be previewed and adjusted before being executed. We claim, that this approach can improve developers' modeling efficiency. Therefore, we assessed our approach based on a catalog of common modeling activities for structural UML models and found that effort for conducting defined modeling activities can be reduced significantly. © 2014 ACM.

关键词： Pattern matching

来源：评论

学校读者我要写书评

暂无评论

RapMOD - In situ auto-completion for graphical models 39

RapMOD - In situ auto-completion for graphical models

引用

39th IEEE/ACM International Conference on software Engineering Companion, ICSE-C 2017

作者： Kuschke, Tobias Mader, Patrick Technische Universität Ilmenau Software Systems/Process Informatics Group Ilmenau Germany Technische Universitat Ilmenau Software Engineering for Safety-Critical Systems Group Ilmenau Germany

ISBN: (纸本)9781538615898

Auto-completion of textual inputs benefits software developers using IDEs. However, graphical modeling tools used to design software do not yet provide such functionality. The challenges of recommending auto-completions for graphical modeling activities are largely unexplored. Recommending such auto-completions requires detecting meaningful partly completed activities, tolerating variance in user actions, and determining the most relevant activities that a user wants to perform. We propose RapMOD, an approach that works in the background while a developer is creating or evolving models and handles all these challenges. Users' editing operations are analyzed and matched to a predefined but extensible catalog of common modeling activities for structural UML models. We found RapMOD to significantly reduce modeling effort. © 2017 IEEE.

关键词： Pattern matching

来源：评论

学校读者我要写书评

暂无评论

A quality model for the systematic assessment of requirements traceability

A quality model for the systematic assessment of requirement...

引用

IEEE International Conference on Requirements Engineering

作者： Patrick Rempel Patrick Mäder Software Systems/Process Informatics Group Technische UUniversität Ilmenau Ilmenau Germany

Traceability is an important quality of software requirements and allows to describe and follow their life throughout a development project. The importance of traceable requirements is reflected by the fact that requirements standards, safety regulations, and maturity models explicitly demand for it. In practice, traceability is created and maintained by humans, which make mistakes. In result, existing traces are potentially of dubious quality but serve as the foundation for high impact development decisions. We found in previous studies that practitioners miss clear guidance on how to systematically assess the quality of existing traces. In this paper, we review the elements involved in establishing traceability in a development project and derive a quality model that specifies per element the acceptable state (Traceability Gate) and unacceptable deviations (Traceability Problem) from this state. We describe and formally define how both, the acceptable states and the unacceptable deviations can be detected in order to enable practitioners to systematically assess their project's traceability. We evaluated the proposed model through an expert survey. The participating experts considered the quality model to be complete and attested that its quality criteria are of high relevance. We further found that the experts weight the occurrence of different traceability problems with different criticality. This information can be used to quantify the impact of traceability problems and to prioritize the assessment of traceability elements.

关键词： software Logic gates Planning Stakeholders Data models Safety Time division multiplexing

来源：评论

学校读者我要写书评

暂无评论

RapMOD — In Situ Auto-Completion for Graphical Models

RapMOD — In Situ Auto-Completion for Graphical Models

引用

International Conference on software Engineering - Companion, ICSE, Companion

作者： Tobias Kuschke Patrick Mäder Software Systems/Process Informatics Group Technische Universität Ilmenau Ilmenau Germany Software Engineering for Safety-Critical Systems Group Technische Universität Ilmenau Ilmenau Germany

关键词： Unified modeling language Computational modeling Object oriented modeling software engineering software Analytical models Adaptation models

来源：评论

学校读者我要写书评

暂无评论

Case Study on Design and Evaluation of a Multi-Soft-Core processor

Case Study on Design and Evaluation of a Multi-Soft-Core Pro...

引用

International Conference and Workshop on Computing and Communication (IEMCON)

作者： Michael Kirchhoff Lothar Wagner Bernd Däne Detlef Streitferdt Wolfgang Fengler Group for Computer Architecture and Embedded Systems Technische Universität Ilmenau Ilmenau Germany Group for Software Systems and Process Informatics Technische Universität Ilmenau Ilmenau Germany

ISBN: (纸本)9781728125312

Modern FPGAs (Field Programmable Gate Arrays) are becoming increasingly important when it comes to embedded system development. Within these FPGAs, soft-core processors are often used to solve a wide range of different tasks. Soft-core processors are a cost-effective and time-efficient way to realize embedded systems. The trend for soft-core processors, as well as mainstream CPUs (central processing units), leads to multi-core architectures. Both the necessary memory architectures and the compilers play an important role in this process. In this paper, a novel method that aims at minimizing the necessary memory resources on the FPGA while maximizing the processing speed of any given algorithm is described. In the first step, an application-specializable multi-soft-core processor architecture is presented that is capable of solving problems while adhering to hard real-time deadlines. Its special architecture and other necessary features are discussed. Furthermore, a method for the generation of optimized machine code for each processor core as well as hard real-time compatible deadlock handling mechanisms are presented. Selected algorithms are implemented to demonstrate the functionality and efficiency of the realized approach for different configurations of the multi-soft-core processor architecture.

关键词： Microprocessors Multicore processing Memory architecture Multiprocessor interconnection Field programmable gate arrays Field programmable gate arrays Memory architecture macroprocessor Parallel processor interconnection processOR soft-core processor Core embedded system development processor Architectures Mechanical Code central processing units hard real-time

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共1页 << < 1 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：