実装前に AI と合意せよ！Quint で形式仕様読解入門

TAKT にいれた形式仕様について、かなりいい感じに思うので記事にします。形式仕様そのものになじみのない方も多いと思うので、そこから始めます。形式仕様とは自然言語で書かれた仕様書は読む人によって解釈が揺れます。同じ文章を読んでも、人によって思い浮かべる挙動が違うことがあります。この食い違いを防ぐ...

実装前に AI と合意せよ！Quint で形式仕様読解入門

この記事のキーワード

同じキーワードの記事

開発をシフトレフトせよ――形式仕様でAIと事前に合意する開発のすすめかた

時相論理の形式仕様の Quint を使って、denoland/celld の二重 writer バグを見つけた

人はIssueとPRで判断するだけ — 自律AIループで回す開発プロセスの設計 - RAKUS Developers Blog | ラクス エンジニアブログ

AIのテスト観点を「決定論的」にする - テスト観点カタログを作った

Microsoftが明かした「AIでチーム全体を速くする」開発術、重要なのはコード生成より「仕様書」

仕様書は書かずに開発 老舗ベンダー弥生はAI前提でソフトウェア開発をどう変えたか？

NotebookLMで要件定義が楽になった話 ― 仕様駆動開発（SDD）の前段を整える - WHITEPLUS TechBlog

自分の本名を検索したらAIで要約されて表示されるのだが個人情報がダダ漏れしている？「これは本当に怖い」「ネットに上がってる情報をまとめただけだから…」

三代目 J SOUL BROTHERS今市隆二がソロツアー開催、全国11都市巡る

AIにありがちな「イマイチなコードコメント」9パターン - Qiita

Claude Codeによる「既存ゲーム再現」を制限したとエンジニアが認める―オリジナル作品生成は引き続き動作する想定。“AIクローンゲーム”の抑止につながるか | Game*Spark - 国内・海外ゲーム情報サイト

メモリ買い占める側が発言。アルトマンCEO「個人PCのメモリは使われてない、ひどい配分なのでクラウドに集約すべき」 - すまほん!!

Material 3 Expressiveの画面をブラウザで組み立てて画面同士をつなぎタップして確かめてそのままAIコーディング用のプロンプトにするツール「M3E Canvas」

OpenAI アルトマンCEO「PCに大量のRAMを搭載するのは問題」と発言。ローカルAIより「クラウドで24時間活用すべき」との考え語る | テクノエッジ TechnoEdge

【AOSU】AIが「監視」から「行動理解」へ。 固定カメラと追尾カメラを1台に搭載した2in1ソーラー防犯カメラ「AOSU C9P21」を発売

Uravation、「部門別 ChatGPT 業務プロンプト集 50」を無料公開。10部門の50本を「役割・材料・形式・制約・確かめ方」の5つの型でそろえ、絞り込めるExcelを同梱しました

Idolの概要 - 1枚の画像から3D Gaussian Splattingを生成するAI｜npaka

レンズを遠近両用にした「Rokid Ai Glasses Style」を衝動買い

【日経225構成銘柄の公式サイトを調査】llms.txtの設置は9社（5.0%）、robots.txtでAIクローラーを名指ししているのは9社（4.9%）。AI検索用のボットを全面拒否した社は0社

視野はAIに、視座は人に / ai-for-breadth-humans-for-perspective

人はIssueとPRで判断するだけ — 自律AIループで回す開発プロセスの設計 - RAKUS Developers Blog | ラクスエンジニアブログ

仕様書は書かずに開発　老舗ベンダー弥生はAI前提でソフトウェア開発をどう変えたか？

【AOSU】AIが「監視」から「行動理解」へ。固定カメラと追尾カメラを1台に搭載した2in1ソーラー防犯カメラ「AOSU C9P21」を発売