形式手法はなぜ流行っていないのか - Qiita

テクノロジーカテゴリーの変更を依頼記事元:

qiita.com/autotaker1984

264 usersがブックマークコメント

コメント

34

記事へのコメント34件

注目コメント
新着コメント

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

形式手法はなぜ流行っていないのか - Qiita

はじめにみなさん形式手法をご存知でしょうか？名前くらいは聞いたことあるけどいまいち何かわからな... はじめにみなさん形式手法をご存知でしょうか？名前くらいは聞いたことあるけどいまいち何かわからないという方が多いのではないでしょうか。その通りです。形式手法はアカデミアではそれなりに研究されているものの、一般の（特にWeb系）ソフトウェア開発者が携わることはなかなかないのではないかと思います。この記事ではソフトウェア開発に形式手法が導入されないのはなぜなのかを考察します。この記事ではアジャイルソフトウェア開発において形式手法を導入する際のハードルについて考察します。追記本記事について、「形式手法は流行っていない」というのは正確ではないのではないかという指摘をいただきました。組み込み系や社会インフラ系等バグを絶対に出せないシステム開発では形式手法がよく使われているそうです。ちょっと古いデータですが活用事例です。誤解を招く紹介となっていたことをお詫びします。さらに追記 ku

ブックマークしたユーザー

yokochin_htb2024/10/06
dev_tamura2024/05/15
vyniled2023/12/24
yamori04082023/11/03
simomm2023/06/19
techtech05212023/05/01
jagagaj2023/03/29
hokorobi2023/02/26
serihiro2023/01/05
toge2022/05/30
knj29182021/12/30
gemini72021/05/24
naokinkfj2021/05/24
burabura1172021/04/10
lugecy2021/04/04
AmaiSaeta2021/04/02
somathor2021/03/31
BookMarkForProgramming2021/03/29

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx