Specification-Driven Development: A Systematic Mapping Study and a Genealogy
Year: 2026
Type: preprint
Study design: Systematic Review
Abstract: A systematic mapping study of 138 sources on specification-driven development, classified along seven facets, with a genealogy of five earlier movements that advanced a related claim: automatic programming, formal specification, Cleanroom, literate programming and model-driven architecture. Version 0.2. Extraction sheet and search log: https://doi.org/10.5281/zenodo.22731354
Author: Lambert, Gael
Institutions: Princeton University, Digital Science (United States)
Language: English
Subfield: Information Systems
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7212425324
