Image de couverture de livre

Proceedings of the 22nd International Overture Workshop

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Macedo, Hugo Daniel, Pierce, Ken, Freitas, Leo
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Proceedings of the 23rd International Overture Workshop
par: Macedo, Hugo Daniel, et autres
Publié: (2025)

Translating a VDM Model of a Medical Device into Kapture
par: Hare, Joe, et autres
Publié: (2025)

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
par: Chechik, Marsha, et autres
Publié: (2025)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
par: Kutsia, Temur, et autres
Publié: (2024)

Proceedings First Workshop on Adaptable Cloud Architectures
par: De Palma, Giuseppe, et autres
Publié: (2025)

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
par: Endrullis, Jörg, et autres
Publié: (2025)

Proceedings 16th International Workshop on Graph Computation Models
par: Lambers, Leen, et autres
Publié: (2026)

Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems
par: ter Beek, Maurice H., et autres
Publié: (2026)

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
par: Galasso-Carbonnel, Jessie, et autres
Publié: (2023)

FAIR-USE4OS: Guidelines for Creating Impactful Open-Source Software
par: Sonabend, Raphael, et autres
Publié: (2024)

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
par: Lang, Frédéric, et autres
Publié: (2024)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
par: De Angelis, Emanuele, et autres
Publié: (2025)

Factors Influencing Performance of Students in Software Automated Test Tools Course
par: Haldar, Susmita, et autres
Publié: (2024)

Manifesto from Dagstuhl Perspectives Workshop 24452 -- Reframing Technical Debt
par: Avgeriou, Paris, et autres
Publié: (2025)

Towards a Framework for Operationalizing the Specification of Trustworthy AI Requirements
par: Villamizar, Hugo, et autres
Publié: (2025)

Establishing Technical Debt Management -- A Five-Step Workshop Approach and an Action Research Study
par: Wiese, Marion, et autres
Publié: (2025)

Mica: Automated Differential Testing for OCaml Modules
par: Ng, Ernest, et autres
Publié: (2024)

WIP: Assessing the Effectiveness of ChatGPT in Preparatory Testing Activities
par: Haldar, Susmita, et autres
Publié: (2025)

Towards a Closer Collaboration Between Practice and Research in Agile Software Development Workshop: A Summary and Research Agenda
par: Neumann, Michael, et autres
Publié: (2025)

Prompts as Software Engineering Artifacts: A Research Agenda and Preliminary Findings
par: Villamizar, Hugo, et autres
Publié: (2025)

Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics
par: Goues, Claire Le, et autres
Publié: (2024)

Distributed Monitoring of Timed Properties
par: Henry, Léo, et autres
Publié: (2024)

Using Budgets to Reduce Application Emissions
par: Lierse, Leo Wilhelm, et autres
Publié: (2026)

AI and Agile Software Development: A Research Roadmap from the XP2025 Workshop
par: Zhang, Zheying, et autres
Publié: (2025)

To Copilot and Beyond: 22 AI Systems Developers Want Built
par: Choudhuri, Rudrajit, et autres
Publié: (2026)

From Text to DSL: Evaluating Grammar-Based Model Generation Using Open LLMs
par: Baber, Junaid, et autres
Publié: (2026)

Accountability in Open Source Software Ecosystems: Workshop Report
par: Sharma, Nandini, et autres
Publié: (2026)

AI and Agile Software Development: From Frustration to Success -- XP2025 Workshop Summary
par: Herda, Tomas, et autres
Publié: (2025)

Generating Maximal Configurations and Their Variants Using Code Metrics
par: Yavuz, Tuba, et autres
Publié: (2024)

Fuzz Smarter, Not Harder: Towards Greener Fuzzing with GreenAFL
par: Ercevik, Ayse Irmak, et autres
Publié: (2025)

Industrial Practices of Requirements Engineering for ML-Enabled Systems in Brazil
par: Alves, Antonio Pedro Santos, et autres
Publié: (2024)

BEST: A Unified Business Process Enactment via Streams and Tables for Service Computing
par: Awad, Ahmed, et autres
Publié: (2025)

Multi-Language Detection of Design Pattern Instances
par: Andrade, Hugo, et autres
Publié: (2025)

STELLAR: A Search-Based Testing Framework for Large Language Model Applications
par: Sorokin, Lev, et autres
Publié: (2026)

Improving the Developer Experience with a Low-Code Process Modelling Language
par: Henriques, Henrique, et autres
Publié: (2025)

Towards a Framework for Openness in Foundation Models: Proceedings from the Columbia Convening on Openness in Artificial Intelligence
par: Basdevant, Adrien, et autres
Publié: (2024)

On the Interaction between Software Engineers and Data Scientists when building Machine Learning-Enabled Systems
par: Busquim, Gabriel, et autres
Publié: (2024)

Chronicles of CI/CD: A Deep Dive into its Usage Over Time
par: da Gião, Hugo, et autres
Publié: (2024)

Chain-of-Experts (CoE): Reverse Engineering Software Bills of Materials for JavaScript Application Bundles through Code Clone Search
par: Song, Leo, et autres
Publié: (2024)

An Empirical Study on Developers Shared Conversations with ChatGPT in GitHub Pull Requests and Issues
par: Hao, Huizi, et autres
Publié: (2024)