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

Science and Information Conference

作者： Ekaterina Lavrishcheva Software Engineering Department Institute for System Programming of the RAS Prof. MIPT Moscow Russia

ISBN: (纸本)9781479985487

Approach is offered to the formal specification of Standard Life Cycle (LC) of the program systems (PS) by the ontology facilities with purpose automation and generation of the variants LC for making the appropriate kinds process for development different PS. Ontological approach to presentation LC model of the standard ISO/IEC 12207-2007 is included the specification of general, organizational and support processes. These processes are presented in the subject-oriented DSL, which than transformed to XML for realization. One of the processes, the testing process is given in terms of Protégé systems. An eventual result of this system Protégé got generally at accepted to the XML, suitable for implementation tasks testing PS on computer.

关键词： ontology the life cycle standard model of life cycle processes actions task testing DSL description Protégé XML

来源：评论

学校读者我要写书评

暂无评论

Device- And service profiles for integrated or systems based on open standards

Device- And service profiles for integrated or systems based...

引用

作者： Mildner, Alexander Janß, Armin Dell'Anna-Pudlik, Jasmin Merz, Paul Leucker, Martin Radermacher, Klaus UniTransferKlinik Lübeck Maria-Goeppert-Straße 1 Lübeck23562 Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany Department of Medical Engineering Helmholtz-Institute for Biomedical Engineering RWTH Aachen University Germany

Integrated OR systems nowadays are closed and proprietary, so that the interconnection of components from third-party vendors is only possible with high time and cost effort. An integrated operating theatre with open interfaces, giving clinical operators the opportunity to choose individual medical devices from different manufacturers, is currently being developed in the framework of the BMBF (Federal Ministry of Education and Research) funded project *** [1]. Actual standards and concepts regarding technical feasibility and accreditation process do not cope with the requirements for modular integration based on an open standard. Therefore, strategies as well as service and device profiles to enable a procedure for risk management and certifiability are in the focus of the project work. Amongst others, a concept for User Interface Profiles (UI-Profiles) has been conceived in order to describe medical device functions and the entire user interface regarding Human-Machine-Interaction (HMI) characteristics with the aim to identify human-induced risks of central user interfaces. The use of standardized device and service profiles shall allow the manufacturers to integrate their medical devices in the *** network, without disclosing the medical devices' risk analysis and related confidential knowledge or proprietary information. © 2015 by Walter de Gruyter GmbH, Berlin/Boston 2015.

关键词： Usability engineering

来源：评论

学校读者我要写书评

暂无评论

Tasklets: Client-side evaluation for iTask3

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2015年 8606卷 428-445页

作者： Domoszlai, László Plasmeijer, Rinus Department of Programming Languages and Compilers Eötvös Loránd University Budapest Hungary Software Technology Department Radboud University Nijmegen Netherlands

iTask3 is the most recent incarnation of the iTask framework for the construction of distributed systems where users work together on the internet. It offers a domain specific language for defining applications, embedded into the lazy functional language Clean. From the mere declarative specification a complete multi-user web application is generated. Although the generated nature of the user interface (UI) entails a number of benefits for the programmer, it suffers from the lack of possibility to create custom UI building blocks. In this paper, we present an extension to the iTask3 framework which introduces the concept of tasklets for the development of custom, interactive web components in a single language manner. We further show that the presented tasklet architecture can be generalized in such a way that arbitrary parts of an iTask application can be executed on the client. © Springer International Publishing Switzerland 2015.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

Common network attack types and defense mechanisms

Common network attack types and defense mechanisms

引用

IEEE Signal Processing and Communications Applications (SIU)

作者： Resul Daş Abubakar Karabade Gurkan Tuna Department of Software Engineering Firat Univ. Elazığ Turkey Department of Computer Programming Trakya University Edirne Turkey

For every organization having a well secured network is the primary requirement to reach their goals. A network is said to be secure if it can protect itself from sophisticated attacks. Due to the rapid increase in the number of network users, security becomes the main challenge in the area of network field. Most security related threats target the layers of the OSI reference model. Sophisticated attack types such as Distributed Denial of Service (DDoS), Man-in-the-Middle and IP spoofing attacks are used to attack these layers. In this paper, we analyze most of the attack types that cause serious problems in computer networks and defense techniques to stop or prevent these attacks.

关键词： Computer crime IP networks Servers Switches Ports (Computers)

来源：评论

学校读者我要写书评

暂无评论

Reasoning (on) service component ensembles in rewriting logic

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8373卷 188-211页

作者： Belzner, Lenz De Nicola, Rocco Vandin, Andrea Wirsing, Martin Programming and Software Engineering LMU Munich Germany IMT Institute for Advanced Studies Lucca Italy

programming autonomic systems with massive number of heterogeneous components poses a number of challenges to language designers and software engineers and requires the integration of computational tools and reasoning tools. We present a general methodology to enrich SCEL, a recently introduced language for programming systems with massive numbers of components, with reasoning capabilities that are guaranteed by external reasoners. We show how the methodology can be instantiated by considering the Maude implementation of SCEL and a specific reasoner, Pirlo, implemented in Maude as well. Moreover we show how the actual integration can benefit from the existing analytical tools of the Maude framework. In particular, we demonstrate our approach by considering a simple scenario consisting of a group of robots moving in an arena aiming at minimising the number of collisions. © 2014 Springer-Verlag Berlin Heidelberg.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Towards incremental model slicing for delta-oriented software product lines

Towards incremental model slicing for delta-oriented softwar...

引用

IEEE International Conference on software Analysis, Evolution and Reengineering (SANER)

作者： Sascha Lity Hauke Baller Ina Schaefer TU Braunschweig Institute for Programming and Reactive Systems Braunschweig Germany TU Braunschweig Institute of Software Engineering and Automotive Informatics Braunschweig Germany

The analysis of nowadays software systems for supporting, e.g., testing, verification or debugging is becoming more challenging due to their increasing complexity. Model slicing is a promising analysis technique to tackle this issue by abstracting from those parts not influencing the current point of interest. In the context of software product lines, applying model slicing separately for each variant is in general infeasible. Delta modeling allows exploiting the explicit specification of commonality and variability within deltas and enables the reuse of artifacts and already obtained results to reduce the modeling and analysis efforts. In this paper, we propose a novel approach for incremental model slicing for delta-oriented software product lines. Based on the specification of model changes between variants by means of model regression deltas, an incremental adaptation of variant-specific dependency graphs as well as an incremental slice computation is achieved. The slice computation further allows for the derivation of differences between slices for the same point of interest enhancing, e.g., change impact analysis. We provide details of our incremental approach, discuss benefits and present future work.

关键词： Computational modeling Adaptation models Unified modeling language Testing Analytical models software systems

来源：评论

学校读者我要写书评

暂无评论

Selected Challenges of software Evolution for Automated Production Systems 13

Selected Challenges of Software Evolution for Automated Prod...

引用

13th IEEE International Conference on Industrial Informatics (INDIN)

作者： Vogel-Heuser, B. Feldmann, S. Folmer, J. Ladiges, J. Fay, A. Lity, S. Tichy, M. Kowal, M. Schaefer, I. Haubeck, C. Lamersdorf, W. Kehrer, T. Getir, S. Ulbrich, M. Klebanov, V. Beckert, B. Tech Univ Munich Inst Automat & Informat Syst D-80290 Munich Germany Tech Univ Carolo Wilhelmina Braunschweig Inst Software Engn & Automot Informat Braunschweig Germany Helmut Schmidt Univ Automat Technol Inst Hamburg Germany Univ Hamburg Distributed Syst & Informat Syst Hamburg Germany Tech Univ Carolo Wilhelmina Braunschweig Inst Programming & React Syst Braunschweig Germany Univ Siegen Software Engn Grp D-57068 Siegen Germany Chalmers Software Engn Div Gothenburg Sweden Univ Gothenburg Gothenburg Sweden Univ Stuttgart Reliable Software Syst Stuttgart Germany Karlsruhe Inst Technol Applicat Oriented Formal Verificat D-76021 Karlsruhe Germany

ISBN: (纸本)9781479966493

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.

关键词： automated production systems evolution variability production automation software engineerring

来源：评论

学校读者我要写书评

暂无评论

Supporting Commissioning of Production Plants by Model-Based Testing and Model Learning 24

Supporting Commissioning of Production Plants by Model-Based...

引用

24th IEEE International Symposium on Industrial Electronics (ISIE)

作者： Ladiges, Jan Fay, Alexander Haubeck, Christopher Lamersdorf, Winfried Lity, Sascha Schaefer, Ina Helmut Schmidt Univ Automat Technol Inst Hamburg Germany Univ Hamburg Distributed Syst & Informat Syst Hamburg Germany Tech Univ Carolo Wilhelmina Braunschweig Inst Programming & React Syst D-38106 Braunschweig Germany Tech Univ Carolo Wilhelmina Braunschweig Inst Software Engn & Automot Informat D-38106 Braunschweig Germany

ISBN: (纸本)9781467375542

During the commissioning phase of production systems the identification and correction of malfunctions is a tedious task mainly done manually by commissioning engineers. This task is of high importance because missed malfunctions may result in hazardous behavior during operation phase. At this point, regardless of the engineers expertise a systematic support can drastically decrease the risk of missed malfunctions. A promising systematic approach is to use engineering artifacts of the system design phase as an information source to identify unexpected behavior regarding the specification. This paper proposes such a systematic approach based on model-based testing resulting in automatic test case generation and execution which allows to support engineers with learned models representing the expected transient system behavior. Subsequently, the obtained models are used for detection of unexpected behavior during commissioning. The unexpected behavior is presented to a commissioning engineer who decides if the behavior (1) is correct and will be added to the models or (2) represents an identified system malfunction. The approach is evaluated on a demonstration plant.

关键词： COMMISSIONING malfunctions Engineers Demonstration plants Information source design phases commissioning phase operation phase scan-based testing system behavior Production systems

来源：评论

学校读者我要写书评

暂无评论

Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks

Automated Multi-Language Artifact Binding and Rename Refacto...

引用

28th European Conference on Object-Oriented programming (ECOOP)

作者： Mayer, Philip Schroeder, Andreas Univ Munich Programming & Software Engn Grp D-81377 Munich Germany

ISBN: (纸本)9783662442029;9783662442012

Developing non-trivial software applications involves using multiple programming languages. Although each language is used to describe a particular aspect of the system, artifacts defined inside those languages reference each other across language boundaries;such references are often only resolved at runtime. However, it is important for developers to be aware of these references during development time for programming understanding, bug prevention, and refactoring. In this work, we report on a) an approach and tool for automatically identifying multi-language relevant artifacts, finding references between artifacts in different languages, and (rename-) refactoring them, and b) on an experimental evaluation of the approach on seven open-source case studies which use a total of six languages found in three frameworks. As our main result, we provide insights into the incidence of multi-language bindings in the case studies as well as the feasibility of automated multi-language rename refactorings.

关键词： multi language software polyglot programming Java domain-specific languages program comprehension refactoring experiment

来源：评论

学校读者我要写书评

暂无评论

Challenges for the Dynamic Interconnection of Medical Devices 6

Challenges for the Dynamic Interconnection of Medical Device...

引用

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

作者： Leucker, Martin Med Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany

ISBN: (纸本)9783662452318;9783662452301

Medical devices, especially when operated in the surgery room, are safety critical systems, as the patient's life may depend on them. As such, there are high legal requirements to meet by the manufacturers of such devices. One of the typical requirements is that whenever medical devices are interconnected, the whole setup has to be approved by the corresponding legal body. For economical reasons, however, it is desirable to interconnect devices from different manufacturers in an individual fashion for each surgery room. Then however no integration test has been carried out a priori and thus the whole setup could not have been approved. In other words such economical demands impose challenges both on the technical as well as the legal situation. In this contribution, we report on these challenges as well as on first ideas to address them.

关键词： Surgery

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：