Copertina

Usable-by-Construction: a formal framework

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Reeves, Steve
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Human-Computer Interaction Logic in Computer Science Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Viverra: Text-to-Code with Guarantees
di: Wu, Haoze, et al.
Pubblicazione: (2026)

A Logic for Veracity
di: Reeves, Steve
Pubblicazione: (2023)

The Good, the Bad, and the (Un)Usable: A Rapid Literature Review on Privacy as Code
di: Ferreyra, Nicolás E. Díaz, et al.
Pubblicazione: (2024)

ASP-driven User-interaction with Clinguin
di: Beiser, Alexander, et al.
Pubblicazione: (2025)

LightSC: The Making of a Usable Security Classification Tool for DevSecOps
di: Shrestha, Manish, et al.
Pubblicazione: (2024)

VIEWER: an extensible visual analytics framework for enhancing mental healthcare
di: Wang, Tao, et al.
Pubblicazione: (2024)

SPARK: Real-Time Monitoring of Multi-Faceted Programming Exercises
di: Yang, Yinuo, et al.
Pubblicazione: (2026)

A Systematic Literature Review of Software Engineering Research on Jupyter Notebook
di: Siddik, Md Saeed, et al.
Pubblicazione: (2025)

Toward Reliable Scientific Visualization Pipeline Construction with Structure-Aware Retrieval-Augmented LLMs
di: Zhao, Guanghui, et al.
Pubblicazione: (2026)

Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
di: Lee, Yeonseok
Pubblicazione: (2026)

Reassessing Java Code Readability Models with a Human-Centered Approach
di: Sergeyuk, Agnia, et al.
Pubblicazione: (2024)

What Makes a Level Hard in Super Mario Maker 2?
di: Furia, Carlo A., et al.
Pubblicazione: (2025)

What Makes a Fairness Tool Project Sustainable in Open Source?
di: Mim, Sadia Afrin, et al.
Pubblicazione: (2025)

An Online A/B Testing Decision Support System for Web Usability Assessment Based on a Linguistic Decision-making Methodology: Case of Study a Virtual Learning Environment
di: Zermeño, Noe, et al.
Pubblicazione: (2025)

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
di: Jain, Rijul, et al.
Pubblicazione: (2025)

Exploring the Output of Software Testing Tools through a Visual Comparative Analysis
di: Lit, Brandon, et al.
Pubblicazione: (2026)

Integrating Human Feedback into a Reinforcement Learning-Based Framework for Adaptive User Interfaces
di: Gaspar-Figueiredo, Daniel, et al.
Pubblicazione: (2025)

How to Teach Programming in the AI Era? Using LLMs as a Teachable Agent for Debugging
di: Ma, Qianou, et al.
Pubblicazione: (2023)

The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible's Challenges
di: Carreira, Carolina, et al.
Pubblicazione: (2025)

Learning Programming in Informal Spaces: Using Emotion as a Lens to Understand Novice Struggles on r/learnprogramming
di: Hasan, Alif Al, et al.
Pubblicazione: (2025)

Putting a Face to the Issue: Fostering User Empathy of Open Source Software Developers With PersonaFlow
di: Tadjuidje, Boniface Bahati, et al.
Pubblicazione: (2026)

An Exploratory Study on Upper-Level Computing Students' Use of Large Language Models as Tools in a Semester-Long Project
di: Tanay, Ben Arie, et al.
Pubblicazione: (2024)

Elderly HealthMag: Systematic Building and Calibrating a Tool for Identifying and Evaluating Senior User Digital Health Software
di: Xiao, Yuqing, et al.
Pubblicazione: (2026)

A Picture Is Worth a Thousand Words: Exploring Diagram and Video-Based OOP Exercises to Counter LLM Over-Reliance
di: Cipriano, Bruno Pereira, et al.
Pubblicazione: (2024)

"So Am I Dr. Frankenstein? Or Were You a Monster the Whole Time?": Mitigating Software Project Failure With Loss-Aversion-Aware Development Methodologies
di: Ali, Junade
Pubblicazione: (2024)

ParamExplorer: A framework for exploring parameters in generative art
di: Gachadoat, Julien, et al.
Pubblicazione: (2025)

Loop unrolling: formal definition and application to testing
di: Huang, Li, et al.
Pubblicazione: (2025)

SmartEx: A Framework for Generating User-Centric Explanations in Smart Environments
di: Sadeghi, Mersedeh, et al.
Pubblicazione: (2024)

On the Automated Processing of User Feedback
di: Maalej, Walid, et al.
Pubblicazione: (2024)

Cultural influence on RE activities: An extended analysis of state of the art
di: Muzammel, Chowdhury Shahriar, et al.
Pubblicazione: (2024)

DIDUP: Dynamic Iterative Development for UI Prototyping
di: Ma, Jenny, et al.
Pubblicazione: (2024)

Requirements are All You Need: The Final Frontier for End-User Software Engineering
di: Robinson, Diana, et al.
Pubblicazione: (2024)

Crossing Margins: Intersectional Users' Ethical Concerns about Software
di: Olson, Lauren, et al.
Pubblicazione: (2024)

Generating User Experience Based on Personas with AI Assistants
di: Huang, Yutan
Pubblicazione: (2024)

Unlocking Adaptive User Experience with Generative AI
di: Huang, Yutan, et al.
Pubblicazione: (2024)

Designing Adaptive User Interfaces for mHealth Applications Targeting Chronic Disease: A User-Centered Approach
di: Wang, Wei, et al.
Pubblicazione: (2024)

Developer Needs and Feasible Features for AI Assistants in IDEs
di: Sergeyuk, Agnia, et al.
Pubblicazione: (2024)

SuiGPT MAD: Move AI Decompiler to Improve Transparency and Auditability on Non-Open-Source Blockchain Smart Contract
di: Chen, Eason, et al.
Pubblicazione: (2024)

A Mixed Method Study of DevOps Challenges
di: Tanzil, Minaoar Hossain, et al.
Pubblicazione: (2024)

SoK: Detection and Repair of Accessibility Issues
di: Nie, Liming, et al.
Pubblicazione: (2024)