:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Guérin, Sylvain, Martinez, Salvador, Teodorov, Ciprian
Format:	Preprint
Published:	2025
Subjects:	Software Engineering D.2.10
Online Access:	https://arxiv.org/abs/2509.06530
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Design Spaces and How Software Designers Use Them: a sampler
by: Shaw, Mary, et al.
Published: (2024)

Design Patterns for Multilevel Modeling and Simulation
by: Serena, Luca, et al.
Published: (2024)

Disentangling the schema turn: Restoring the information base to conceptual modelling
by: Partridge, Chris, et al.
Published: (2025)

Technical Debt Management: The Road Ahead for Successful Software Delivery
by: Avgeriou, Paris, et al.
Published: (2024)

From Separate Compilation to Sound Language Composition
by: Bruzzone, Federico, et al.
Published: (2026)

From Domain Understanding to Design Readiness: a playbook for GenAI-supported learning in Software Engineering
by: Wlodarski, Rafal
Published: (2026)

Automata Learning versus Process Mining: The Case for User Journeys
by: Kobialka, Paul, et al.
Published: (2026)

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

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

The Future of AI-Driven Software Engineering
by: Terragni, Valerio, 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)

(How) Do Large Language Models Understand High-Level Message Sequence Charts?
by: Mousavi, Mohammad Reza
Published: (2026)

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

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

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

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

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

Towards Deterministic End-to-end Latency for Medical AI Systems in NVIDIA Holoscan
by: Sinha, Soham, et al.
Published: (2024)

Multimodal Generative AI for Story Point Estimation in Software Development
by: Islam, Mohammad Rubyet, et al.
Published: (2025)

Model Generation with LLMs: From Requirements to UML Sequence Diagrams
by: Ferrari, Alessio, et al.
Published: (2024)

Autonomous Navigation and Collision Avoidance for Mobile Robots: Classification and Review
by: de Carvalho, Marcus Vinicius Leal, et al.
Published: (2024)

AnemiaVision: Non-Invasive Anemia Detection via Smartphone Imagery Using EfficientNet-B3 with TrivialAugmentWide, Mixup Augmentation, and Persistent Patient History Management
by: Patel, Rahul
Published: (2026)

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

Fast, Cheap and Good: Lightweight Methods Are Undervalued
by: Shostack, Adam
Published: (2022)

KerasCV and KerasNLP: Vision and Language Power-Ups
by: Watson, Matthew, et al.
Published: (2024)

Curating Model Problems for Software Designing
by: Shaw, Mary, et al.
Published: (2025)

DesignRepair: Dual-Stream Design Guideline-Aware Frontend Repair with Large Language Models
by: Yuan, Mingyue, et al.
Published: (2024)

VLA Foundry: A Unified Framework for Training Vision-Language-Action Models
by: Mercat, Jean, et al.
Published: (2026)

DPS: Design Pattern Summarisation Using Code Features
by: Nazar, Najam, et al.
Published: (2025)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
by: Bruzzone, Federico, et al.
Published: (2026)

Design Obligations for Software, with Examples from Data Abstraction and Adaptive Systems
by: Shaw, Mary
Published: (2025)

Myriad People Open Source Software for New Media Arts
by: Baudry, Benoit, et al.
Published: (2025)

SonoVision: A Computer Vision Approach for Helping Visually Challenged Individuals Locate Objects with the Help of Sound Cues
by: Zishan, Md Abu Obaida, et al.
Published: (2025)

AHA! Strategies for Gaining Insights into Software Design
by: Shaw, Mary
Published: (2024)

OODEval: Evaluating Large Language Models on Object-Oriented Design
by: Xiao, Bingxu, et al.
Published: (2026)

Are Decoder-Only Large Language Models the Silver Bullet for Code Search?
by: Chen, Yuxuan, et al.
Published: (2024)

Adaptive recycled plastic architecture: Vacuum-Sealed Chainmail Structures Through Computational Design
by: Xu, Yi, et al.
Published: (2025)

Causal Models in Requirement Specifications for Machine Learning: A vision
by: Heyn, Hans-Martin, et al.
Published: (2025)

Meta-Monomorphizing Specializations
by: Bruzzone, Federico, et al.
Published: (2026)

Good modelling software practices
by: Lemmen, Carsten, et al.
Published: (2024)