Buchumschlag

Responsible Composition and Optimization of Integration Processes under Correctness Preserving Guarantees

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ritter, Daniel, Forsberg, Fredrik Nordvall, Rinderle-Ma, Stefanie
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Systematic Review of Business Process Improvement: Achievements and Potentials in Combining Concepts from Operations Research and Business Process Management
von: Kunkler, Michel, et al.
Veröffentlicht: (2024)

Design of a Quality Management System based on the EU Artificial Intelligence Act
von: Mustroph, Henryk, et al.
Veröffentlicht: (2024)

Privacy and Confidentiality Requirements Engineering for Process Data
von: Haertel, Fabian, et al.
Veröffentlicht: (2025)

XABPs: Towards eXplainable Autonomous Business Processes
von: Fettke, Peter, et al.
Veröffentlicht: (2025)

Agentic Business Process Management: Practitioner Perspectives on Agent Governance in Business Processes
von: Vu, Hoang, et al.
Veröffentlicht: (2025)

Large Process Models: A Vision for Business Process Management in the Age of Generative AI
von: Kampik, Timotheus, et al.
Veröffentlicht: (2023)

What's Coming Next? Short-Term Simulation of Business Processes from Current State
von: Avramenko, Maksym, et al.
Veröffentlicht: (2025)

An object-centric core metamodel for IoT-enhanced event logs
von: Bertrand, Yannis, et al.
Veröffentlicht: (2025)

Code Generation for Machine Learning using Model-Driven Engineering and SysML
von: Raedler, Simon, et al.
Veröffentlicht: (2023)

The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists
von: Ramsauer, Ralf, et al.
Veröffentlicht: (2019)

Practical Pipeline-Aware Regression Test Optimization for Continuous Integration
von: Schwendner, Daniel, et al.
Veröffentlicht: (2025)

Agentic Business Process Management Systems
von: Dumas, Marlon, et al.
Veröffentlicht: (2026)

Are LLMs Correctly Integrated into Software Systems?
von: Shao, Yuchen, et al.
Veröffentlicht: (2024)

Confidentiality-Preserving Verifiable Business Processes through Zero-Knowledge Proofs
von: Kiesel, Jannis, et al.
Veröffentlicht: (2025)

Docker Does Not Guarantee Reproducibility
von: Malka, Julien, et al.
Veröffentlicht: (2026)

FIKA: Expanding Dependency Reachability with Executability Guarantees
von: Gamage, Yogya, et al.
Veröffentlicht: (2026)

Bridging MDE and AI: A Systematic Review of Domain-Specific Languages and Model-Driven Practices in AI Software Systems Engineering
von: Raedler, Simon, et al.
Veröffentlicht: (2023)

Correctness-Guaranteed Code Generation via Constrained Decoding
von: Li, Lingxiao, et al.
Veröffentlicht: (2025)

Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols
von: Yatapanage, Nisansala P., et al.
Veröffentlicht: (2023)

The DevSafeOps Dilemma: A Systematic Literature Review on Rapidity in Safe Autonomous Driving Development and Operation
von: Nouri, Ali, et al.
Veröffentlicht: (2025)

Adaptive Request Scheduling for CodeLLM Serving with SLA Guarantees
von: Chang, Shi, et al.
Veröffentlicht: (2025)

Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles
von: Zhou, Zitong, et al.
Veröffentlicht: (2025)

With Great Power Comes Great Responsibility: The Role of Software Engineers
von: Betz, Stefanie, et al.
Veröffentlicht: (2024)

Challenges of Processing Data Clumps within Plugin Architectures of Integrated Development Environment
von: Baumgartner, Nils, et al.
Veröffentlicht: (2024)

EvidenT: An Evidence-Preserving Framework for Iterative System-Level Package Repair
von: Zhao, Chenyu, et al.
Veröffentlicht: (2026)

SWE-TRACE: Optimizing Long-Horizon SWE Agents Through Rubric Process Reward Models and Heuristic Test-Time Scaling
von: Han, Hao, et al.
Veröffentlicht: (2026)

Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements
von: Wang, Huaijin, et al.
Veröffentlicht: (2024)

Is My RPC Response Reliable? Detecting RPC Bugs in Ethereum Blockchain Client under Context
von: Zhong, Zhijie, et al.
Veröffentlicht: (2026)

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
von: Harie, Yojiro, et al.
Veröffentlicht: (2024)

Methodology for Test Case Allocation based on a Formalized ODD
von: Skoglund, Martin, et al.
Veröffentlicht: (2025)

Formalizing Operational Design Domains with the Pkl Language
von: Skoglund, Martin, et al.
Veröffentlicht: (2025)

Demystifying the DAO Governance Process
von: Ma, Junjie, et al.
Veröffentlicht: (2024)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
von: Huang, Zhechong, et al.
Veröffentlicht: (2025)

Privacy-Preserving Methods for Bug Severity Prediction
von: Dervişoğlu, Havvanur, et al.
Veröffentlicht: (2025)

Towards Richer Challenge Problems for Scientific Computing Correctness
von: Sottile, Matthew, et al.
Veröffentlicht: (2025)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
von: Zhang, Jianyu, et al.
Veröffentlicht: (2024)

Monitoring Continuous Integration Practices in Industry: A Case Study
von: Santos, Jadson, et al.
Veröffentlicht: (2025)

Statistical Confidence in Functional Correctness: An Approach for AI Product Functional Correctness Evaluation
von: Albertini, Wallace, et al.
Veröffentlicht: (2026)

Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts
von: Westphal, Oliver
Veröffentlicht: (2025)

On the Need to Monitor Continuous Integration Practices -- An Empirical Study
von: Santos, Jadson, et al.
Veröffentlicht: (2024)