Imagen de Portada

Responsible Composition and Optimization of Integration Processes under Correctness Preserving Guarantees

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ritter, Daniel, Forsberg, Fredrik Nordvall, Rinderle-Ma, Stefanie
Formato:	Preprint
Publicado:	2023
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Design of a Quality Management System based on the EU Artificial Intelligence Act
por: Mustroph, Henryk, et al.
Publicado: (2024)

Privacy and Confidentiality Requirements Engineering for Process Data
por: Haertel, Fabian, et al.
Publicado: (2025)

XABPs: Towards eXplainable Autonomous Business Processes
por: Fettke, Peter, et al.
Publicado: (2025)

Agentic Business Process Management: Practitioner Perspectives on Agent Governance in Business Processes
por: Vu, Hoang, et al.
Publicado: (2025)

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

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

An object-centric core metamodel for IoT-enhanced event logs
por: Bertrand, Yannis, et al.
Publicado: (2025)

Code Generation for Machine Learning using Model-Driven Engineering and SysML
por: Raedler, Simon, et al.
Publicado: (2023)

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

Practical Pipeline-Aware Regression Test Optimization for Continuous Integration
por: Schwendner, Daniel, et al.
Publicado: (2025)

Agentic Business Process Management Systems
por: Dumas, Marlon, et al.
Publicado: (2026)

Are LLMs Correctly Integrated into Software Systems?
por: Shao, Yuchen, et al.
Publicado: (2024)

Confidentiality-Preserving Verifiable Business Processes through Zero-Knowledge Proofs
por: Kiesel, Jannis, et al.
Publicado: (2025)

Docker Does Not Guarantee Reproducibility
por: Malka, Julien, et al.
Publicado: (2026)

FIKA: Expanding Dependency Reachability with Executability Guarantees
por: Gamage, Yogya, et al.
Publicado: (2026)

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

Correctness-Guaranteed Code Generation via Constrained Decoding
por: Li, Lingxiao, et al.
Publicado: (2025)

Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols
por: Yatapanage, Nisansala P., et al.
Publicado: (2023)

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

Adaptive Request Scheduling for CodeLLM Serving with SLA Guarantees
por: Chang, Shi, et al.
Publicado: (2025)

Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles
por: Zhou, Zitong, et al.
Publicado: (2025)

With Great Power Comes Great Responsibility: The Role of Software Engineers
por: Betz, Stefanie, et al.
Publicado: (2024)

Challenges of Processing Data Clumps within Plugin Architectures of Integrated Development Environment
por: Baumgartner, Nils, et al.
Publicado: (2024)

EvidenT: An Evidence-Preserving Framework for Iterative System-Level Package Repair
por: Zhao, Chenyu, et al.
Publicado: (2026)

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

Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements
por: Wang, Huaijin, et al.
Publicado: (2024)

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

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
por: Harie, Yojiro, et al.
Publicado: (2024)

Methodology for Test Case Allocation based on a Formalized ODD
por: Skoglund, Martin, et al.
Publicado: (2025)

Formalizing Operational Design Domains with the Pkl Language
por: Skoglund, Martin, et al.
Publicado: (2025)

Demystifying the DAO Governance Process
por: Ma, Junjie, et al.
Publicado: (2024)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
por: Huang, Zhechong, et al.
Publicado: (2025)

Privacy-Preserving Methods for Bug Severity Prediction
por: Dervişoğlu, Havvanur, et al.
Publicado: (2025)

Towards Richer Challenge Problems for Scientific Computing Correctness
por: Sottile, Matthew, et al.
Publicado: (2025)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
por: Zhang, Jianyu, et al.
Publicado: (2024)

Monitoring Continuous Integration Practices in Industry: A Case Study
por: Santos, Jadson, et al.
Publicado: (2025)

Statistical Confidence in Functional Correctness: An Approach for AI Product Functional Correctness Evaluation
por: Albertini, Wallace, et al.
Publicado: (2026)

Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts
por: Westphal, Oliver
Publicado: (2025)

On the Need to Monitor Continuous Integration Practices -- An Empirical Study
por: Santos, Jadson, et al.
Publicado: (2024)