(著)テストも大事だけど、そもそも仕様の段階でバグをなくす努力も重要。Methods)がある。補足Googleはどうやってテストしているかという話は、http://iiyu.asablo.jp/blog/2013/05/15/6811848グーグル、マイクロソフトは、どうテストしているか。07時36分24秒こんにちは。10の40乗という運賃パターンのテスト方法を開発者が解説」という記事がとても参考になりました。http://www.publickey1.jp/blog/12/_1040.html私も、ご紹介いただいた荒木先生の「プログラム仕様記述論」で勉強を始めたところです。持つ障碍者なので、なかなか進みません(突如としてひらがなすら読めなくなるのです)。それでも何とかへっぽこプログラマーとして生きています。08時44分55秒もりたさん。Methods)、抽象によるソフトウェア設計-Alloyではじめる形式手法-で紹介させていただきました。コメントをどうぞ※メールアドレスとURLの入力は必須ではありません。入力されたメールアドレスは記事に反映されず、ブログの管理者のみが参照できます。※なお、送られたコメントはブログの管理者が確認するまで公開されません。※投稿には管理者が設定した質問に答える必要があります。)に転載したものから。)に転載したものから。)に転載したものから。---お買い上げありがとうございます。)に転載したものから。)に転載したものから。---お買い上げありがとうございます。)に転載したものから。30このブログについて本業はプログラマでありながら、文章がICT業界を超えて大人気の中村正三郎のブログ。ICT関連の話題、セキュリティの話題からマスコミ、科学、お笑い、ちょっとHなネタまで硬軟織り交ぜ話題沸騰。詳しいプロフィールは、http://www.asahi-net.or.jp/~ki4s-nkmr/profile.htmlをどうぞ。ネットの闇に巣喰う人々」Packtの5ドルセールまだやってた。Ecto」アンテナハウスのオンデマンド本。勝手に講談社ブルーバックス祭り。一行野郎(1行野郎)。(日本語)、法律入門でベストセラー1位。いじめと戦うためにも、子供も法律で理論武装せよ。講談社ブルーバックス、奄美の海底にミステリーサークルを作る、かわいいアマミホシゾラフグ。下関の水族館で観たシロナガスクジラのあれ。オライリー・ジャパンから、プログラミング言語Juliaの日本語の本が出てた。Juliaプログラミングクックブック\(^O^)/ますますLisp化するC++。スパークガード50「要介護の親を廃人にしたくない」なら必ず知っておきたいこと。ブラックホールってすごいやつ。C++には、5合目から始める入門書がないのか。太宰府に車で行ったらいけんよ。太宰府インターから太宰府天満宮の駐車場まで、6時間かかったよ。お笑い芸人、はなわと、漫才ナイツの漫才師、塙宣之は、兄弟。第2版」ノーベル経済学賞、リチャード・セイラ―の「行動経済学の逆襲」は文庫が出ていた。いまの限定は「豆乳担々麺」。