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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

197 篇 会议
64 篇 期刊文献
6 册 图书

馆藏范围

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

日期分布

学科分类号

179 篇 工学
- 150 篇 计算机科学与技术...
- 119 篇 软件工程
- 20 篇 信息与通信工程
- 18 篇 控制科学与工程
- 13 篇 安全科学与工程
- 12 篇 电气工程
- 9 篇 仪器科学与技术
- 9 篇 生物医学工程（可授...
- 8 篇 电子科学与技术（可...
- 8 篇 土木工程
- 7 篇 船舶与海洋工程
- 7 篇 网络空间安全
- 6 篇 机械工程
- 5 篇 建筑学
- 4 篇 化学工程与技术
- 4 篇 交通运输工程
- 4 篇 生物工程
61 篇 理学
- 39 篇 数学
- 10 篇 统计学（可授理学、...
- 9 篇 系统科学
- 7 篇 海洋科学
- 4 篇 化学
- 4 篇 生物学
42 篇 管理学
- 26 篇 管理科学与工程(可...
- 18 篇 图书情报与档案管...
- 7 篇 工商管理
6 篇 法学
- 5 篇 社会学
6 篇 医学
- 5 篇 基础医学(可授医学...
- 5 篇 临床医学
5 篇 教育学
- 5 篇 教育学
1 篇 经济学

主题

27 篇 software enginee...
14 篇 testing
10 篇 application soft...
10 篇 java
10 篇 semantics
10 篇 unified modeling...
9 篇 runtime
9 篇 software
8 篇 model checking
7 篇 monitoring
6 篇 tools
6 篇 programming
6 篇 artificial intel...
5 篇 object oriented ...
5 篇 specifications
5 篇 software testing
5 篇 software design
5 篇 web services
4 篇 computer science
4 篇 software systems

机构

15 篇 institute for so...
14 篇 institute of sof...
13 篇 institute for so...
7 篇 institute of sof...
5 篇 institute for so...
5 篇 department of pr...
5 篇 ulm university i...
3 篇 department of so...
3 篇 department of so...
3 篇 institute of dis...
3 篇 graduate school ...
3 篇 ulm university i...
3 篇 institute for so...
3 篇 chair of program...
3 篇 department of co...
3 篇 université paris...
3 篇 ivannikov instit...
3 篇 department of sy...
3 篇 software enginee...
3 篇 max planck insti...

作者

28 篇 margaria tiziana
27 篇 steffen bernhard
26 篇 leucker martin
24 篇 tichy matthias
13 篇 tiziana margaria
11 篇 bernhard steffen
10 篇 matthias tichy
10 篇 raschke alexande...
9 篇 schaefer ina
8 篇 yevtushenko nina
7 篇 lamprecht anna-l...
7 篇 thoma daniel
7 篇 pietron jakob
7 篇 groner raffaela
6 篇 schmitz malte
6 篇 wolfgang reif
6 篇 naujokat stefan
5 篇 merten maik
5 篇 christian kubcza...
5 篇 sachenbacher mar...

语言

260 篇 英文
4 篇 德文
2 篇 其他
1 篇 中文

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

共 267 条记录，以下是141-150 订阅

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

详细简洁

排序：

*** - Approaches for risk analysis and measures of dynamically interconnected medical devices

*** - Approaches for risk analysis and measures of dynamical...

引用

5th Medical Cyber-Physical Systems Workshop:Medical Device Interoperability, Safety, and Security Assurance, MCPS 2014

作者： Kühn, Franziska Leucker, Martin Mildner, Alexander Institute for Software Engineering and Programming Languages University of Lübeck Germany Graduate School for Computing in Medicine and Life Science University of Lübeck Germany UniTransferKlinik Lübeck Germany

ISBN: (纸本)9783939897668

Nowadays, it lacks an open, standardized and dynamic interconnection of medical devices. All existing combinations of medical devices consist of isolated solutions with proprietary interfaces, as no common standards for networking and the exchange of data of medical devices exist. This situation leads to confusing operating rooms and inefficient operations. Thus, new strategies need to be developed for the authorization of dynamically interconnected medical devices. Primarily, those concern of an acquisition and methodical adaption of new requirements and risks resulting from this way of interconnection. The approach is to develop a method for a risk analysis for interconnected medical devices, which is structured modular and consists of a risk assessment of the standalone device and a risk analysis for the interconnection considering the risks involved in the transfer of functions. When interconnecting the medical devices the risk analysis of each of the devices is taken and they are compared by a gap analysis. Through this strategy it will be possible to realize a standard-compliant dynamic interconnection of medical products, which would be advantageous both for clinic operators and producers. This paper presents the current situation of the authorization of combined medical devices and proposes a strategy for the risk management of dynamically interconnected medical devices as a substantial part of the authorization. © Franziska Kühn, Martin Leucker, and Alexander Mildner.

关键词： Risk analysis

来源：评论

学校读者我要写书评

暂无评论

Multi-Objective Test Suite Optimization for Incremental Product Family Testing

Multi-Objective Test Suite Optimization for Incremental Prod...

引用

IEEE International Conference on software Testing, Verification and Validation

作者： Hauke Baller Sascha Lity Malte Lochau Ina Schaefer TU Braunschweig Institute for Programming and Reactive Systems TU Darmstadt Real Time Systems Lab TU Braunschweig Institute of Software Engineering and Automotive Informatics

ISBN: (纸本)9781479922567

The design of an adequate test suite is usually guided by identifying test requirements which should be satisfied by the selected set of test cases. To reduce testing costs, test suite minimization heuristics aim at eliminating redundancy from existing test suites. However, recent test suite minimization approaches lack (1) to handle test suites commonly derived for families of similar software variants under test, and (2) to incorporate fine-grained information concerning cost/profit goals for test case selection. In this paper, we propose a formal framework to optimize test suites designed for sets of software variants under test w.r.t. multiple conflicting cost/profit objectives. The problem representation is independent of the concrete testing methodology. We apply integer linear programming (ILP) to approximate optimal solutions. We further develop an efficient incremental heuristic for deriving a sequence of representative software variants to be tested for approaching optimal profits under reduced costs. We evaluated the algorithm by comparing its outcome to the optimal solution.

关键词： Testing Strategies Test Coverage of Specifications Constrained Optimization Linear programming

来源：评论

学校读者我要写书评

暂无评论

Runtime Verification of Web Services for Interconnected Medical Devices

Runtime Verification of Web Services for Interconnected Medi...

引用

International Symposium on software Reliability engineering (ISSRE)

作者： Normann Decker Franziska Kühn Daniel Thoma Institute for Software Engineering and Programming Lanugages University of Lübeck Germany Graduate School for Computing in Medicine and Life Sciences Institute of Telematics University of Lubeck Germany

This paper presents a framework to ensure the correctness of service-oriented architectures based on runtime verification techniques. Traditionally, the reliability of safety critical systems is ensured by testing the complete system including all subsystems. When those systems are designed as service-oriented architectures, and independently developed subsystems are composed to new systems at runtime, this approach is no longer viable. Instead, the presented framework uses runtime monitors synthesised from high-level specifications to ensure safety constraints. The framework has been designed for the interconnection of medical devices in the operating room. As a case study, the framework is applied to the interconnection of an ultrasound dissector and a microscope. Benchmarks show that the monitoring overhead is negligible in this setting.

关键词： Monitoring Runtime Biomedical monitoring Semantics Safety Service-oriented architecture

来源：评论

学校读者我要写书评

暂无评论

Three-valued asynchronous distributed runtime verification

Three-valued asynchronous distributed runtime verification

引用

ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)

作者： Torben Scheffel Malte Schmitz Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany Graduate School for Computing in Medicine and Life Sciences Universität zu Lübeck Germany

This paper studies runtime verification of distributed asynchronous systems and presents a monitor generation procedure for this purpose, which allows three-valued monitoring. The properties used in the monitors are specified in a logic that was newly created for this purpose and is called Distributed Temporal Logic (DTL). DTL combines the three-valued Linear Temporal Logic (LTL 3 ) with the past-time Distributed Temporal Logic (ptDTL), which allows to mark subformulas for remote evaluation. The monitor generation presented in this paper is based on an adopted version of the LTL 3 monitor generation, which integrates the ptDTL monitor construction. The aim of this new procedure is to increase the amount of monitorable properties compared to the properties monitorable with ptDTL. Runtime verification using this new monitoring has been implemented on LEGO Mindstorms NXT robots communicating via Bluetooth.

关键词： Monitoring Vectors Semantics Safety Biomedical monitoring Runtime Robots

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Sliding between model checking and runtime verification

Sliding between model checking and runtime verification

引用

3rd International Conference on Runtime Verification, RV 2012

作者： Leucker, Martin Institute for Software Engineering and Programming Languages Universtity of Lübeck Germany

We present a unified semantics for linear temporal logic capturing model checking and runtime verification. Moreover, we present the main ingredients of a corresponding monitor synthesis procedure. © 2013 Springe... 详细信息

ISBN: (纸本)9783642356315

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Towards automated cross-language refactorings between Java and DSLs used by Java frameworks

Towards automated cross-language refactorings between Java a...

引用

2013 ACM Workshop on Refactoring Tools, WRT 2013

作者： Mayer, Philip Schroeder, Andreas Programming and Software Engineering Group Ludwig-Maximilians-Universität München Germany

ISBN: (纸本)9781450326049

Today, software applications are usually not written in just one programming language. In many cases, a general-purpose language such as Java is combined with multiple domain-specific languages (DSLs) for diverse purposes such as system configuration, UI description, or database querying. The artifacts defined in those different languages reference each other, often by name;in most cases these references are essential for the functionality of the overall system. This introduces problems if an artifact is refactored in any single language, since most current refactoring tools are not aware of language-external uses of the artifact. What is therefore needed is extended refactoring support across language boundaries. In this work, we explore the area of cross-language linking and refactoring, and present an approach and tool which we evaluate in a systematic fashion using automated renaming and unit testing on an open-source case study. Copyright is held by the owner/author(s).

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

jUnitRV - Adding runtime verification to jUnit

引用

5th International Symposium on NASA Formal Methods, NFM 2013

作者： Decker, Normann Leucker, Martin Thoma, Daniel Institute for Software Engineering and Programming Languages Universität Zu Lübeck Germany

ISBN: (纸本)9783642380877

This paper presents jUnitRV as a tool extending the unit testing framework jUnit by runtime verification capabilities. Roughly, jUnit RV provides a new annotation @Monitors listing monitors that are synthesized from temporal specifications. The monitors check whether the currently executed tests satisfy the correctness properties underlying the monitors. As such, jUnit's concept of plain assert-based verification limited to checking properties of single states of a program is extended significantly towards checking properties of complete execution paths. © 2013 Springer-Verlag.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

Higher-order process modeling: Product-lining, variability modeling and beyond

Higher-order process modeling: Product-lining, variability m...

引用

Semantics, Abstract Interpretation, and Reasoning About Programs: Essays Dedicated to David A. Schmidt on the Occasion of His 60th Birthday

作者： Neubauer, Johannes Steffen, Bernhard Margaria, Tiziana Programming Systems Technische Universität Dortmund Germany Service and Software Engineering Universität Potsdam Germany

We present a graphical and dynamic framework for binding and execution of (business) process models. It is tailored to integrate 1) ad hoc processes modeled graphically, 2) third party services discovered in the (Inter)net, and 3) (dynamically) synthesized process chains that solve situationspecific tasks, with the synthesis taking place not only at design time, but also at runtime. Key to our approach is the introduction of type-safe stacked second-order execution contexts that allow for higher-order process modeling. Tamed by our underlying strict service-oriented notion of abstraction, this approach is tailored also to be used by application experts with little technical knowledge: users can select, modify, construct and then pass (component) processes during process execution as if they were data. We illustrate the impact and essence of our framework along a concrete, realistic (business) process modeling scenario: the development of Springer's browser-based Online Conference Service (OCS). The most advanced feature of our new framework allows one to combine online synthesis with the integration of the synthesized process into the running application. This ability leads to a particularly flexible way of implementing self-adaption, and to a particularly concise and powerful way of achieving variability not only at design time, but also at runtime.

关键词： Process engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共27页 << < 11 12 13 14 15 16 17 18 19 20 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：