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

Guest editors' preface to special issue on interval temporal logics

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2014年第1-3期71卷 1-9页

作者： Moszkowski, Ben Guelev, Dimitar Leucker, Martin De Montfort Univ Software Technol Res Lab Leicester LE1 9BH Leics England Inst Math & Informat Dept Algebra & Log Sofia Bulgaria Med Univ Lubeck Inst Software Engn & Programming Languages D-23538 Lubeck Germany

来源：评论

学校读者我要写书评

暂无评论

Selected challenges of software evolution for automated production systems

Selected challenges of software evolution for automated prod...

引用

IEEE International Conference on Industrial Informatics (INDIN)

作者： B. Vogel-Heuser S. Feldmann J. Folmer J. Ladiges A. Fay S. Lity M. Tichy M. Kowal I. Schaefer C. Haubeck W. Lamersdorf T. Kehrer S. Getir M. Ulbrich V. Klebanov B. Beckert Institute of Automation and Information Systems Technische Universität München Germany Institute of Software Engineering and Automotive Informatics University of Braunschweig Germany Automation Technology Institute Helmut Schmidt University Germany Distributed Systems and Information Systems Universität Hamburg Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany Software Engineering Group University of Siegen Germany Software Engineering Division University of Gothenburg Chalmers Sweden Reliable Software Systems University of Stuttgart Germany Application-oriented Formal Verification Karlsruhe Institute of Technology Germany

Automated machines and plants are operated for some decades and undergo an everlasting evolution during this time. In this paper, we present three related open evolution challenges focusing on software evolution in the domain of automated production systems, i.e. evolution and co-evolution of (interdisciplinary) engineering models and code, quality assurance as well as variant and version management during evolution.

关键词： software Unified modeling language Automation Hardware Adaptation models Solid modeling Testing

来源：评论

学校读者我要写书评

暂无评论

Visual Language Plans - Formalization of a pedagogical learnflow modeling language

Visual Language Plans - Formalization of a pedagogical learn...

引用

International Workshop on Petri Nets and software Engineering, PNSE 2014

作者： Irgang, Kerstin Irgang, Thomas Human-Centered Information Systems Clausthal University of Technology Germany Department of Software Engineering and Theory of Programming Fernuniversität Hagen Germany

In this paper we present an approach to support selfregulated learn-flows in the collaborative environment Metafora. In this environment students construct Visual Language Plans. Those plans model workflows of learning activities, which the students execute to solve complex learning scenarios across different tools. Visual Language plans were already used in the context of different pedagogical studies but have no formal syntax or semantics, yet. In this paper, we present the syntax of Visual Language Plans and develop a mapping from Visual Language Plans to Petri net defining semantics. With the help of this semantics, the environment can support the students executing their learnflows. If students execute activities given in a Visual Language Plan which are not enabled in the corresponding Petri net, feedback messages occur guiding the students. Students can refine their Visual Language Plan during execution. If a plan changes the corresponding Petri net model also changes. Analyzing the newly generated Petri net model can help to uncover faulty states of the learnflow model.

关键词： Visual languages

来源：评论

学校读者我要写书评

暂无评论

Runtime Verification of Web Services for Interconnected Medical Devices 25

Runtime Verification of Web Services for Interconnected Medi...

引用

25th IEEE International Symposium on software Reliability Engineering (ISSRE)

作者： Decker, Normann Kuehn, Franziska Thoma, Daniel Univ Lubeck Inst Software Engn & Programming Lanugages Lubeck Germany Univ Lubeck Grad Sch Comp Med & Life Sci Inst Telemat Lubeck Germany

ISBN: (纸本)9781479960323

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.

关键词： Biomedical monitoring Monitoring Runtime Safety Semantics Service-oriented architecture Automata LTL Medical Devices Runtime Verification SMT Web Services Service-oriented architecture Runtime Medical device Web Service Biomedical monitoring Automata Surface mount technology Semantics Consumer safety safety Frameworks

来源：评论

学校读者我要写书评

暂无评论

***: Safe interconnection of medical devices 3

***: Safe interconnection of medical devices

引用

3rd International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2013

作者： Kühn, Franziska Leucker, Martin 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

ISBN: (纸本)9783642539558

This position paper gives an overview on *** project which focuses on the dynamic and safe interconnection of medical devices in an operating room. A brief overview of the legal situation for the approval of medical devices is given to highlight today’s limitations of the dynamic interconnection of safety critical devices in hospitals. A collection of methods equipped with a methodology is presented and discussed, which is intended to replace current integration tests at runtime. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

Measuring and modeling programming experience

引用

EMPIRICAL software ENGINEERING 2014年第5期19卷 1299-1334页

作者： Siegmund, Janet Kaestner, Christian Liebig, Joerg Apel, Sven Hanenberg, Stefan Univ Passau Software Productline Grp Sven Apel D-94032 Passau Germany Univ Passau Chair Programming D-94032 Passau Germany Univ Passau Chair Software Prod Lines D-94032 Passau Germany Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Duisburg Essen Inst Comp Sci & Business Informat Syst Essen Germany

programming experience is an important confounding parameter in controlled experiments regarding program comprehension. In literature, ways to measure or control programming experience vary. Often, researchers neglect it or do not specify how they controlled for it. We set out to find a well-defined understanding of programming experience and a way to measure it. From published comprehension experiments, we extracted questions that assess programming experience. In a controlled experiment, we compare the answers of computer-science students to these questions with their performance in solving program-comprehension tasks. We found that self estimation seems to be a reliable way to measure programming experience. Furthermore, we applied exploratory and confirmatory factor analyses to extract and evaluate a model of programming experience. With our analysis, we initiate a path toward validly and reliably measuring and describing programming experience to better understand and control its influence in program-comprehension experiments.

关键词： programming experience Questionnaire Controlled experiments

来源：评论

学校读者我要写书评

暂无评论

Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets 14

Automated Verification of Feature Model Configuration Proces...

引用

18th International software Product Line Conference (SPLC)

作者： Mennicke, Stephan Lochau, Malte Schroeter, Julia Winkelmann, Tim TU Braunschweig Inst Programming & React Syst Braunschweig Germany Tech Univ Darmstadt Real Time Syst Lab Darmstadt Germany Tech Univ Dresden Inst Software & Multimedia Technol Dresden Germany TU Braunschweig Inst Software Engn & Automat Informat Braunschweig Germany

ISBN: (纸本)9781450327404

Modern software systems are highly configurable in order to satisfy diverse customer requirements and application contexts. Feature models provide a well-established formalism for tailoring configuration spaces of applications. Thereupon, multi-view staged configuration approaches modularize feature models for separation of concerns and apply work-flow modeling for scheduling configuration decisions. However, the complex, often oblivious and even cyclic logical dependencies among configuration decisions obstruct compositional semantics of feature model views thus spoiling intuitive modeling and rigorous analysis of staged configuration processes. In this paper, we apply workflow Petri nets (WPNs) as a formal operational model for staged configuration that makes explicit causal dependencies among feature selections. For the internal separation into composable configuration stages we further adopt the principles of open workflow nets. It is shown that the soundness notion of WPNs naturally coincides with fundamental correctness and liveness properties to be verified for staged configuration processes. We present a prototype implementation for an automated computation of staged configuration processes and provide experimental results concerning scalability properties.

关键词： workflows analysis and synthesis of Petri nets configuration management domain feature model staged configuration

来源：评论

学校读者我要写书评

暂无评论

Three-valued asynchronous distributed runtime verification 14

Three-valued asynchronous distributed runtime verification

引用

12th ACM/IEEE International Conference on Methods and Models for System Design, MEMOCODE 2014

作者： Scheffel, Torben Schmitz, Malte 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

ISBN: (纸本)9781479953387

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 (LTL3) 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 LTL3 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. © 2014 IEEE.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

*** - 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

来源：评论

学校读者我要写书评

暂无评论

Educational software: Case Studies and Development Methods

引用

IEEE REVISTA IBEROAMERICANA DE TECNOLOGIAS DEL APRENDIZAJE-IEEE RITA 2014年第2期9卷 41-42页

作者： Garcia-Penalvo, Francisco-Jose Sarasa-Cabezuelo, Antonio Sierra-Rodriguez, Jose-Luis Univ Salamanca Dept Comp Sci & Automat E-37008 Salamanca Spain Univ Complutense Madrid Dept Comp Syst & Programming E-28040 Madrid Spain Univ Complutense Madrid Dept Software Engn & Artificial Intelligence E-28040 Madrid Spain

The goal of this invited editorial is to introduce an IEEE-RITA special issue on case studies and development methods of educational software. The special issue integrates thoroughly revised and extended versions of four outstanding papers presented at the 14th International Symposium on Computers in Education (SIIE'12), held in Andorra in October 2012, as well as at the third workshop on software engineering for e-learning (ISELEAR'12), which was collocated as a satellite event of SIIE'12. The special issue also includes one position paper concerning different perspectives of software development for e-learning, which mirrors the discussions on the topic maintained during ISELAR'12.

关键词： Computers and education educational system software engineering e-learning engineering educational technology

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：