Copertina

Towards behavioral consistency in heterogeneous modeling scenarios

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Kräuter, Tim
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
di: Kräuter, Tim, et al.
Pubblicazione: (2025)

The Visual Debugger Tool
di: Kräuter, Tim, et al.
Pubblicazione: (2024)

The Visual Debugger: Past, Present, and Future
di: Kräuter, Tim, et al.
Pubblicazione: (2024)

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
di: Kräuter, Tim, et al.
Pubblicazione: (2023)

BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models
di: Kräuter, Tim, et al.
Pubblicazione: (2024)

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
di: Kräuter, Tim, et al.
Pubblicazione: (2024)

Are your comments outdated? Towards automatically detecting code-comment consistency
di: Huang, Yuan, et al.
Pubblicazione: (2024)

Large language models for behavioral modeling: A literature survey
di: Laiq, Muhammad
Pubblicazione: (2025)

Co-designing heterogeneous models: a distributed systems approach
di: Ilau, Marius-Constantin, et al.
Pubblicazione: (2024)

scenario.center: Methods from Real-world Data to a Scenario Database
di: Schuldes, Michael, et al.
Pubblicazione: (2024)

A data-flow oriented software architecture for heterogeneous marine data streams
di: Lima, Keila, et al.
Pubblicazione: (2024)

variability.dev: Towards an Online Toolbox for Feature Modeling
di: Heß, Tobias, et al.
Pubblicazione: (2025)

Retrospective: Data Mining Static Code Attributes to Learn Defect Predictors
di: Menzies, Tim
Pubblicazione: (2025)

Understanding and measuring software engineer behavior: What can we learn from the behavioral sciences?
di: Araújo, Allysson Allex, et al.
Pubblicazione: (2024)

Supporting architecture evaluation for ATAM scenarios with LLMs
di: Capilla, Rafael, et al.
Pubblicazione: (2025)

Systematic teaching of UML and behavioral diagrams
di: Metzner, Anja
Pubblicazione: (2024)

Pricing4SaaS: Towards a pricing model to drive the operation of SaaS
di: García-Fernández, Alejandro, et al.
Pubblicazione: (2024)

Towards a unified user modeling language for engineering human centered AI systems
di: Conrardy, Aaron, et al.
Pubblicazione: (2025)

Automatization of building IT projects using composite consistency rules
di: Niepostyn, Stanislaw Jerzy, et al.
Pubblicazione: (2026)

Can Large Language Models Improve SE Active Learning via Warm-Starts?
di: Senthilkumar, Lohith, et al.
Pubblicazione: (2024)

Streamlining Software Reviews: Efficient Predictive Modeling with Minimal Examples
di: Menzies, Tim, et al.
Pubblicazione: (2024)

Minimal Data, Maximum Clarity: A Heuristic for Explaining Optimization
di: Rayegan, Amirali, et al.
Pubblicazione: (2025)

Beyond the Prompt: Assessing Domain Knowledge Strategies for High-Dimensional LLM Optimization in Software Engineering
di: Srinivasan, Srinath, et al.
Pubblicazione: (2026)

Less Noise, More Signal: DRR for Better Optimizations of SE Tasks
di: Lustosa, Andre, et al.
Pubblicazione: (2025)

Can Causality Cure Confusion Caused By Correlation (in Software Analytics)?
di: Rayegan, Amirali, et al.
Pubblicazione: (2026)

iSNEAK: Partial Ordering as Heuristics for Model-Based Reasoning in Software Engineering
di: Lustosa, Andre, et al.
Pubblicazione: (2023)

From Brittle to Robust: Improving LLM Annotations for SE Optimization
di: Senthilkumar, Lohith, et al.
Pubblicazione: (2026)

Towards a fundamental theory of modeling discrete systems
di: Fettke, Peter, et al.
Pubblicazione: (2025)

BINGO! Simple Optimizers Win Big if Problems Collapse to a Few Buckets
di: Ganguly, Kishan Kumar, et al.
Pubblicazione: (2025)

How Low Can You Go? The Data-Light SE Challenge
di: Ganguly, Kishan Kumar, et al.
Pubblicazione: (2025)

Zoom, Don't Wander: Why Regional Search Outperforms Pareto Reasoning and Global Optimization in Budget-Constrained SBSE
di: Ganguly, Kishan Kumar, et al.
Pubblicazione: (2026)

From Verification to Herding: Exploiting Software's Sparsity of Influence
di: Menzies, Tim, et al.
Pubblicazione: (2026)

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

An Exploratory Study of Documentation Strategies for Product Features in Popular GitHub Projects
di: Puhlfürß, Tim, et al.
Pubblicazione: (2022)

Model Cards Revisited: Bridging the Gap Between Theory and Practice for Ethical AI Requirements
di: Puhlfürß, Tim, et al.
Pubblicazione: (2025)

Teaching Software Testing and Debugging with the Serious Game Sojourner under Sabotage
di: Straubinger, Philipp, et al.
Pubblicazione: (2025)

Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models
di: Rosenbach, Tim, et al.
Pubblicazione: (2025)

Sojourner under Sabotage: A Serious Testing and Debugging Game
di: Straubinger, Philipp, et al.
Pubblicazione: (2025)

OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in Aspect-Oriented Applications
di: AlSobeh, Anas
Pubblicazione: (2024)

A Step Towards a Universal Method for Modeling and Implementing Cross-Organizational Business Processes
di: Zeisler, Gerhard, et al.
Pubblicazione: (2024)