# Formula AI > 業務資料と現行システム資産から業務システムを生成・運用する、株式会社PortXのエンタープライズ向け開発・運用AIプラットフォーム。生成の過程で画面・API・ルールがIDでつながった仕様書が残り、変更のたびに仕様書から作り直せる。 ## 主要ページ - [製品の仕組み](https://goformula.ai/product): エージェントハーネス(統制された生成工程)・仕様書・オントロジーの構造 - [ソリューション](https://goformula.ai/solutions): IT・DX部門向け(モダナイゼーションAI・運用保守AI・業務システム内製AI)と業務部門向け(販売・需給計画AI・購買・調達AI・受発注管理AI・生産進度・納期管理AI・出荷・輸出入AI) - [生成成果物](https://goformula.ai/showcase): 業務システム・設計書・検証記録のサンプル - [統制・セキュリティ](https://goformula.ai/security): 権限・監査ログ・データの取り扱い - [ニュース](https://goformula.ai/news) - [ブログ](https://goformula.ai/blog): AI製業務アプリの管理、現行システム調査、開発統制、要件管理の実務知識 - [運営会社](https://goformula.ai/company): 株式会社PortX - [お問い合わせ・資料ダウンロード](https://goformula.ai/contact) ## ブログ記事 - [仕様書と実装が食い違うときの現行システム調査](https://goformula.ai/blog/spec-implementation-gap) - [要件トレーサビリティで変更影響を追える状態の作り方](https://goformula.ai/blog/requirement-traceability) - [AI駆動開発の統制チェックリスト](https://goformula.ai/blog/ai-development-controls) - [業務部門で増えるAI製アプリをIT部門はどう管理するか](https://goformula.ai/blog/ai-generated-business-app-governance)