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

Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)

作者： Johannes Neubauer Bernhard Steffen Oliver Bauer Stephan Windmüller Maik Merten Tiziana Margaria Falk Howar Chair for Programming Systems Technical University Dortmund Dortmund Germany Chair for Service and Software Engineering University of Potsdam Germany

We present a case study that illustrates the power of active learning for enabling the automated quality assurance of complex and distributed evolving systems. We illustrate how the development of the OCS, Springer Verlag's Online Conference System, is supported by continuous learning-based testing, that by its nature maintains the synchrony of the running application and the learned (test) model. The evolution of the test model clearly indicates which portions of the system remain stable and which are altered. Thus our approach includes classical regression testing and feature interaction detection. We show concretely how model checking, automata learning, and quantitative analysis concur with the holistic quality assurance of this product.

关键词： Testing Learning automata Monitoring Adaptation models Quality assurance Machine learning

来源：评论

学校读者我要写书评

暂无评论

LTL Guided Planning: Revisiting Automatic Tool Composition in ETI

LTL Guided Planning: Revisiting Automatic Tool Composition i...

引用

Annual IEEE/ NASA Goddard Workshop on Software Engineering

作者： Tiziana Margaria Bernhard Steffen Chair of Service and Software Engineering University of Potsdam Potsdam Germany Chair of Programming Systems University of Dortmund Dortmund Germany

We revisit the automatic tool composition feature of the electronic tool integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temporal logic-based synthesis of tool sequences is a form of planning-based automated orchestration. In contrast to Al-based planning approaches, our synthesis approach is not restricted to compute one solution, but it may compute all (shortest/minimal) solutions, with the intent to provide maximum insight into the potential design space.

关键词： Terminology Specification languages Software engineering Automatic programming Prototypes Animation Ontologies Taxonomy Hypertext systems Search engines

来源：评论

学校读者我要写书评

暂无评论

A Web-Based Runtime-Reconfigurable Role Management Service

A Web-Based Runtime-Reconfigurable Role Management Service

引用

International Workshop on Automated Specification and Verification of Web systems, WWV

作者： Martin Karusseit Tiziana Margaria Chair of Programming Systems Universität Dortmund Germany Chair of Service and Software Engineering Universität Postdam Germany

Today Web-based applications are very complex and provide several hundred users with access to sensible data. Adequate access control mechanisms that prevent unauthorized access and gives policy-compliant access to users depending on their status are thus central. The online conference service (OCS) is a system of services which collectively provide all necessary workflows and functionalities an online decision support service needs. Here we describe its flexible role-based access control mechanism and introduce the embedded role management service, which is extensible, modifiable and reconfigurable online, during the service operations. We also discuss a first version of the personalized role management service as used in the OJS, the journal member of the product line initiated by the OCS

关键词： Conference management Access control Logic design Collaboration Switches Engineering management Software engineering Application software Computer science Control system synthesis

来源：评论

学校读者我要写书评

暂无评论

MaTRICS: a management tool for the remote intelligent configuration of (pervasive) systems

MaTRICS: a management tool for the remote intelligent config...

引用

IEEE/ACS International Conference on Pervasive Services (ICPS)

作者： M. Bajohr T. Margaria Chair of Programming Systems University of Dortmund Germany Service Engineering for Distributed Systems Universität Gottingen Germany

With MaTRICS, we describe an architecture for pervasive management of distributed systems. It allows remotely connected users (e.g., system administrators) to modify the configuration of any service provided by a specific (application) server, like email-, news- or Web-servers. Novel to our approach is that the system can manage configuration processes on heterogeneous software- and hardware- platforms, which are performed from a variety of peripherals unmatched in today's practice. In this sense, we realize a sort of pervasive system management, where devices like mobile phones, faxes, PDAs are enabled to be used by system managers as remote system configuration and management tools.

关键词： Remote monitoring Application software Personal digital assistants Mobile handsets Spine Computer architecture Condition monitoring Distributed computing Pervasive computing Ubiquitous computing

来源：评论

学校读者我要写书评

暂无评论

Model-based design of distributed collaborative bioinformatics processes in the jABC

Model-based design of distributed collaborative bioinformati...

引用

IEEE International Conference on Engineering of Complex Computer systems

作者： T. Margaria C. Kubczak M. Njoku B. Steffen Chair Servce and Software Engineering University of Potsdam Potsdam Germany Chair of Programming Systems University of Dortmund Dortmund Germany Chair of Service Engineering for Distributed Systems University of Göttingen Gottingen Germany

Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC for model driven mediation and choreography to complement a Web service-based elementary service provision. jABC is a framework for service development based on lightweight process coordination. Users (product developers and system/software designers) develop services and applications by composing reusable building-blocks into (flow-)graph structures that can be animated, analyzed, simulated, verified, executed, and compiled. This way of handling the collaborative design of complex processes has proven to be effective and adequate for the cooperation of non-programmers (in this case biologists) and technical people, and it is now being rolled out in the operative practice

关键词： Collaboration Bioinformatics Collaborative work Application software Mediation Software reusability Software systems Software design Animation Biological system modeling

来源：评论

学校读者我要写书评

暂无评论

Dialog-Based Meaning Derivation Service for Technical Language Domains

Dialog-Based Meaning Derivation Service for Technical Langua...

引用

International Conference on Semantic Computing

作者： Alexander Wachtel Sophie Schulz Walter F. Tichy Chair for Programming Systems Prof Walter F. Tichy Karlsruhe Institute of Technology Karlsruhe Germany

In our previous work, we present on how new algorithms can be recognized and learned from human descriptions. In this case, end users are able to extend the given system by their own functionality. During the evaluation, due to language limits on the system, it could interpret only 59 % of user input correctly. In this paper, we provide an approach on the Dialog-based Meaning Derivation Service (DMDS). In case, user input does not match to the system knowledge, DMDS serves various word networks to find relevant synonyms as candidates for the unknown word. DMDS then tries to verify these candidates to the given knowledge base. Finally, matched candidates are presented to the end user by the dialog system for confirmation of a contextual match. The meaning is learned after the user confirmation and is mapped to the given functionality, and can be used afterwards. Therefore, the model developed in this work can be categorized as supervised learning. Finally, both the performance and the quality recorded by input from a user study were examined. However, DMDS improves the correct interpretation of the system from 59 % to 82 %. Our focus is to improve the interaction between humans and machines and enable the end user to instruct programmable devices, without having to learn a programming language.

关键词： Semantics Vocabulary Knowledge based systems Natural languages Computer languages programming profession

来源：评论

学校读者我要写书评

暂无评论

Initial Implementation of Natural Language Turn-Based Dialog System

引用

Procedia Computer Science 2016年 84卷 49-56页

作者： Alexander Wachtel Sebastian Weigelt Walter F. Tichy Karlsruhe Institute of Technology Chair for Programming Systems Prof. Walter F. Tichy Am Fasanengarten 5 76131 Karlsruhe Germany

Our prototype implements a natural language dialog system for Excel spreadsheets. The work is motivated by a pilot study which shows that novice users have difficulties with the formula language of Excel and need interactive assistance. JustLingo 1 allows spreadsheet calculations in ordinary, written English. Furthermore, users can extend the system functionality by explaining of the calculations to the prototype. The keyword-based system analyzes the input using natural language processing techniques and translates it into Excel formulas. It asks for missing information such as operands and target cells and provides alternatives if there are ambiguities. It also handles references to previous inputs, allowing step-by-step construction of calculations. An evaluation shows that it properly resolves 82% of references and correctly interprets 79,5% of overall user input. Although far from perfect, the prototype demonstrates that computers may soon begin to take on simple, limited-domain programming tasks based on natural-language input.

关键词： Natural Language Processing Natural Language Interfaces Dialog systems End-User programming Spreadsheet

来源：评论

学校读者我要写书评

暂无评论

An Approach to Discovery with miAamics and jABC

An Approach to Discovery with miAamics and jABC

引用

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

作者： Christian Kubczak Tiziana Margaria Christian Winkler Bernhard Steffen Chair of Software Engineering Universität Dortmund Germany Chair of Service and Software Engineering Universität Postdam Germany Chair of Programming Systems Universität Dortmund Germany

We address the discovery scenario using miAamics, a framework for rule-based evaluation originally developed for efficient and scalable personalization purposes, as a reasoning engine. The discovery service is impleme... 详细信息

关键词： Software engineering Engines Ontologies Taxonomy Packaging Databases Intelligent agent Context awareness Concrete Conferences

来源：评论

学校读者我要写书评

暂无评论

System level testing of virtual switch (re-)configuration over IP

System level testing of virtual switch (re-)configuration ov...

引用

IEEE European Test Symposium (ETS)

作者： T. Margaria O. Niese B. Steffen A. Erochok METAFrame Technologies GmbH Dortmund Germany Chair of Programming Systems University of Dortmund Germany Siemens AG Witten Germany

We show how our integrated test environment can be used for the validation of evolving Internet services, since it captures the (re-)configuration phase preceding the 'classical' steady state usage. This capability is extremely important to test applications and products based on the high-end HICOM switch family: via a specific application they allow the remote, web-browser and Internet-based configuration of services built upon a new-generation, virtual switch. The paper illustrates this capability while focussing on the challenge of dealing with high availability systems.

关键词： Switches System testing Automatic testing Web and internet services Application software Concrete Steady-state Availability Telecommunication switching Acoustic testing

来源：评论

学校读者我要写书评

暂无评论

Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms

Biological LC/MS Preprocessing and Analysis with jABC, jETI ...

引用

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

作者： Christian Kubczak Tiziana Margaria Arno Fritsch Bernhard Steffen Chair of Software Engineering University of Dortmund Germany Chair of Service and Software Engineering University of Potsdam Germany Chair of Mathematical Statistics and Biometric Applications University of Dortmund Germany Chair of Programming Systems University of Dortmund Germany

LC/MS is a successful analysis technique for the statistical analysis used in several branches of biology. It requires an intense screening and combination of the raw data, which is usually done with programs and libraries invoked by scripts in the domain-specific statistics language S or R. We show here how to model and implement this complex workflow in a service-oriented fashion, using the jABC service definition environment and jETI for remote service integration and execution.

关键词： Statistical analysis Biological system modeling Proteins Mice Mass spectroscopy Proteomics Application software Software engineering Performance analysis Biometrics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：