Cover Image

DEMO enhanced BPMN

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Guerreiro, Sérgio, Dietz, Jan
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Emerging Technologies H.1.1, H.4.3, D.2.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Data Annotation Requirements Representation and Specification (DARS)
by: Peng, Yi, et al.
Published: (2025)

Spreadsheet Engineering: A Research Framework
by: Grossman, Thomas A.
Published: (2007)

Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet
by: Grossman, Thomas A.
Published: (2008)

Trustful Coopetitive Infrastructures for the New Space Exploration Era
by: Baima, Renan Lima, et al.
Published: (2024)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
by: Beg, Arshad, et al.
Published: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

A Framework of Critical Success Factors for Agile Software Development
by: Hanslo, Ridewaan, et al.
Published: (2026)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
by: López, Hugo A., et al.
Published: (2024)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
by: Beg, Arshad, et al.
Published: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
by: Beg, Arshad, et al.
Published: (2026)

Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
by: Beg, Arshad, et al.
Published: (2026)

Memory Management and Contextual Consistency for Long-Running Low-Code Agents
by: Xu, Jiexi
Published: (2025)

An Industrial-Scale Retrieval-Augmented Generation Framework for Requirements Engineering: Empirical Evaluation with Automotive Manufacturing Data
by: Khalid, Muhammad, et al.
Published: (2026)

Enabling Data-Driven and Empathetic Interactions: A Context-Aware 3D Virtual Agent in Mixed Reality for Enhanced Financial Customer Experience
by: Xu, Cindy, et al.
Published: (2024)

What is Business Process Automation Anyway?
by: Vu, Hoang, et al.
Published: (2025)

Compliance of AI Systems
by: Schöning, Julius, et al.
Published: (2025)

Adaptive Robust Unscented Kalman Filter for Dynamic State Estimation of Power System
by: Nguyen, Duc Viet, et al.
Published: (2025)

Beyond the Golden Record: Toward a Design Theory for Trustworthy Master Data Management with Self-Sovereign Identity
by: Schulte, Niklas, et al.
Published: (2026)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
by: Baier, Daniel, et al.
Published: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
by: Ates, Salih, et al.
Published: (2024)

Superhuman Game AI Disclosure: Expertise and Context Moderate Effects on Trust and Fairness
by: Chua, Jaymari, et al.
Published: (2025)

Designing Trustful Cooperation Ecosystems is Key to the New Space Exploration Era
by: Baima, Renan Lima, et al.
Published: (2024)

From Internet of Things Data to Business Processes: Challenges and a Framework
by: Mangler, Juergen, et al.
Published: (2024)

Sheaf-Theoretic Causal Emergence for Resilience Analysis in Distributed Systems
by: Krasnovsky, Anatoly A.
Published: (2025)

Understanding the Use of a Large Language Model-Powered Guide to Make Virtual Reality Accessible for Blind and Low Vision People
by: Collins, Jazmin, et al.
Published: (2026)

Exploring Complexity: An Extended Study of Formal Properties for Process Model Complexity Measures
by: Schalk, Patrizia, et al.
Published: (2024)

File System Aging
by: Conway, Alex, et al.
Published: (2024)

Spreadsheet Assurance by "Control Around" is a Viable Alternative to the Traditional Approach
by: Ettema, Harmen, et al.
Published: (2008)

TransResAI: A Compound AI System for Coastal Transportation Resilience
by: Pu, Qingwen, et al.
Published: (2026)

Big Help or Big Brother? Auditing Tracking, Profiling, and Personalization in Generative AI Assistants
by: Vekaria, Yash, et al.
Published: (2025)

Guidelines for Cultivating a Sense of Belonging to Reduce Developer Burnout
by: Trinkenreich, Bianca, et al.
Published: (2026)

Structural Quality Gaps in Practitioner AI Governance Prompts: An Empirical Study Using a Five-Principle Evaluation Framework
by: Zietsman, Christo
Published: (2026)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
by: Kratz, Maximilian, et al.
Published: (2025)

Graph-Based Specification and Automated Construction of ILP Problems
by: Ehmes, Sebastian, et al.
Published: (2022)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
by: Kratz, Maximilian, et al.
Published: (2025)

Siren Federate: Bridging document, relational, and graph models for exploratory graph analysis
by: Bordea, Georgeta, et al.
Published: (2025)

Teaching Complex Systems based on Microservices
by: Ferreira, Renato Cordeiro, et al.
Published: (2025)