Buchumschlag

Proceedings of the 23rd International Overture Workshop

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Macedo, Hugo Daniel, Pierce, Ken
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Proceedings of the 22nd International Overture Workshop
von: Macedo, Hugo Daniel, et al.
Veröffentlicht: (2024)

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
von: Chechik, Marsha, et al.
Veröffentlicht: (2025)

Translating a VDM Model of a Medical Device into Kapture
von: Hare, Joe, et al.
Veröffentlicht: (2025)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
von: Kutsia, Temur, et al.
Veröffentlicht: (2024)

Proceedings First Workshop on Adaptable Cloud Architectures
von: De Palma, Giuseppe, et al.
Veröffentlicht: (2025)

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
von: Endrullis, Jörg, et al.
Veröffentlicht: (2025)

Proceedings 16th International Workshop on Graph Computation Models
von: Lambers, Leen, et al.
Veröffentlicht: (2026)

Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems
von: ter Beek, Maurice H., et al.
Veröffentlicht: (2026)

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
von: Galasso-Carbonnel, Jessie, et al.
Veröffentlicht: (2023)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2025)

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
von: Lang, Frédéric, et al.
Veröffentlicht: (2024)

Factors Influencing Performance of Students in Software Automated Test Tools Course
von: Haldar, Susmita, et al.
Veröffentlicht: (2024)

Manifesto from Dagstuhl Perspectives Workshop 24452 -- Reframing Technical Debt
von: Avgeriou, Paris, et al.
Veröffentlicht: (2025)

Towards a Framework for Operationalizing the Specification of Trustworthy AI Requirements
von: Villamizar, Hugo, et al.
Veröffentlicht: (2025)

Establishing Technical Debt Management -- A Five-Step Workshop Approach and an Action Research Study
von: Wiese, Marion, et al.
Veröffentlicht: (2025)

WIP: Assessing the Effectiveness of ChatGPT in Preparatory Testing Activities
von: Haldar, Susmita, et al.
Veröffentlicht: (2025)

Mica: Automated Differential Testing for OCaml Modules
von: Ng, Ernest, et al.
Veröffentlicht: (2024)

Towards a Closer Collaboration Between Practice and Research in Agile Software Development Workshop: A Summary and Research Agenda
von: Neumann, Michael, et al.
Veröffentlicht: (2025)

Prompts as Software Engineering Artifacts: A Research Agenda and Preliminary Findings
von: Villamizar, Hugo, et al.
Veröffentlicht: (2025)

FAIR-USE4OS: Guidelines for Creating Impactful Open-Source Software
von: Sonabend, Raphael, et al.
Veröffentlicht: (2024)

Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics
von: Goues, Claire Le, et al.
Veröffentlicht: (2024)

AI and Agile Software Development: A Research Roadmap from the XP2025 Workshop
von: Zhang, Zheying, et al.
Veröffentlicht: (2025)

Accountability in Open Source Software Ecosystems: Workshop Report
von: Sharma, Nandini, et al.
Veröffentlicht: (2026)

AI and Agile Software Development: From Frustration to Success -- XP2025 Workshop Summary
von: Herda, Tomas, et al.
Veröffentlicht: (2025)

Generating Maximal Configurations and Their Variants Using Code Metrics
von: Yavuz, Tuba, et al.
Veröffentlicht: (2024)

Industrial Practices of Requirements Engineering for ML-Enabled Systems in Brazil
von: Alves, Antonio Pedro Santos, et al.
Veröffentlicht: (2024)

BEST: A Unified Business Process Enactment via Streams and Tables for Service Computing
von: Awad, Ahmed, et al.
Veröffentlicht: (2025)

Multi-Language Detection of Design Pattern Instances
von: Andrade, Hugo, et al.
Veröffentlicht: (2025)

STELLAR: A Search-Based Testing Framework for Large Language Model Applications
von: Sorokin, Lev, et al.
Veröffentlicht: (2026)

Improving the Developer Experience with a Low-Code Process Modelling Language
von: Henriques, Henrique, et al.
Veröffentlicht: (2025)

Towards a Framework for Openness in Foundation Models: Proceedings from the Columbia Convening on Openness in Artificial Intelligence
von: Basdevant, Adrien, et al.
Veröffentlicht: (2024)

On the Interaction between Software Engineers and Data Scientists when building Machine Learning-Enabled Systems
von: Busquim, Gabriel, et al.
Veröffentlicht: (2024)

Chronicles of CI/CD: A Deep Dive into its Usage Over Time
von: da Gião, Hugo, et al.
Veröffentlicht: (2024)

An Empirical Study on Developers Shared Conversations with ChatGPT in GitHub Pull Requests and Issues
von: Hao, Huizi, et al.
Veröffentlicht: (2024)

Psychological safety in software workplaces: A systematic literature review
von: Santana, Beatriz, et al.
Veröffentlicht: (2025)

Exploring Empathy in Software Engineering: Insights from a Grey Literature Analysis of Practitioners' Perspectives
von: Cerqueira, Lidiany, et al.
Veröffentlicht: (2025)

To What Extent Does Agent-generated Code Require Maintenance? An Empirical Study
von: Sawada, Shota, et al.
Veröffentlicht: (2026)

Investigating the Impact of SOLID Design Principles on Machine Learning Code Understanding
von: Cabral, Raphael, et al.
Veröffentlicht: (2024)

Reversa: A Reverse Documentation Engineering Framework for Converting Legacy Software into Operational Specifications for AI Agents
von: de Macedo, Sanderson Oliveira, et al.
Veröffentlicht: (2026)

Navigating the Complexity of Generative AI Adoption in Software Engineering
von: Russo, Daniel
Veröffentlicht: (2023)