エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
バグで行こう(笑撃的バグレポート) : 形式手法のススメ - livedoor Blog(ブログ)
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
バグで行こう(笑撃的バグレポート) : 形式手法のススメ - livedoor Blog(ブログ)
September 27, 200623:06 カテゴリプログラム 形式手法のススメ プログラムの形式手法へ、ようこそ、い... September 27, 200623:06 カテゴリプログラム 形式手法のススメ プログラムの形式手法へ、ようこそ、いらっしゃいました。 まずプログラマの服装ですが、フォーマルがいいでしょう。 ドレスコードのコードレビューを事前にしておきましょう。 服装が整ったら、プログラムの意味論を形式的に記述しましょう。 あくまでも形式だけで結構です。中身は結構ですよ。 ええ、例外処理なんて、形式手法には無縁のものです。 その証拠にどんな形式手法やツールでも例外処理は例外になっています。 今日はどんな形式手法をやりますか。 今日は疲れたから、Lightweight Formal Method ですか。 え、アサーションだけ? DbyC だけ? これはさすがに軽すぎませんでしょうか。ゼットぐらいはいかがでしょうか。 そんなに飲んじゃ、モデル検査で絶対漏れますよ。飲酒プログラムは駄目だって。 段階的詳