Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Specifications for Humans, Agents, and Tooling
Mark Marron
Specifications are the central mechanism for communicating intents, requirements, and constraints in software development. When they are explicit, clear, and reliable, they are an…
cs.SE2024
A New Generation of Intelligent Development Environments
Mark Marron
The practice of programming is undergoing a revolution with the introduction of AI assisted development (copilots) and the creation of new programming languages that are designed e…