A comprehensive framework for developing software from PoC to mission-critical systems through dialogue with AI assistants (Claude, etc.), progressively applying formal methods based on project complexity.
- Use Cases: PoC, prototypes, general applications
- Methods: BDD+TDD centric
- Start Time: 30 seconds
- Documentation: 1 document
- Use Cases: Mission-critical systems, finance, healthcare, distributed systems
- Methods: BDD+TDD+Formal Methods (TLA+/Dafny)
- Quality: Mathematical proof guarantees
- Documentation: 6 documents
graph LR A[PoC<br/>Quick Start] --> B[Prototype<br/>Quick Start] B --> C{Complexity<br/>Assessment} C -->|Simple| D[Production<br/>Continue Quick Start] C -->|Complex| E[Partial Migration<br/>Formal methods for critical parts] C -->|Critical| F[Full Migration<br/>Adopt Enterprise Edition]
Important: All created artifacts (BDD scenarios, tests, code) are 100% reused during migration.
Document | English | Japanese |
---|---|---|
Project Assessment Sheet ⭐ | View | 表示 |
Unified Guide (Quick Start) | View | 表示 |
Complete Framework Docs | View | 表示 |
📄 Project Assessment Interview Sheet ⭐NEW → Streamlines initial diagnosis (5-10 min completion) → Structured information gathering → Enables accurate AI diagnosis
📄 AI Chat-Driven Development Guide - Overview & Selection Guide → This README and selection guidelines
📄 AI Chat-Driven Development Unified Guide v2.0 → Single document, BDD+TDD focused
📁 Formal Methods Framework/ 📄 1. Adaptive Formal Methods Selection Framework 📄 2. AI Chat-Driven Development Complete Guide 📄 3. AI Chat-Driven Formal Specification Practice Guide 📄 4. Formal Specification Correctness Verification Framework 📄 5. Workspace Execution Environment Guide 📄 6. Full-Stack Development Integration Guide
- Adaptive Formal Methods Framework - EN | JP
- AI Chat-Driven Development Guide - EN | JP
- Formal Specification Practice Guide - EN | JP
- Complete Framework Documentation - EN | JP
- Workspace Execution Guide - EN | JP
- Full-Stack Integration Guide - EN | JP
1. Complete the Project Assessment Interview Sheet (5-10 min) 2. Open AI chat (Claude, etc.) 3. Paste the completed sheet and input: "Please diagnose based on this interview sheet and start development." → AI automatically selects appropriate edition
1. Open AI chat (Claude, etc.) 2. Input: "I want to develop [your idea] based on AI Chat-Driven Development Unified Guide v2.0. Please start with diagnosis."
1. Open AI chat (Claude, etc.) 2. Input all 6 Enterprise documents 3. Execute: "I want to develop [system overview] as a mission-critical system. Please conduct full diagnosis including formal methods."
Using: Quick Start Edition Deliverables: - BDD scenarios: 10 - Tests: 50 - Working prototype
Issue: Data races in concurrent processing Action: Add partial formal methods Additional work: - TLA+ specs for affected parts: 2 days - Property tests addition: 1 day Existing assets: All continued use
Decision: Partial application sufficient Final configuration: - 90%: BDD+TDD (Quick Start) - 10%: Formal methods (critical parts only) Quality: Sufficient reliability assured
- ✅ Startup initial development
- ✅ Internal tools
- ✅ General web applications
- ✅ PoC/Prototypes
- ✅ Limited time and budget
- ✅ Financial/Payment systems
- ✅ Medical device software
- ✅ Autonomous vehicles/Aerospace
- ✅ Cryptography/Security products
- ✅ Regulatory compliance requirements
Principle: Start with Quick Start Edition Reason: - Migrate after needs become clear - Don't waste existing assets - Avoid excessive formalization
Q: Where should I start?
A: Start with the Project Assessment Interview Sheet. 5-10 minutes of completion enables AI to diagnose the optimal approach.
Q: Will Quick Start work be wasted?
A: No. BDD scenarios, tests, and code are 100% inherited. Formal methods are "additions."
Q: When should I consider migration?
A: When you see these signs: - Hard-to-debug concurrency bugs - Uncertainty about computational correctness - New regulatory requirements
Q: Is partial migration possible?
A: Yes. We recommend hybrid operation: Apply formal methods to critical 10%, Keep remaining 90% as Quick Start.
Q: Team lacks formal methods knowledge?
A: AI generates and explains formal specs. Deep understanding unnecessary - ability to review and utilize AI output is sufficient.
Item | Quick Start | Enterprise |
---|---|---|
Start Time | 30 seconds | 30 minutes |
Required Docs | 1 | 6 |
BDD+TDD | ✅ | ✅ |
Formal Methods | Selective (2%) | Systematic |
Quality Assurance | Tests | Tests+Proofs |
Learning Cost | Low | Medium-High |
Dev Speed | Fast | Careful |
Bug Reduction | 60% | 95% |
Applicable Projects | 90% | 10% |
"Please show the Project Assessment Interview Sheet" → Complete sheet (5-10 min) → Submit to AI → Immediate diagnosis & development start
"Conduct project diagnosis: - Content: [idea] - Importance: [low/medium/high] - Deadline: [timeframe] Please determine if Quick Start or Enterprise Edition is appropriate."
Based on diagnosis results: If Quick Start: "Start with AI Chat-Driven Development Unified Guide v2.0" If Enterprise: "Start with Enterprise 6 documents including formal methods"
All documents are provided as part of this framework. Request "Show [guide name]" from AI chat to access specific documents.
- Problem Solving: Ask AI directly
- Migration Consultation: AI diagnoses & suggests
- Quality Improvement: AI provides continuous support
AIチャット(Claude等)との対話により、PoCから高信頼性システムまで段階的に開発するフレームワークです。プロジェクトの複雑度に応じて形式手法を段階的に適用します。
- 用途: PoC、プロトタイプ、一般的なアプリケーション
- 手法: BDD+TDD中心
- 開始: 30秒
- 文書: 1つ
- 用途: 高信頼性システム、金融、医療、分散システム
- 手法: BDD+TDD+形式手法(TLA+/Dafny)
- 品質: 数学的証明による保証
- 文書: 6つ
graph LR A[PoC<br/>簡易版] --> B[プロトタイプ<br/>簡易版] B --> C{複雑性評価} C -->|単純| D[製品化<br/>簡易版継続] C -->|複雑| E[部分移行<br/>重要部分のみ形式手法] C -->|critical| F[完全移行<br/>完全版採用]
重要: 作成済みの成果物(BDDシナリオ、テスト、コード)は移行時も100%活用されます。
ドキュメント | 英語版 | 日本語版 |
---|---|---|
プロジェクト診断シート ⭐ | View | 表示 |
統合ガイド(簡易版) | View | 表示 |
完全フレームワーク文書 | View | 表示 |
📄 プロジェクト診断ヒアリングシート ⭐NEW → 初回診断を効率化(5-10分で記入) → 構造化された情報収集 → AIの的確な診断を支援
📄 AIチャット駆動開発ガイド - 概要と選択指針 → このREADMEと選択ガイド
📄 AIチャット駆動開発統合ガイド v2.0 → 1文書完結、BDD+TDD中心
📁 形式手法フレームワーク/ 📄 1. 適応的形式手法選択フレームワーク 📄 2. AIチャット駆動開発完全ガイド 📄 3. AIチャット駆動形式的仕様開発実践ガイド 📄 4. 形式的仕様書正しさ検証フレームワーク 📄 5. ワークスペース実行環境ガイド 📄 6. フルスタック開発統合ガイド
- 適応的形式手法フレームワーク - EN | JP
- AIチャット駆動開発ガイド - EN | JP
- 形式的仕様開発実践ガイド - EN | JP
- 完全フレームワーク文書 - EN | JP
- ワークスペース実行環境ガイド - EN | JP
- フルスタック開発統合ガイド - EN | JP
1. プロジェクト診断ヒアリングシートを記入(5-10分) 2. AIチャット(Claude等)を開く 3. 記入済みシートを貼り付けて以下を入力: 「このヒアリングシートに基づいて診断し、 開発を開始してください。」 → AIが自動的に適切なエディションを選択
1. AIチャット(Claude等)を開く 2. 以下を入力: 「AIチャット駆動開発統合ガイド v2.0に基づいて [あなたのアイデア]を開発したいです。 診断から始めてください。」
1. AIチャット(Claude等)を開く 2. 完全版6文書を入力 3. 以下を実行: 「高信頼性システムとして [システム概要]を開発します。 形式手法を含む完全な診断を実施してください。」
使用: 簡易版 成果: - BDDシナリオ: 10個 - テスト: 50個 - 動作するプロトタイプ
問題: 並行処理でデータ競合 対応: 部分的に形式手法追加 追加作業: - 該当部分のTLA+仕様: 2日 - プロパティテスト追加: 1日 既存資産: すべて継続利用
判定: 部分適用で十分 最終構成: - 90%: BDD+TDD(簡易版) - 10%: 形式手法(重要部分のみ) 品質: 十分な信頼性を確保
- ✅ スタートアップの初期開発
- ✅ 社内ツール
- ✅ 一般的なWebアプリ
- ✅ PoC・プロトタイプ
- ✅ 時間とコストが限られている
- ✅ 金融・決済システム
- ✅ 医療機器ソフトウェア
- ✅ 自動運転・航空宇宙
- ✅ 暗号・セキュリティ製品
- ✅ 規制で証明が必要
原則: 簡易版から開始 理由: - 必要性が明確になってから移行 - 既存資産を無駄にしない - 過度な形式化を避ける
Q: どこから始めればいい?
A: プロジェクト診断ヒアリングシートから始めてください。 5-10分の記入でAIが最適なアプローチを診断します。
Q: 簡易版で作ったものは無駄になる?
A: いいえ。BDDシナリオ、テスト、コードは 100%継承されます。形式手法は「追加」です。
Q: いつ移行を検討すべき?
A: 以下の兆候が見えたとき: - デバッグが困難な並行性バグ - 計算の正確性に確信が持てない - 規制要件が追加された
Q: 部分移行は可能?
A: はい。重要な10%だけ形式手法を適用し、 残り90%は簡易版のままという ハイブリッド運用を推奨します。
Q: チームに形式手法の知識がない
A: AIが形式仕様を生成・説明します。 深い理解は不要で、AIの出力を レビュー・活用できれば十分です。
項目 | 簡易版 | 完全版 |
---|---|---|
開始時間 | 30秒 | 30分 |
必要文書 | 1 | 6 |
BDD+TDD | ✅ | ✅ |
形式手法 | 選択的(2%) | 体系的 |
品質保証 | テスト | テスト+証明 |
学習コスト | 低 | 中~高 |
開発速度 | 高速 | 慎重 |
バグ削減 | 60% | 95% |
適用プロジェクト | 90% | 10% |
「プロジェクト診断ヒアリングシートを表示してください」 → シートに記入(5-10分) → AIに提出 → 即座に診断・開発開始
「プロジェクト診断を実施: - 内容:[アイデア] - 重要度:[低/中/高] - 期限:[期間] 簡易版と完全版どちらが適切か 判定してください。」
診断結果に基づいて: 簡易版なら: 「AIチャット駆動開発統合ガイド v2.0で開始」 完全版なら: 「完全版6文書で形式手法を含めて開始」
すべての文書は、このフレームワークの一部として提供されています。 AIチャットに「○○ガイドを表示」と依頼すれば、該当文書が提示されます。
- 問題解決: AIに直接質問
- 移行相談: AIが診断・提案
- 品質改善: AIが継続的に支援
Framework Version: 3.1
Last Updated: 2025-08-08
License: MIT
このフレームワークにより:
- ヒアリングシートで効率的に開始(5-10分で診断)⭐
- 簡易版で素早く開始(PoC 1週間)
- 必要に応じて段階的強化(部分移行)
- 既存資産を100%活用(無駄なし)
- 最適な品質レベル達成(過不足なし)
今すぐ始められます。「プロジェクト診断ヒアリングシートを表示」とAIに依頼してください。