~/talk

Specification-driven development and model-driven architecture with AI

links:none on file
slides:none on file

Argues that large language models finally solve the old MDA bottleneck by acting as the code generator, while the new problem is nondeterministic output that requires verification; proposes using BDD specs as tests and iterating LLM prompts until tests pass, turning specs into executable acceptance checks. Claims microservices benefit far more than monoliths because small, replaceable units are generatable and cheap to regenerate, and cites five years of experience validating that smaller services are reproducible and easier to verify.

AI-written summary · about

  1. 0:00Welcome and introduction
  2. 0:54Model-driven architecture basics
  3. 2:17AI-driven development shift
  4. 4:30Why generators failed before
  5. 5:31Verification challenges with AI
  6. 6:14Behavior-driven design with AI
  7. 7:19Microservices from AI models
  8. 9:07Benefits of smaller units
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.