Cover Image

Design Spaces and How Software Designers Use Them: a sampler

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shaw, Mary, Petre, Marian
Format:	Preprint
Published:	2024
Subjects:	Software Engineering D.2.10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Modeling in the Design Multiverse
by: Guérin, Sylvain, et al.
Published: (2025)

Contrasting to spark creativity in software development teams
by: Petre, Marian, et al.
Published: (2025)

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

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

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

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

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

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

Revisiting Abstractions for Software Architecture and Tools to Support Them
by: Shaw, Mary, et al.
Published: (2025)

The Future of AI-Driven Software Engineering
by: Terragni, Valerio, et al.
Published: (2024)

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

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

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

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)

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

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

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

A Diagramming Technique for Teaching Students to Read Software Engineering Research Papers: an experience report
by: Shaw, Mary
Published: (2024)

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)

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

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

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

Position: How Regulation Will Change Software Security Research
by: Arzt, Steven, et al.
Published: (2024)

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

Technology Research Software: An Often Overlooked Category of Research Software
by: Hasselbring, Wilhelm, et al.
Published: (2026)

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

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

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

Toward Research Software Categories
by: Hasselbring, Wilhelm, et al.
Published: (2024)

Executable Multi-Layered Software
by: Radosky, Lukas, et al.
Published: (2025)

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

PDLogger: Automated Logging Framework for Practical Software Development
by: Duan, Shengcheng, et al.
Published: (2025)

Ten Recommendations for Engineering Research Software in Energy Research
by: Ferenz, Stephan, et al.
Published: (2025)

Helveg: Diagrams for Software Documentation
by: Štěpánek, Adam, et al.
Published: (2025)

A Systematic Analysis of Higher Education on Software Engineering in the Netherlands
by: Heeren, Bastiaan, et al.
Published: (2025)

A Sentence-Level Approach to Understanding Software Vulnerability Fixes
by: Gao, Amiao, et al.
Published: (2025)