Tag
spec-driven
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.
AI-augmented engineering : la méthode d'Addy Osmani lue dans la grille SFEIR
Addy Osmani, quatorze ans chez Google puis Anthropic depuis septembre 2026, défend un cycle en six temps (spec, plan validé, implémentation, tests, revue croisée, commit) où le développeur reste directeur du projet. Lecture de cette doctrine sans outil imposé dans le cycle SFEIR à onze phases.
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.
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 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.
Porosité PDLC/SDLC : quand la spec devient le prompt
Avec le spec-driven development, l'artefact de conception s'exécute directement par des agents : la frontière entre PDLC et SDLC s'efface. Le mécanisme technique, le cas Airbnb, et la distinction qui protège la production : jetable vs gouverné.
Explorez tous nos articles
Plus de contenus techniques sur l'IA, le Cloud, la Data et le Software Engineering.
Tous les articles