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

8th International Conference on Engineering of Computer-Based systems, ECBS 2023

作者： Busch, Daniel Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany

ISBN: (纸本)9783031492518

In this paper we show how our approach of extending Language Driven Engineering (LDE) with natural language-based code generation supports system migration: The characteristic decomposition of LDE into tasks that are solved with dedicated domain-specific languages divides the migration tasks into portions adequate to apply LLM-based code generation. We illustrate this effect by migrating a low-code/no-code generator for point-and-click adventures from JavaScript to TypeScript in a way that maintains an important property: generated web applications can automatically be validated via automata learning and model analysis by design. In particular, this allows to easily test the correctness of migration by learning the difference automaton for the generated products of the source and the target system of the migration. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages 1st

ChatGPT in the Loop: A Natural Language Extension for Dom...

引用

1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023

作者： Busch, Daniel Nolte, Gerrit Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany

ISBN: (纸本)9783031460012

This paper presents an approach to no-code development based on the interplay of formally defined (graphical) Domain-Specific Languages and informal, intuitive Natural Language which is enriched with contextual information to enable referencing of formally defined entities. The paper focuses on the use and automated integration of these enriched intuitive languages via ChatGPT-based code generation to exploit the best of both language paradigms for domain-specific application development. To compensate for the lack of control over the intuitive languages we apply automated system-level validation via automata learning and subsequent model checking. All this is illustrated using the development of point-and-click adventures as a minimal viable example. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Automata Learning Language-driven Engineering Large Language Models Low-Code/No-Code Prompt Engineering Software Engineering Verification Web Application

来源：评论

学校读者我要写书评

暂无评论

An Introduction to Graphical Modeling of CI/CD Workflows with Rig 10th

An Introduction to Graphical Modeling of CI/CD Workflows wit...

引用

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021

作者： Tegeler, Tim Teumert, Sebastian Schürmann, Jonas Bainczyk, Alexander Busch, Daniel Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany

ISBN: (纸本)9783030891589

We present an introduction to the usage of Rig, our Cinco product for the graphical modeling of CI/CD workflows. While CI/CD has become a de facto standard in modern software engineering (e.g. DevOps) and the benefits of its practice are without a doubt, developers are still facing inconvenient solutions. We will briefly outline the basic concept of CI/CD and discuss the challenges involved in maintaining such workflows with current implementations before we explain and illustrate the advantages of our model-driven approach step by step along on the treatment of a typical web application. © 2021, Springer Nature Switzerland AG.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition 10th

Pyrus: An Online Modeling Environment for No-Code Data-Analy...

引用

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021

作者： Zweihoff, Philip Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany

ISBN: (纸本)9783030891589

We present Pyrus, a domain-specific online modeling environment for building graphical processes for data analysis, machine learning and artificial intelligence. Pyrus aims at bridging the gap between de facto (often Python-based) standards as established by the Jupyter platform, and the tradition to model data analysis workflows in a dataflow-driven fashion. Technically, Pyrus integrates established online IDEs like Jupyter and allows users to graphically combine available functional components to dataflow-oriented workflows in a collaborative fashion without writing a single line of code. Following a controlflow/dataflow conversion and compilation, the execution is then delegated to the underlying platforms. Both the inputs to a modeled workflow and the results of its execution can be specified and viewed without leaving Pyrus which supports a seamless cooperation between data science experts and programmers. The paper illustrates the fundamental concepts, the employed domain-specific language, and, in particular, the role of the integrated IDE’s in an example-driven fashion which can be reproduced in the available online modeling environment. © 2021, Springer Nature Switzerland AG.

关键词： Data Analytics

来源：评论

学校读者我要写书评

暂无评论

Aligned, Purpose-Driven Cooperation: The Future Way of System Development 10th

Aligned, Purpose-Driven Cooperation: The Future Way of Syste...

引用

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021

作者： Zweihoff, Philip Tegeler, Tim Schürmann, Jonas Bainczyk, Alexander Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany

ISBN: (纸本)9783030891589

Collaborative system development requires a three-dimensional alignment: in space, in time, and in mindset: Traditionally, different developers typically have their own, local development environments, each of which may change over time due to updates and other version changes. The third dimension concerns so-called semantic gaps, which we proposed to address via Language-Driven Engineering using Purpose-Specific Language. In this paper we argue that web-based, collaborative development environments that support Language-Driven Engineering are capable of solving the three-dimensional alignment problem. Our illustration via a corresponding prototypical solution aims at illustrating that this vision has the power to radically improve the effectiveness of collaborative development and that it is realistic even in near future. © 2021, Springer Nature Switzerland AG.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Revisiting the Performance-Explainability Trade-Off in Explainable Artificial Intelligence (XAI)

arXiv

引用

arXiv 2023年

作者： Crook, Barnaby Schlüter, Maximilian Speith, Timo University of Bayreuth Department of Philosophy Bayreuth Germany Technical University Dortmund Chair for Programming Systems Dortmund Germany Saarland University Center for Perspicuous Computing Saarbrücken Germany

Within the field of Requirements Engineering (RE), the increasing significance of Explainable Artificial Intelligence (XAI) in aligning AI-supported systems with user needs, societal expectations, and regulatory standards has garnered recognition. In general, explainability has emerged as an important nonfunctional requirement that impacts system quality. However, the supposed trade-off between explainability and performance challenges the presumed positive influence of explainability. If meeting the requirement of explainability entails a reduction in system performance, then careful consideration must be given to which of these quality aspects takes precedence and how to compromise between them. In this paper, we critically examine the alleged trade-off. We argue that it is best approached in a nuanced way that incorporates resource availability, domain characteristics, and considerations of risk. By providing a foundation for future research and best practices, this work aims to advance the field of RE for AI. © 2023, CC BY-NC-ND.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Revisiting the Performance-Explainability Trade-Off in Explainable Artificial Intelligence (XAI)

Revisiting the Performance-Explainability Trade-Off in Expla...

引用

IEEE International Requirements Engineering Conference Workshops (REW)

作者： Barnaby Crook Maximilian Schlüter Timo Speith Department of Philosophy University of Bayreuth Bayreuth Germany Chair for Programming Systems Technical University Dortmund Dortmund Germany Center for Perspicuous Computing Saarland University Saarbrücken Germany

Within the field of Requirements Engineering (RE), the increasing significance of Explainable Artificial Intelligence (XAI) in aligning AI-supported systems with user needs, societal expectations, and regulatory standards has garnered recognition. In general, explainability has emerged as an important non-functional requirement that impacts system quality. However, the supposed trade-off between explainability and performance challenges the presumed positive influence of explainability. If meeting the requirement of explainability entails a reduction in system performance, then careful consideration must be given to which of these quality aspects takes precedence and how to compromise between them. In this paper, we critically examine the alleged trade-off. We argue that it is best approached in a nuanced way that incorporates resource availability, domain characteristics, and considerations of risk. By providing a foundation for future research and best practices, this work aims to advance the field of RE for AI.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Context Classification in Dialog-Based Interaction

Context Classification in Dialog-Based Interaction

引用

International Conference on Semantic Computing

作者： Alexander Wachtel Felix Eurich Dominik Fuchß Walter F. Tichy Chair for Programming Systems Karlsruhe Institute of Technology Karlsruhe Germany Karlsruhe Institute of Technology

ISBN: (数字)9781728163321

ISBN: (纸本)9781728163338

A difficulty in processing of the natural language is recognizing the context of a statement. However, since this contains implicit knowledge which we unconsciously use in our formulations, it is necessary to assign the context for correct interpretation. A context in our system is managed by a service that interprets and processes input and provides feedback to the end user. In this paper, we present a solution how an end user input can be assigned to such a service. For this purpose, we score the end user inputs by the system with an ensemble of 6 different classifiers that consider semantics as well as syntax. The system learns the user's input at run time and adapts his enunciation step by step. During the evaluation, the system was able to classified 87% of the user statements to the correct service. Far from perfect, this research might lead to fundamental changes in computer use.

关键词： Natural languages Syntactics History Semantics programming Software Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

Large Random Forests: Optimisation for Rapid Evaluation

arXiv

引用

arXiv 2019年

作者： Gossen, Frederik Steffen, Bernhard Chair for Programming Systems TU Dortmund University Germany

Random Forests are one of the most popular classifiers in machine learning. The larger they are, the more precise is the outcome of their predictions. However, this comes at a cost: their running time for classification grows linearly with the number of trees, i.e. the size of the forest. In this paper, we propose a method to aggregate large Random Forests into a single, semantically equivalent decision diagram. Our experiments on various popular datasets show speed-ups of several orders of magnitude, while, at the same time, also significantly reducing the size of the required data structure. Copyright © 2019, The Authors. All rights reserved.

关键词： Decision trees

来源：评论

学校读者我要写书评

暂无评论

On the difficulty of drawing the line 8th

On the difficulty of drawing the line

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Boßelmann, Steve Naujokat, Stefan Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany

ISBN: (纸本)9783030034177

The paper considers domain-specific tool support as a means to turn descriptive into prescriptive models, and to blur the difference between models and programs, and even between developers and users. Conceptual underlying key is to view the system development as a decision process which increasingly constraints the range of possible system implementations and Domain-Specific Languages (DSLs) as a means to freeze taken decisions on the way towards a concrete realization. This way naturally comprises both programming and modeling aspects. In fact, considering all interactions that influence the behaviour of the system as development turns GUIs into DSLs and makes it even hardly possible to draw the line between developers and users. We will illustrate this viewpoint in the light of the development of the Equinocs system, Springer’s new editorial service. © Springer Nature Switzerland AG 2018.

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：