Semantics-Driven Development (SDD): A brief introduction

Understanding Spec-Driven-Development: Kiro, spec-kit, and Tessl

Notes from my Thoughtworks colleagues on AI-assisted software delivery

The semantics of clear, a specification language

This paper gives a semantics for the Clear language for specifying problems and programs, described by Burstall and Goguen in 1977. A blend of denotational semantics with categorical ideas is used.

agentlanguages.dev — Programming languages designed for AI agents to write

A community-edited catalogue of programming languages designed for AI agents to author code, organised around three philosophical camps: syntactic, verification, and orchestration.

What Kind of Programming is Natural Language Programming?

In previous posts I’ve written about Natural Language Programming, Dijkstra’s Ghost – the End of The Symbolic Supremacy and Ephemeral Editable Specifications (aka Extract, Edit, A…

Domain-Driven Design: Tackling Complexity in the Heart of Software

Domain-Driven Design fills that need. This is not a book about specific technologies. It offers readers a systematic approach to domain-driven design, presenting an extensive set of design best ...

Software Is Made Between Commits

From the Zed Blog: Agents turned the conversation into the real source of our software. DeltaDB is the version control built for it.

Design system doc spec 0.15.2

A machine-readable format for design system documentation. DSDS structures components, tokens, themes, foundations, patterns, and guides as a single source of truth for humans, parsers, and agents.

Specification by example

Specification by example (SBE) is a collaborative approach to defining requirements and business-oriented functional tests for software products based on capturing and illustrating requirements using realistic examples instead of abstract statements. It is applied in the context of agile software development methods, in particular behavior-driven development. This approach is particularly successful for managing requirements and functional tests on large-scale projects of significant domain and organisational complexity.[1]

R. S. Doiel, Software Engineer/Analyst — Robert's ramblings

By R. S. Doiel, 2026-02-21 (revised: 2026-03-03, epilogue added 2026-03-27)

Priivacy-ai/spec-kitty

Spec-Driven Development for serious software developers. Spec Coding with with Claude, Cursor, Gemini, Codex. Kanban dashboard, git worktrees, auto-merge and more.

What We Know We Don't Know: Empirical Software Engineering

Empirical Software Engineering is the study of what actually works in programming. Instead of trusting our instincts we collect data, run studies, and peer-review our results. This talk is all about how we empirically find the facts in software and some of the challenges we face, with a particular focus on software defects and productivity. Talk doesn’t seem to be online yet; in the meantime, you can see a recording of an older version of the talk here.

quint-co/quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

The Open Source Definition (Annotated)

The sections below appear as annotations to the Open Source Definition (OSD) and are not a part of the OSD. A plain version of the OSD without annotations can be found here. Introduction Open sourc…

We are the developers of SDL, ask us anything!

496 votes, 257 comments. Hello! We are Sam Lantinga ( u/slouken ) and Ryan C. Gordon ( u/icculus ), developers of Simple Directmedia Layer (SDL). We…