Tag
spec-driven
Migrer WinDev avec la Software Factory 10x : la méthode SFEIR en six étapes, de l'audit à la bascule
Six étapes, un livrable vérifiable au bout de chacune, trois gates tenues par des humains et l'exécution confiée aux agents Claude Code : comment SFEIR mène une migration WinDev sur son SDLC à onze phases, de l'audit du patrimoine à la bascule.
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.
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.
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.
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