Concept Spec-Driven Development
Développement piloté par la spécification : décrire le comportement attendu pour que l'IA le construise (modèle 2025, avant l'issue-based).
SFEIR AI · Publié le 24 juillet 2026 · Mis à jour le 20 octobre 2026
Décrire précisément pour faire construire
Le Spec-Driven Development consiste à écrire une spécification précise du comportement attendu, puis à laisser l'IA la construire sous surveillance. C'est le modèle de référence de 2025 : la valeur se déplace de l'écriture du code vers la qualité de la spécification, l'IA se chargeant de l'exécution. GitHub le formule comme un renversement de l'ordre habituel, où la spécification devient le contrat de comportement du code et la source de vérité qu'utilisent les outils et les agents pour générer, tester et valider.
Deux outillages, publiés en 2025
La pratique s'incarne dans deux outils qu'il ne faut pas confondre avec elle. GitHub Spec Kit est une boîte à outils open source publiée par GitHub sous licence MIT, annoncée en septembre 2025 : elle enchaîne des commandes (constitution, specify, plan, tasks, implement) et annonce la prise en charge de plus de trente agents de code. Le projet crédite explicitement les travaux de John Lam. AWS Kiro, de son côté, est un environnement de développement agentique bâti sur Code OSS, lancé en préversion en juillet 2025 et disponible en version générale depuis le 17 novembre 2025, qui structure le travail autour de spécifications, de hooks événementiels et de la notation EARS.
Sa limite et son successeur
L'anti-pattern guette : demander une fonctionnalité isolée revient à « boulonner une salle de bain sur une façade », cohérente en soi, incohérente avec l'ensemble. D'où la bascule vers l'Issue-Based Development (2026) : on rapporte un écart et l'IA analyse le contexte existant pour une cohérence systémique. Les deux s'appuient sur un contexte structuré.
Questions fréquentes
Quelle différence entre spec-driven et issue-based development ?
Le spec-driven (2025) part d'une spécification détaillée de la fonctionnalité voulue ; l'issue-based (2026) part d'un écart ou d'un bug signalé, l'IA analysant alors le contexte existant pour restaurer une cohérence systémique plutôt que d'ajouter une brique isolée.
Quels outils portent cette pratique ?
GitHub Spec Kit, boîte à outils open source sous licence MIT annoncée en septembre 2025, et AWS Kiro, environnement de développement agentique bâti sur Code OSS, disponible en version générale depuis le 17 novembre 2025.
Le spec-driven development est-il un produit ?
Non, c'est une pratique. GitHub positionne Spec Kit comme une méthodologie agnostique de l'outillage, compatible avec de nombreux agents de code, et non comme un environnement propriétaire qui l'enfermerait.
Quelle est la licence de Spec Kit ?
MIT. Le dépôt est publié par GitHub et crédite explicitement les travaux de recherche de John Lam dans ses remerciements. Il annonce la prise en charge de plus de trente agents de code différents.
Sources
- GitHub — dépôt spec-kit (licence MIT) · 2026-08-26
- GitHub Blog — Spec-driven development with AI · 2025-09
- Kiro — Kiro is generally available · 2025-11-17
Spec-Driven Development dans vos projets
Échanger avec SFEIRArticles liés
Extraire les règles métier d'une application WinDev avec l'IA : la rétro-documentation spec first
Les règles de gestion d'une application WinDev vivent dans son WLangage et nulle part ailleurs. Comment les extraire avec l'IA : export en mode texte, prompt d'archéologie à cinq sections, double exécution, Gherkin, ADR rétroactifs et validation métier.
Migration WinDev : réécrire vos applications PC SOFT avec l'IA, sans big bang
Une migration WinDev se joue sur deux chantiers : retrouver les règles métier enfouies dans vingt ans de fenêtres, puis prouver que la nouvelle application fait la même chose que l'ancienne. Méthode SFEIR en six étapes, stack cible, ordres de grandeur et grille rester, geler ou migrer.
722 preuves en un commit : ce que la publication mathématique d'OpenAI dit de l'avenir de la vérification
Le 6 octobre 2026, OpenAI dépose 722 manuscrits mathématiques sur GitHub ; le 7, elle en retire trois pour une erreur de signe. Villani, LeCun, Tao, Duminil-Copin, et ce que le goulot de la vérification dit aux DSI et CTO qui déploient des agents.
Spec Kit de GitHub : la spécification comme contrat, en sept commandes
Spec Kit, le toolkit open source de GitHub (licence MIT), a livré sa version 1.0 le 21 août 2026 : sept commandes, de la constitution à l'implémentation, la spec comme contrat. Ce qu'il couvre du cycle SFEIR à onze phases, ce qu'il laisse hors champ, quand le choisir face à Kiro et OpenSpec.
Kiro : le spec-driven d'AWS intégré dans l'éditeur
Kiro, l'IDE spec-driven d'AWS, transforme un prompt en trois artefacts versionnés (requirements EARS, design, tasks) puis exécute les tâches. Preview le 14 juillet 2025, GA le 17 novembre 2025, Kiro Crew le 4 août 2026. Dans la grille SFEIR : de Setup à Verify, sans capitalisation ni aval.
OpenSpec : le spec-driven taillé pour le code que vous avez déjà
OpenSpec, édité par Fission AI sous licence MIT depuis août 2025, décrit chaque changement comme un delta de spécification (ADDED, MODIFIED, REMOVED) fusionné à l'archivage. Lecture du cycle propose, apply, archive dans la grille SFEIR : le seul cadre de la série sans gate formel.
Spec Kit, Kiro, BMAD, Superpowers, AI-DLC : dix méthodes, une même grille
En dix-huit mois, dix méthodes de développement avec agents sont apparues, de Spec Kit (GitHub) à AI-DLC (AWS). Une seule va jusqu'à Ops, aucune ne couvre Deprecation. Lecture comparée sur le cycle SFEIR à onze phases : gates, capitalisation, outil cible, combinaisons.
CI/CD ultra-robuste : le filet de sécurité du développement 10x
Le paradoxe du développement augmenté Il y a une tension au cœur de la révolution IA que peu d'équipes techniques prennent le temps d'articuler clairement. D'un côté, les promesses sont réelles : générer du code plus vite, réduire la friction, atteindre un facteur de pro...
Product Engineer : le nouveau rôle qui fusionne toutes les spécialités
La fin du développement en silos : un changement de paradigme Pendant des décennies, la production logicielle a reposé sur une logique de spécialisation poussée à l'extrême. D'un côté, les développeurs front-end. De l'autre, les développeurs back-end. Entre les deux, des designe...
Le code est devenu gratuit. Décider quoi construire, jamais.
Quand écrire du code devient gratuit, le risque migre vers l'amont : une idée mal cadrée se propage à la vitesse de l'IA. Define et Plan — les deux gates humains où une idée devient un contrat, et où trois explorations deviennent une décision d'architecture.