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

Applying Incremental Model Slicing to Product-Line Regression Testing 15th

15th International Conference on software Reuse (ICSR)

作者： Lity, Sascha Morbach, Thomas Thuem, Thomas Schaefer, Ina TU Braunschweig Inst Programming & React Syst Braunschweig Germany TU Braunschweig Inst Software Engn & Automot Informat Braunschweig Germany

ISBN: (纸本)9783319351223;9783319351216

One crucial activity in software product line (SPL) testing is the detection of erroneous artifact interactions when combined for a variant. This detection is similar to the retest test-case selection problem in regression testing, where change impact analysis is applied to reason about changed dependencies to be retested. In this paper, we propose automated change impact analysis based on incremental model slicing for incremental SPL testing. Incremental slicing allows for a slice computation by adapting a previous slice with explicit derivation of their differences by taking model changes into account. We apply incremental slicing to determine the impact of applied model changes and to reason about their potential retest. Based on our novel retest coverage criterion, each slice change specifies a retest test goal to be covered by existing test cases selected for retesting. We prototypically implemented our approach and evaluated its applicability and effectiveness by means of four SPLs.

关键词： software product line Model-based testing Regression testing Model slicing

来源：评论

学校读者我要写书评

暂无评论

A Fully Model-Based Approach to software Development for Industrial Centrifuges

A Fully Model-Based Approach to Software Development for Ind...

引用

7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

作者： Wortmann, Nils Michel, Malte Naujokat, Stefan GEA Grp AG Software Design Oelde Germany TU Dortmund Univ Dortmund Germany TU Dortmund Univ Chair Programming Syst Dortmund Germany

ISBN: (纸本)9783319471693;9783319471686

We present a model-based approach to software development for industrial process automation, overall aiming at decreased development efforts, increased quality, and reduced time to market. Key to this approach is the high-level specification of all required aspects using dedicated domain-specific modeling languages. This abstraction provides both a standardized framework supporting the communication between experts on industrial processes and PLC software developers, as well as the reduction of implementation overhead through full code generation. As a proof of concept, processes for industrial centrifuges are considered. We present the standardized models and tools used to fully generate code for Beckhoff Twin CAT 3. The presented work is the result of a cooperation project at TU Dortmund with the GEA Group AG involving 12 students.

关键词： Industrial automation Model-based development Domain-specific languages Full code generation

来源：评论

学校读者我要写书评

暂无评论

A Portable Augmented-Reality Anatomy Learning System Using a Depth Camera in Real Time

引用

AMERICAN BIOLOGY TEACHER 2017年第3期79卷 176-183页

作者： Manrique-Juan, Cristina Grostieta-Dominguez, Zaira V. E. Rojas-Ruiz, Ricardo Alencastre-Miranda, Moises Munoz-Gomez, Lourdes Silva-Munoz, Cecilia Ctr Res & Dev Virtual Real Robot & Videogames CER Mexico City DF Mexico Univ Tecnol Monterrey Res & Video Game Programming Monterrey Mexico Univ Tecnol Monterrey Multiple Res Projects Monterrey Mexico Mexican Natl Board Sci & Technol CONACYT Mexico City DF Mexico CEREVROVI Mexico City DF Mexico Univ Tecnol Monterrey Monterrey Mexico Univ Tecnol Monterrey Barlovento Consultores & Collaborates Dev Educ Software Monterrey Mexico Univ Tecnol Monterrey Campus Santa Fe Mexico City DF Mexico Univ Tecnol Monterrey Campus Santa Fe Elect & Informat Technol Deparent Mexico City DF Mexico CEREVROVI Mexico City DF Mexico Univ Tecnol Monterrey Developing Software Educ Purposes Monterrey Mexico

In this paper, we present an augmented reality learning system that uses the input of a depth camera to interactively teach anatomy to high school students. The objective is to exemplify human anatomy by displaying 3D models over the body of a person in real time, using the Microsoft Kinect depth camera. The users can see how bones, muscles, or organs are distributed in their bodies without the use of targets for tracking.

关键词： augmented reality interactive learning innovative education depth camera anatomy

来源：评论

学校读者我要写书评

暂无评论

Dynamic Remote Control through Service Orchestration of Point-of-Care and Surgical Devices based on IEEE 11073 SDC

Dynamic Remote Control through Service Orchestration of Poin...

引用

NIH-IEEE Strategic Conference on Healthcare Innovations and Point-of-Care (POC) Technologies

作者： Kasparick, Martin Schmitz, Matte Golatowski, Frank Timmermann, Dirk Univ Rostock Inst Appl Microelect & Comp Engn D-18119 Rostock Germany Univ Lubeck Inst Software Engn & Programming Languages D-23562 Lubeck Germany

ISBN: (纸本)9781509011667

Nowadays, the staff of modern operation rooms (ORs) and intensive care units (ICUs) has to handle increasingly complex medical devices and their user interfaces. Inconsistent and often non-sterile user interfaces lead to error-prone and slow reconfiguring actions which in the end may even harm the patient. To overcome these issues interconnected medical devices are necessary. We introduce a new concept for flexible and easy-to-use remote controls which allow to control a range of different devices from different manufacturers. Current solutions are vendor-, and mostly even device-specific and tightly coupled. The effort for manufacturers is high and the maintainability is bad. Thus, controls that can be assigned dynamically to different medical devices are rare or mostly not available. Yet such dynamic controls are badly needed to improve clinical workflows especially in ORs and ICUs. We establish such a remote control setup using the service-oriented architecture defined in the IEEE 11073 SDC standards family. The presented concept is based on dynamic service orchestration to overcome existing problems: The control device and the controlled medical device are published as independent services in the network and an additional composed service interconnects them. We successfully implemented this concept for dynamically assignable controls in a real-world demonstrator with several medical devices from more than five different manufacturers. Performance evaluations show its practicability.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

ADELE: A Middleware for Supporting the Evolution of Multi-agents Systems Based on a Metaprogramming Approach 14th

ADELE: A Middleware for Supporting the Evolution of Multi-ag...

引用

14th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS)

作者： Pico-Valencia, Pablo Holgado-Terriza, Juan A. Catholic Univ Ecuador Esmeraldas Programming & Dev Software Dept C Espejo & Santa Cruz Esmeraldas 080150 Ecuador Univ Granada Software Engn Dept C Periodista Daniel Saucedo Aranda S-N Granada 18071 Spain

ISBN: (纸本)9783319401591;9783319401584

This paper presents a middleware based on an agent model for supporting reactive agents that can change their behavior in order to evolve with time based on the accomplish of active norm defined into a dynamic normative model. This middleware named Agent Dynamic EvoLutionary at runtimE (ADELE) was developed on a Java platform using the JADE framework. ADELE middleware allows developing dynamic multi-agent systems applicable to ubiquitous applications where environments are highly dynamic. Our approach includes metaprogramming mechanisms which enable agents to be able to evolve through a behavior injection (on the fly) at runtime, instead of killing agents which probably can be implicated in other processes and cannot be interrupted to prevent problems to the entire system.

关键词： Multi-agent Behavior injection JADE Evolution Metaprogramming

来源：评论

学校读者我要写书评

暂无评论

Preface

引用

CEUR Workshop Proceedings 2019年 2514卷 1-2页

作者： Avetisyan, Arutyun Ivar, Jacobson Pozin, Boris A. Petrenko, Alexander K. Pozin, Boris A. Petrenko, Alexander K. Cavalli, Ana Rosa Petrenko, Alexander K. Avetisyan, Arutyun Arlazarov, Vladimir Avdoshin, Sergey Batovrin, Victor K. Bershadsky, Alexander M. Boichenko, Alexander Juris, Borzovs Vasenin, Valery A. Schlingloff, Holger Kalyanov, Georgy Kantorovich, Georgy G. Korolev, Anton Kosolapov, Mikhail S. Kostogryzov, Andrey I. Koznov, Dmitry V. Kuznetsov, Sergey Prokhorov, Sergei Soyfer, Victor A. Starykh, Vladimir A. Stolyarov, Gennady K. Stupnikov, Sergey A. Telnov, Yury Ph. Shmid, Alexander Mira, Kajko-Mattssen Miroslawa Wentzl, Wilfried Mayer, Walter H. Yevtushenko, Nina Zakharov, Victor Zmeev, Oleg Cavalli, Ana Rosa Petrenko, Alexander K. Pozin, Boris A. RAS ISP Russia Ivar Jacobson International Switzerland NRU HSE «-leasing» Co Russia NRU HSE ISP RAS Russia Information and Analytical Systems «-leasing» Co Russia Department of Network Software TELECOM and Management SudParis France NRU HSE Russia Software Engineering of Ivannikov Institute for System Programming RAS Russia RAS System Analysis Institute of Federal Research Centre Informatics and Management Russia Russia Penza State University Russia Federal State Educational Centre of Higher Learning «Plekhanov Russian University of Economics» Russia CISA Academy of Sciences of Latvia State University of Latvia Latvia MSU Institut für Offene Kommunikationssysteme FOKUS Germany Verifikation und Testtheorie an der Humboldt-Universität zu Berlin Germany Institute of Control Sciences RAS Russia Institute of Sociology RAS NRU HSE Russia ISO IEEC Institute of Informatics Problems Federal Research Centre IM RAS Russia St. Petersburg State University Russia Institute for System Programming RAS Moscow State University Russia SRI Korolev Samara State Aerospace University Russia Belarus FRC IM RAS Russia FSEC «Plekhanov Russian University of Economics» Russia KTH School of Information and Communication Technology Sweden Governmental Agricultural Analyst Austria Austria Ivannikov Institute for System Programming RAS Russia Institute of Informatics Problems Federal Research Centre IM RAS Russia Tomsk State University Russia

来源：评论

学校读者我要写书评

暂无评论

Semantic Agent Contracts for Internet of Agents

Semantic Agent Contracts for Internet of Agents

引用

Web Intelligence and Intelligent Agent Technology Workshops (WI-IAT)

作者： Pablo Pico-Valencia Juan A. Holgado-Terriza Programming and Development of Software Department Pontificia Univ Católica del Ecuador Esmeraldas Software Engineering Department Universidad de Granada

ISBN: (纸本)9781509047727

The Internet of Things (IoT) is a current approach which aims to act on pervasive environments for connecting smart objects. These objects are capable to sense their own environment, interacting and cooperating with other devices. However, the IoT also requires to perform coordination actions that devices cannot carry out with the embedded electronic. In order to create smarter collaborative systems, the Internet of Agents (IoA) approach arises as an alternative for providing information and services to other objects, systems and people, and to initialize actions if necessary. In this paper, a semantic model of public agent contracts based on OWL ontologies enriched with Open Linked Data has been proposed as a fundamental way to describe standard collaborative units that can interact in a social context. The overarching ontology we have named IoA-OWL takes into account functional and non-functional aspects organized in six profiles such as agent, context, model, service, social, and object.

关键词： Open linked data Internet of agents Internet of things Ontology Contract

来源：评论

学校读者我要写书评

暂无评论

A secure and easy-to-implement web-based communication framework for caregiving robot teams 5

A secure and easy-to-implement web-based communication frame...

引用

5th International Conference on Materials and Applications for Sensors and Transducers (IC-MAST)

作者： Tuna, G. Das, R. Tuna, A. Orenbas, H. Baykara, M. Gulez, K. Trakya Univ Dept Comp Programming Edirne Turkey Firat Univ Dept Software Engn TR-23169 Elazig Turkey Trakya Univ Sch Foreign Languages Edirne Turkey Yildiz Tech Univ Dept Control & Automat Engn Istanbul Turkey

In recent years, robots have started to become more commonplace in our lives, from factory floors to museums, festivals and shows. They have started to change how we work and play. With an increase in the population of the elderly, they have also been started to be used for caregiving services, and hence many countries have been investing in the robot development. The advancements in robotics and wireless communications has led to the emergence of autonomous caregiving robot teams which cooperate to accomplish a set of tasks assigned by human operators. Although wireless communications and devices are flexible and convenient, they are vulnerable to many risks compared to traditional wired networks. Since robots with wireless communication capability transmit all data types, including sensory, coordination, and control, through radio frequencies, they are open to intruders and attackers unless protected and their openness may lead to many security issues such as data theft, passive listening, and service interruption. In this paper, a secure web-based communication framework is proposed to address potential security threats due to wireless communication in robot-robot and human-robot interaction. The proposed framework is simple and practical, and can be used by caregiving robot teams in the exchange of sensory data as well as coordination and control data.

关键词： Human robot interaction

来源：评论

学校读者我要写书评

暂无评论

Trends in Computers in Education

引用

IEEE REVISTA IBEROAMERICANA DE TECNOLOGIAS DEL APRENDIZAJE-IEEE RITA 2016年第3期11卷 177-178页

作者： Luis Sierra-Rodriguez, Jose Sarasa-Cabezuelo, Antonio Angel Velazquez-Iturbide, J. Univ Complutense Madrid Dept Software Engn & Artificial Intelligence E-28040 Madrid Spain Univ Complutense Madrid Dept Comp Syst & Programming E-28040 Madrid Spain Rey Juan Carlos Univ Dept Comp Sci & Stat Higher Tech Sch Comp Engn Mostoles 28933 Spain

The goal of this invited editorial is to introduce an IEEE-RITA special issue on trends in computers in education. The special issue integrates the thoroughly revised and extended versions of five outstanding papers presented at the 16th International Symposium on Computers in Education (SIIE'14), held in La Rioja in November 2014.

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

来源：评论

学校读者我要写书评

暂无评论

Special issue dedicated to ICFP 2014 Editorial

引用

JOURNAL OF FUNCTIONAL programming 2016年 26卷 e20-e20页

作者： Dreyer, Derek Sheeran, Mary Max Planck Inst Software Syst MPI SWS Fdn Programming Grp Kaiserslautern Germany Chalmers Funct Programming Grp Comp Sci & Engn Dept Gothenburg Sweden

The 19th ACM SIGPLAN International Conference on Functional programming (ICFP) took place on September 1–3, 2014 in Gothenburg, Sweden. After the conference, the programme committee, chaired by Manuel Chakravarty, selected several outstanding papers and invited their authors to submit to this special issue of JFP. We acted as editors for these submissions. This issue includes the six accepted papers, each of which provides substantial new material beyond the original conference version. The selected papers demonstrate both the quality and the breadth of the conference, with a strong emphasis on types and their applications, and ranging from compilation methods through contract verification to homotopy type theory.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：