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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

89 篇 会议
31 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

88 篇 工学
- 76 篇 计算机科学与技术...
- 60 篇 软件工程
- 9 篇 信息与通信工程
- 8 篇 控制科学与工程
- 8 篇 安全科学与工程
- 7 篇 电气工程
- 6 篇 生物医学工程（可授...
- 5 篇 仪器科学与技术
- 5 篇 电子科学与技术（可...
- 4 篇 机械工程
- 4 篇 建筑学
- 4 篇 土木工程
- 4 篇 化学工程与技术
- 4 篇 网络空间安全
- 3 篇 材料科学与工程（可...
- 3 篇 石油与天然气工程
- 3 篇 交通运输工程
- 3 篇 船舶与海洋工程
34 篇 理学
- 22 篇 数学
- 4 篇 化学
- 4 篇 系统科学
- 4 篇 统计学（可授理学、...
- 3 篇 海洋科学
25 篇 管理学
- 14 篇 管理科学与工程(可...
- 13 篇 图书情报与档案管...
- 4 篇 工商管理
5 篇 医学
- 5 篇 基础医学(可授医学...
- 5 篇 临床医学
- 3 篇 药学(可授医学、理...
3 篇 教育学
- 3 篇 教育学
1 篇 法学

主题

10 篇 software enginee...
5 篇 unified modeling...
4 篇 application soft...
4 篇 java
4 篇 security
4 篇 students
3 篇 computer science
3 篇 adaptive systems
3 篇 linux
3 篇 model checking
3 篇 computer languag...
3 篇 cryptographic pr...
3 篇 artificial intel...
3 篇 smart cards
3 篇 ontology
3 篇 formal specifica...
2 篇 runtime
2 篇 object oriented ...
2 篇 decision support...
2 篇 computer archite...

机构

6 篇 institute for so...
5 篇 department of pr...
3 篇 department of so...
3 篇 department of so...
3 篇 institute for so...
3 篇 department of co...
3 篇 ivannikov instit...
3 篇 department of sy...
3 篇 software enginee...
3 篇 institute of sof...
3 篇 institute of sof...
3 篇 department of se...
2 篇 school of mathem...
2 篇 institute for so...
2 篇 department of co...
2 篇 zuse institute b...
2 篇 department of so...
2 篇 department of me...
2 篇 university of tw...
2 篇 department of co...

作者

20 篇 margaria tiziana
19 篇 steffen bernhard
8 篇 yevtushenko nina
6 篇 wolfgang reif
5 篇 leucker martin
5 篇 naujokat stefan
4 篇 kossachev alexan...
4 篇 lamprecht anna-l...
4 篇 reif wolfgang
4 篇 nina moebius
4 篇 burdonov igor
4 篇 tichy matthias
4 篇 raschke alexande...
3 篇 kubczak christia...
3 篇 merten maik
3 篇 bergenthum robin
3 篇 kurt stenzel
3 篇 nina yevtushenko
3 篇 witte thomas
3 篇 raffelt harald

语言

118 篇 英文
2 篇 德文
2 篇 其他

检索条件"机构=Department of Programming and Software Engineering"

共 122 条记录，以下是71-80 订阅

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

详细简洁

排序：

Evaluation of Jif and Joana as information flow analyzers in a model-driven approach

Evaluation of Jif and Joana as information flow analyzers in...

引用

7th International Workshop on Data Privacy Management, DPM 2012 and 5th International Workshop on Autonomous and Spontaneous Security, SETOP 2012

作者： Katkalov, Kuzman Fischer, Peter Stenzel, Kurt Moebius, Nina Reif, Wolfgang Department of Software Engineering and Programming Languages University of Augsburg Germany

ISBN: (纸本)9783642358890

Checking for information leaks in real-world applications is a difficult task. IFlow is a model-driven approach which allows to develop information flow-secure applications using intuitive modeling guidelines. It supports the automatic generation of partial Java code while also providing the developer with the ability to formally verify complex information flow properties. To simplify the formal verification, we integrate an automatic Java application information flow analyzer, allowing to check simple noninterference properties. In this paper, we evaluate both Jif and Joana as such analyzers to determine the best suiting information flow control tool in the context of, but not limited to the IFlow approach. © 2013 Springer-Verlag.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Faster verification of partially ordered runs in Petri nets using compact tokenflows

Faster verification of partially ordered runs in Petri nets ...

引用

34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2013

作者： Bergenthum, Robin Department of Software Engineering and Theory of Programming FernUniversität in Hagen Germany

ISBN: (纸本)9783642386961

In this paper we tackle the problem of verifying whether a labeled partial order (LPO) is executable in a Petri net. In contrast to sequentially ordered runs an LPO includes both, information about dependencies and independencies of events. Consequently an LPO allows a precise and intuitive specification of the behavior of a concurrent or distributed system. In this paper we consider Petri nets with arc weights, namely marked place/transition-nets (p/t-nets). Accordingly the question is whether a given LPO is an execution of a given p/t-net. Different approaches exist to define the partial language (i.e. the set of executions) of a p/t-net. Each definition yields a different verification algorithm, but in terms of runtime all these algorithms perform quite poorly for most examples. In this paper a new compact characterization of the partial language of a p/t-net will be introduced, optimized with respect to the verification problem. The goal is to develop an algorithm to efficiently decide the verification problem. © 2013 Springer-Verlag.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Synthesis-based variability control: Correctness by construction

Synthesis-based variability control: Correctness by construc...

引用

10th International Symposium on Formal Methods for Components and Objects, FMCO 2011

作者： Lamprecht, Anna-Lena Margaria, Tiziana Schaefer, Ina Steffen, Bernhard Department for Service and Software Engineering University of Potsdam Germany Institut für Softwaretechnik und Fahrzeuginformatik Technische Universität Braunschweig Germany Department for Programming Systems Technical University Dortmund Germany

ISBN: (纸本)9783642358869

In this paper, we show the power of combining modern synthesis technology with a constraint-oriented approach to variability modeling. This combination guarantees the validity of all the required properties simply by construction: including a new property simply requires adding a corresponding constraint. The synthesis procedure will then automatically take care that all generated variants are property-conform. This fully declarative approach leads to a very agile variability modeling framework, where new product lines guaranteeing new properties can be defined ad hoc and are, due to our synthesis technology, immediately operational. As the underlying constraint language allows fully describing the intended solution space without imposing any overspecification, neither on the structure, nor on the artifacts, our approach may in particular be regarded as a step from the today typical settings with closed-world assumption to one with an open-world assumption. Impact and ease of this method are illustrated along a small case study running on our prototypical framework implementation. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Property-driven benchmark generation

Property-driven benchmark generation

引用

20th International Symposium on Model Checking software, SPIN 2013

作者： Steffen, Bernhard Isberner, Malte Naujokat, Stefan Margaria, Tiziana Geske, Maren Department of Programming Systems Dortmund University of Technology Dortmund D-44227 Germany Carnegie Mellon University Moffett Field CA United States Department of Service and Software Engineering Universität Potsdam Potsdam D-14482 Germany

ISBN: (纸本)9783642391750

We present a systematic approach to the automatic generation of platform-independent benchmarks of tailored complexity for evaluating verification tools for reactive systems. Key to this approach is a tool chain that essentially transforms a set of automatically generated LTL properties into source code for various formats, platforms, and competition scenarios via a sequence of property-preserving steps. These steps go through dedicated representations in terms of Büchi Automata, Mealy machines, Decision Diagram Models, Code Models, and finally the source code of the chosen scenario. The required transformations comprise LTL synthesis, model checking, property-oriented expansion, path condition extraction, theorem proving, SAT solving, and code motion. This combination allows us to address different communities via a growing set of programming languages, tailored sets of programming constructs, different notions of observation, and the full variety of LTL properties-ranging from mere reachability over general safety properties to arbitrary liveness properties. The paper illustrates the whole tool chain along accompanying examples, emphasizes the current state of development, and sketches the envisioned potential and impact of our approach. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Optimization of industrial processes in reactors

Optimization of industrial processes in reactors

引用

2nd International Conference on Key engineering Materials and Computer Science, KEMCS 2013

作者： Berdiyeva, Meruyert Ospanova, Aiman Othman, Mohamed Department of Computer engineering and Software programming South Kazakhstan State University Tauke khan avenue 5 Shymkent 160012 Kazakhstan Dept of Communication Technology and Network Universiti Putra Malaysia 43400 UPM Serdang Selangor D.E Malaysia

ISBN: (纸本)9783037857274

In the conditions of industrial production many processes of polymerisation are nonstationary. By processes optimization with the regard for such features as basic data it is necessary to use adaptive algorithms of identification, allowing mathematical model of process continuously to be adapted for changing conditions of operation. Use of such algorithms for process optimization demands periodic recalculation of optimum technological modes of process. Polymer reaction engineering is a discipline that deals with various problems concerning the fundamental nature of chemical and physical phenomena in polymerization processes. Mathematical modeling is a powerful tool for the development of process understanding and advanced reactor technology in the polymer industry. © (2013) Trans Tech Publications, Switzerland.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

Optimization of Industrial Processes in Reactors

Optimization of Industrial Processes in Reactors

引用

2013 2nd International Conference on Key engineering Materials and Computer Science(KEMCS 2013)

作者： Meruyert Berdiyeva Aiman Ospanova Мohamed Othman Department of Computer engineering and Software programming South Kazakhstan State University Dept of Communication Technology and Network Universiti Putra Malaysia

关键词： industrial processes polymerisattion chemical reactors technological parameters-temperature and conversion the optimization problem

来源：评论

学校读者我要写书评

暂无评论

Automated continuous quality assurance

Automated continuous quality assurance

引用

2012 1st International Workshop on Formal Methods in software engineering: Rigorous and Agile Approaches, FormSERA 2012

作者： Neubauer, Johannes Steffen, Bernhard Bauer, Oliver Windmüller, Stephan Merten, Maik Margaria, Tiziana Howar, Falk Department of Programming Systems TU Dortmund Germany Department of Service and Software Engineering University Potsdam Germany

ISBN: (纸本)9781467319065

We present a case study that illustrates the power of active learning for enabling the automated quality assurance of complex and distributed evolving systems. We illustrate how the development of the OCS, Springer Verlag's Online Conference System, is supported by continuous learning-based testing, that by its nature maintains the synchrony of the running application and the learned (test) model. The evolution of the test model clearly indicates which portions of the system remain stable and which are altered. Thus our approach includes classical regression testing and feature interaction detection. We show concretely how model checking, automata learning, and quantitative analysis concur with the holistic quality assurance of this product. © 2012 IEEE.

关键词： Quality assurance

来源：评论

学校读者我要写书评

暂无评论

Simplicity principles for plug-in development: The jABC approach

Simplicity principles for plug-in development: The jABC appr...

引用

2012 2nd International Workshop on Developing Tools as Plug-Ins, TOPI 2012

作者： Naujokat, Stefan Lamprecht, Anna-Lena Steffen, Bernhard Jörges, Sven Margaria, Tiziana Department of Programming Systems TU Dortmund 44227 Germany Department of Service and Software Engineering University Potsdam 14482 Germany

ISBN: (纸本)9781467318204

In this paper we present our experiences from a decade of plug-in development in the jABC framework, that is characterized by rigorous application of simplicity principles in two dimensions. First, the scope of the plug-in development is clearly defined: The jABC readily provides a sophisticated graphical user interface, which has been tailored to working with all kinds of directed graphs. Within this scope, plug-in development can deliberately focus on the actual functionality, like providing semantics to graphs, without having to deal with tedious but semantically irrelevant issues like user interfaces. Second, plug-in functionality can be itself conveniently modeled as a workflow within the jABC. We illustrate our approach by means of two mature plug-ins: Genesys, a plug-in that adds arbitrary code generator functionality to the jABC, and PROPHETS, a plug-in that eases user-level definition of workflows by completing model sketches by means of synthesis capabilities, so that they become complete and executable. We summarize our experience so far and derive general design principles for "lightweight plug-in development", that we are going to realize in the next generation of the jABC, which will be implemented itself as a collection of Eclipse plug-ins. © 2012 IEEE.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Cross-language code analysis and refactoring

Cross-language code analysis and refactoring

引用

2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation, SCAM 2012

作者： Mayer, Philip Schroeder, Andreas Department of Programming and Software Engineering Institute for Computer Science Ludwig-Maximilians-Universität München Germany

ISBN: (纸本)9780769547831

software composed of artifacts written in multiple (programming) languages is pervasive in today's enterprise, desktop, and mobile applications. Since they form one system, artifacts from different languages reference one another, thus creating what we call semantic cross-language links. By their very nature, such links are out of scope of the individual programming language, they are ignored by most language-specific tools and are often only established - and checked for errors - at runtime. This is unfortunate since it requires additional testing, leads to brittle code, and lessens maintainability. In this paper, we advocate a generic approach to understanding, analyzing and refactoring cross-language code by explicitly specifying and exploiting semantic links with the aim of giving developers the same amount of control over and confidence in multi-language programs they have for single-language code today. © 2012 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Automated learning setups in automata learning

Automated learning setups in automata learning

引用

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

作者： Merten, Maik Isberner, Malte Howar, Falk Steffen, Bernhard Margaria, Tiziana Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany University Potsdam Department of Service and Software Engineering Potsdam D-14482 Germany

ISBN: (纸本)9783642340253

Test drivers are an essential part of any practical active automata learning setup. These components to accomplish the translation of abstract learning queries into concrete system invocations while managing runtime data values in the process. In current practice test drivers typically are created manually for every single system to be learned. This, however, can be a very time-consuming and thus expensive task, making it desirable to find general solutions that can be reused. This paper discusses how test drivers can be created for LearnLib, a flexible automata learning framework. Starting with the construction of application-specific test drivers by hand, we will discuss how a generic test driver can be employed by means of configuration. This configuration is created manually or (semi-)automatically by analysis of the target system's interface. © 2012 Springer-Verlag.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共13页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：