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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

66 篇 会议
27 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

70 篇 工学
- 58 篇 计算机科学与技术...
- 46 篇 软件工程
- 9 篇 安全科学与工程
- 8 篇 生物医学工程（可授...
- 6 篇 仪器科学与技术
- 5 篇 信息与通信工程
- 4 篇 机械工程
- 4 篇 电气工程
- 4 篇 控制科学与工程
- 3 篇 建筑学
- 2 篇 冶金工程
- 2 篇 土木工程
- 2 篇 航空宇航科学与技...
- 1 篇 材料科学与工程（可...
- 1 篇 动力工程及工程热...
- 1 篇 电子科学与技术（可...
- 1 篇 石油与天然气工程
23 篇 理学
- 14 篇 数学
- 7 篇 系统科学
- 7 篇 统计学（可授理学、...
- 1 篇 化学
- 1 篇 海洋科学
15 篇 管理学
- 12 篇 管理科学与工程(可...
- 4 篇 图书情报与档案管...
- 3 篇 工商管理
4 篇 教育学
- 4 篇 教育学
3 篇 医学
- 3 篇 基础医学(可授医学...
- 3 篇 临床医学
- 3 篇 药学(可授医学、理...
2 篇 法学
- 2 篇 社会学

主题

10 篇 software enginee...
5 篇 semantics
5 篇 software
5 篇 artificial intel...
4 篇 runtime
4 篇 monitoring
4 篇 unified modeling...
3 篇 computer science
3 篇 safety
3 篇 model checking
3 篇 java
3 篇 software testing
3 篇 encoding
3 篇 standards
2 篇 surveys
2 篇 tools
2 篇 adaptive systems
2 篇 object oriented ...
2 篇 application soft...
2 篇 modeling languag...

机构

15 篇 institute for so...
14 篇 institute of sof...
13 篇 institute for so...
7 篇 institute of sof...
5 篇 institute for so...
5 篇 ulm university i...
3 篇 institute of dis...
3 篇 graduate school ...
3 篇 ulm university i...
3 篇 institute for so...
3 篇 université paris...
3 篇 max planck insti...
2 篇 université paris...
2 篇 loria campus sci...
2 篇 department of me...
2 篇 university of st...
2 篇 department of co...
2 篇 institute of sof...
2 篇 western norway u...
2 篇 unitransferklini...

作者

26 篇 leucker martin
24 篇 tichy matthias
10 篇 raschke alexande...
8 篇 matthias tichy
7 篇 thoma daniel
7 篇 pietron jakob
7 篇 groner raffaela
6 篇 schmitz malte
5 篇 sachenbacher mar...
4 篇 scheffel torben
4 篇 höppner stefan
4 篇 wolfgang reif
4 篇 juhnke katharina
4 篇 neider daniel
4 篇 bollig benedikt
3 篇 ye lina
3 篇 vosteen lars b.
3 篇 frühwirth thom
3 篇 barbot benoît
3 篇 schaefer ina

语言

96 篇 英文
1 篇 其他

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

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

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

详细简洁

排序：

Formal specification of the semantics of control state diagrams 1

引用

6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018

作者： Leitz, Markus Raschke, Alexander Institute of Software Engineering and Programming Languages Ulm University Ulm Germany

ISBN: (数字)9783319912714

ISBN: (纸本)9783319912707

Control State Diagrams (CSD) are a graphical representation of Control State Abstract State Machines, a subclass of Abstract State Machines (ASM). We extend the existing semi-formal specification of this diagram type by a concrete syntax and its formal semantics. The semantics is given by a translation approach that transforms combinations of nodes into ASM snippets which are inserted into a textual ASM. This node-by-node translation is not only the basis for a code generation tool, but it also allows users to capture the behavior of a CSD more easily. © Springer International Publishing AG, part of Springer Nature 2018.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Efficient profile routing for electric vehicles

Efficient profile routing for electric vehicles

引用

1st International Conference on Internet of Vehicles, IOV 2014

作者： Schönfelder, René Leucker, Martin Walther, Sebastian Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9783319111667

This paper introduces a powerful, efficient and generic framework for optimal routing of electric vehicles in the setting of flexible edge cost functions and arbitrary initial states. More precisely, the introduced state-based routing problem is a consolidated model covering energy-efficiency and time-dependency. Given two vertices and an initial state the routing problem is to find optimal paths yielding minimal final states, while the profile routing problem is to find optimal paths for all initial states. A universal method for applying shortest path techniques to profile routing is developed. To show the genericity and efficiency of this approach it is instantiated for two typical shortest path algorithms, namely for A*and Contraction Hierarchies. Especially using the latter, a highly efficient solution for energy-efficient profile routing is obtained. © 2014 Springer International Publishing Switzerland.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

An operation-based versioning approach for synchronous and asynchronous collaboration in graphical modeling tools 9

An operation-based versioning approach for synchronous and a...

引用

STAF 2021 Workshop: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven engineering, International Workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta) Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling, STAF-WS 2021

作者： Pietron, Jakob Füg, Fabian Tichy, Matthias Institute of Software Engineering and Programming Languages Ulm University Ulm Germany

In the domain of Model-driven engineering (MDE), modeling of software and technical systems is often a collaborative and interactive activity performed by several people. However, existing tools do not offer sufficient collaboration features as reported by studies conducted with industrial practitioners. In this paper, we introduce a new operation-based approach enabling both synchronous and asynchronous collaboration in graphical modeling tools. The presented approach is capable of conflict detection, resolving, branching, and merging. Furthermore, we demonstrate how a seamless transition between both collaboration modes can be ensured. We define user performed edit operations, such as adding a new block or changing a property’s value, as first-class citizens. Edit operations do not have to be atomic and can result in multiple atomic operations which are finally applied to the local model. Both kinds of operations are persisted in a sequential history and they are also distributed to other connected clients through a central server, which ensures a global unified history across all clients. Due to the sequential history consisting of operations and the change information they contain, we can apply a conflict detection method that is able to narrow down conflicts to the minimal possible set of individual conflicting operations for manual resolution while automatically merging the remaining changes. © 2021 Copyright (c) 2021 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0)

关键词： Merging

来源：评论

学校读者我要写书评

暂无评论

Automatic change recommendation of models and meta models based on change histories 10

Automatic change recommendation of models and meta models ba...

引用

10th Workshop on Models and Evolution, ME 2016

作者： Kögel, Stefan Groner, Raffaela Tichy, Matthias Institute of Software Engineering and Programming Languages Ulm University UlmD-89069 Germany

Model-driven software engineering uses models and meta models as key artefacts in the software development process. Typically, changes in the models (or meta models) do not come in isolation but are part of more complex change sets where a single change depends on other changes, e.g., a component is added to an architectural model and thereafter ports and connectors connect this component to other components. Furthermore, these sets of related and depending changes are often recurring, e.g., always when a component is added to an architecture, it is highly likely that ports are added to that component, too. This is similar for changes in meta models. Our goal is to help engineers by (1) automatically identifying clusters of related changes on model histories and (2) recommending corresponding changes after the engineer performs a single change. In this position paper, we present an initial technique to achieve our goal. We evaluate our technique with models from the Eclipse GMF project and present our recommendations as well as the recommendation quality. Our evaluation found an average precision between 0:43 and 0:82 for our recommendations.

关键词： Recommender systems

来源：评论

学校读者我要写书评

暂无评论

TeSSLa: Temporal stream-based specification language 1

引用

21st Brazilian Symposium on Formal Methods, SBMF 2018

作者： Convent, Lukas Hungerecker, Sebastian Leucker, Martin Scheffel, Torben Schmitz, Malte Thoma, Daniel Institute for Software Engineering and Programming Languages University of Lübeck Lübeck Germany

ISBN: (数字)9783030030445

ISBN: (纸本)9783030030438

Runtime verification is concerned with monitoring program traces. In particular, stream runtime verification (SRV) takes the program trace as input streams and incrementally derives output streams. SRV can check logical properties and compute temporal metrics and statistics from the trace. We present TeSSLa, a temporal stream-based specification language for SRV. TeSSLa supports timestamped events natively and is hence suitable for streams that are both sparse and fine-grained, which often occur in practice. We prove results on TeSSLa’s expressiveness and compare different TeSSLa fragments to (timed) automata, thereby inheriting various decidability results. Finally, we present a monitor implementation and prove its correctness. © The Author(s) 2018.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

A formal approach to software product families

A formal approach to software product families

引用

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

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

ISBN: (纸本)9783642340253

software product line engineering deals with the combined development of a family of similar software systems. These systems provide a similar set of features and should therefore share a large number of common components. We study the user perspective of features and the engineering perspective of components and present a formal notion of features, component-based product families and their interaction. We then demonstrate using Milner's CCS how our formalism can be applied to extend an arbitrary modelling formalism with support for product lines. To verify that certain products indeed realize certain features, we propose μ-calculus model-checking for multi-valued Kripke-structures. The model checking result in that case no longer is a simple truth-value, but a set of products, conforming to a certain property. © 2012 Springer-Verlag.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Monitoring modulo theories

Monitoring modulo theories

引用

20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014 - Held as Part of the European Joint Conferences on Theory and Practice of software, ETAPS 2014

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

ISBN: (纸本)9783642548611

This paper considers a generic approach to enhance traditional runtime verification techniques towards first-order theories in order to reason about data. This allows especially for the verification of multi-threaded, object-oriented systems. It presents a general framework lifting the monitor synthesis for propositional temporal logics to a temporal logic over structures within some first-order theory. To evaluate such temporal properties, SMT solving and classical monitoring of propositional temporal properties is combined. The monitoring procedure was implemented for linear-time temporal logic (LTL) based on the Z3 SMT solver and evaluated regarding runtime performance. © 2014 Springer-Verlag.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

jUnitRV - Adding runtime verification to jUnit

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

来源：评论

学校读者我要写书评

暂无评论

Retro-: An event-sourced platform for serverless applications with retroactive computing support 12

Retro-: An event-sourced platform for serverless application...

引用

12th ACM International Conference on Distributed and Event-Based Systems, DEBS 2018

作者： Meißner, Dominik Erb, Benjamin Kargl, Frank Tichy, Matthias Institute of Distributed Systems Ulm University Germany Institute of Software Engineering and Programming Languages Ulm University Germany

ISBN: (纸本)9781450357821

State changes over time are inherent characteristics of stateful applications. So far, there are almost no attempts to make the past application history programmatically accessible or even modifiable. This is primarily due to the complexity of temporal changes and a difficult alignment with prevalent programming primitives and persistence strategies. Retroactive computing enables powerful capabilities though, including computations and predictions of alternate application timelines, post-hoc bug fixes, or retroactive state explorations. We propose an event-driven programming model that is oriented towards serverless computing and applies retroaction to the event sourcing paradigm. Our model is deliberately restrictive, but therefore keeps the complexity of retroactive operations in check. We introduce retro-, a runtime platform that implements the model and provides retroactive capabilites to its applications. While retro- only shows negligible performance overheads compared to similar solutions for running regular applications, it enables its users to execute retroactive computations on the application histories as part of its programming model. © 2018 Copyright held by the owner/author(s).

关键词： Event processing Event sourcing Event-driven architecture Retroaction Retroactive computing Serverless computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共10页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：