Image de couverture de livre

Modeling in the Design Multiverse

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Guérin, Sylvain, Martinez, Salvador, Teodorov, Ciprian
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering D.2.10
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Design Spaces and How Software Designers Use Them: a sampler
par: Shaw, Mary, et autres
Publié: (2024)

Design Patterns for Multilevel Modeling and Simulation
par: Serena, Luca, et autres
Publié: (2024)

Disentangling the schema turn: Restoring the information base to conceptual modelling
par: Partridge, Chris, et autres
Publié: (2025)

Technical Debt Management: The Road Ahead for Successful Software Delivery
par: Avgeriou, Paris, et autres
Publié: (2024)

From Separate Compilation to Sound Language Composition
par: Bruzzone, Federico, et autres
Publié: (2026)

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

Automata Learning versus Process Mining: The Case for User Journeys
par: Kobialka, Paul, et autres
Publié: (2026)

A Short Survey on Formalising Software Requirements using Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
par: Beg, Arshad, et autres
Publié: (2025)

The Future of AI-Driven Software Engineering
par: Terragni, Valerio, et autres
Publié: (2024)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
par: Beg, Arshad, et autres
Publié: (2026)

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

Formalising Software Requirements using Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

Working Document -- Formalising Software Requirements with Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
par: Beg, Arshad, et autres
Publié: (2026)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
par: Beg, Arshad, et autres
Publié: (2026)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
par: Beg, Arshad, et autres
Publié: (2026)

Towards Deterministic End-to-end Latency for Medical AI Systems in NVIDIA Holoscan
par: Sinha, Soham, et autres
Publié: (2024)

Model Generation with LLMs: From Requirements to UML Sequence Diagrams
par: Ferrari, Alessio, et autres
Publié: (2024)

Multimodal Generative AI for Story Point Estimation in Software Development
par: Islam, Mohammad Rubyet, et autres
Publié: (2025)

Fast, Cheap and Good: Lightweight Methods Are Undervalued
par: Shostack, Adam
Publié: (2022)

Autonomous Navigation and Collision Avoidance for Mobile Robots: Classification and Review
par: de Carvalho, Marcus Vinicius Leal, et autres
Publié: (2024)

Curating Model Problems for Software Designing
par: Shaw, Mary, et autres
Publié: (2025)

DesignRepair: Dual-Stream Design Guideline-Aware Frontend Repair with Large Language Models
par: Yuan, Mingyue, et autres
Publié: (2024)

Code Generation for Machine Learning using Model-Driven Engineering and SysML
par: Raedler, Simon, et autres
Publié: (2023)

DPS: Design Pattern Summarisation Using Code Features
par: Nazar, Najam, et autres
Publié: (2025)

Design Obligations for Software, with Examples from Data Abstraction and Adaptive Systems
par: Shaw, Mary
Publié: (2025)

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

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
par: Bruzzone, Federico, et autres
Publié: (2026)

SonoVision: A Computer Vision Approach for Helping Visually Challenged Individuals Locate Objects with the Help of Sound Cues
par: Zishan, Md Abu Obaida, et autres
Publié: (2025)

KerasCV and KerasNLP: Vision and Language Power-Ups
par: Watson, Matthew, et autres
Publié: (2024)

AHA! Strategies for Gaining Insights into Software Design
par: Shaw, Mary
Publié: (2024)

Are Decoder-Only Large Language Models the Silver Bullet for Code Search?
par: Chen, Yuxuan, et autres
Publié: (2024)

OODEval: Evaluating Large Language Models on Object-Oriented Design
par: Xiao, Bingxu, et autres
Publié: (2026)

Myriad People Open Source Software for New Media Arts
par: Baudry, Benoit, et autres
Publié: (2025)

Causal Models in Requirement Specifications for Machine Learning: A vision
par: Heyn, Hans-Martin, et autres
Publié: (2025)

Meta-Monomorphizing Specializations
par: Bruzzone, Federico, et autres
Publié: (2026)

Generative Goal Modeling
par: Sharfuddin, Ateeq, et autres
Publié: (2025)

VLA Foundry: A Unified Framework for Training Vision-Language-Action Models
par: Mercat, Jean, et autres
Publié: (2026)

Adaptive recycled plastic architecture: Vacuum-Sealed Chainmail Structures Through Computational Design
par: Xu, Yi, et autres
Publié: (2025)