Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
Verified LLM-Driven Synthesis for Concept Design
Alcino Cunha
Concept Design structures software systems around concepts: user-facing, self-contained units of functionality with a focused purpose. Concepts are composed into applications using…
cs.SE2026
Making Software Meaningful
Eagon Meng, Abutalib Namazov, Carmel Schare +2
Adopting a single measure can improve the usability, modularity and accountability of software: a commitment to explicit meaning. This entails constructing and agreeing upon a repr…
cs.SE2024
Designing Software with Complex Configurations
Alcino Cunha
In this paper I discuss how can lightweight formal methods be used to specify and verify software with complex configurations (for example, distributed protocols that work on speci…