プログラムの品質を高めるためのアサーションとは？
契約による設計(Design by Contract) プログラムの品質向上手法として、契約による設計（Design by Contract、以下DBC）という手法があります。DBCでは、あるオブジェクトに対するメソッド呼び出しを行っているとき、プログラムが正しく動作している際に満たされるべき条件として、以下の3条件を規定しておきます。 事前条件…… メソッド呼び出し時の引数が満たすべき条件 事後条件…… メソッドによる処理が終了した時点で満たすべき条件 不変条件…… メソッドによる処理により変化しないものを規定する条件 以上の3条件のうちいずれかの条件が満たされない場合、プログラムは正しく動作していない、つまりバグがあることになります。 例として、ある実数xの平方根yを計算するメソッドを作成する場合の事前条件と事後条件について考えます。実数xが0以上の値でなければ平方根を求めることができ
富士通のMDA資料
SDAS（エスダス）（注1）は、開発期間短縮を実現し、お客様のビジネスのスピードアップに貢献する為の総合システム開発体系です。 新しい「SDAS」は、「短期間・高品質」のシステム開発を実現するとともに、「オープン性・国際標準」「ライフサイクル全般でのシステム最適化」「エンジニアリングとマネジメントを両輪とするプロジェクト遂行」を特長としています。 これにより、システム開発期間を従来と比べ、概ね半減することが可能となり、ITの観点から、お客様のマーケットの動きを先取りしたビジネス展開を支援していくことで、競争優位確保に貢献します。 システム開発を「要件定義」「設計」「構築」「テスティング」の4フェーズに分け、それぞれのフェーズを最短化する開発手法、標準技術に基づくツール群およびテンプレートを適用することで、トータルの期間短縮を実現します。 注1 SDAS： System Developmen
Deep Side of Java～Java 言語再入門
この「Java言語講座」は、あるソフトハウスでの講座を元にして作られている。そのため、「初めてプログラムをするんだけど、Java が流行っているみたいだから勉強してみたい」という人にはまったく向いていない。そのような人のための雑誌・書籍・Webページは山のようにある。→ 裏ページ「Humorous Side of Java」 このページは、Java の Deep Side について筆者が研究した結果がかなり含まれている。また、主として参考にしたJava固有の資料は次の通り。 「The Java 言語仕様」（ゴスリン,ジョイ,スティール、アジソン・ウェスレイ） 「The Java 仮想マシン仕様」（リンドホルム,イェリン、アジソン・ウェスレイ）。これらはSun社自身による、それも開発者自身による最もディープな専門書籍であり、大変役に立つ（というか筆者レベルだとこういう本じゃないと役に立たない
J2SE 5.0 Tiger 虎の穴 Generics
Generics はすでに雑誌などで解説記事が書かれているのでご存知のかたも多いかと思います。 Generics というのは C++ のテンプレート機能のような機能で、ひとことでいえばクラス (インタフェース)、メソッドのパラメータ化ということができます。 といってもよく分からないですね。 それでは実際に例を示しましょう。 コレクションは要素を Object クラスのオブジェクトとして保持するために、使うときにはいちいちキャストを行わなくてはいけません。 List list = new ArrayList(); list.add(new Integer(10)); int x = ((Integer)list.get(0)).intValue(); // キャストが必要
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
オブジェクト倶楽部 - TOPページ
デザインパターン[モデリング] -TECHSCORE-
はじめに
Javaメモ目次(Hishidama's Java Memo)
Javaの道（Java入門・リファレンス）
Javaの道（Java入門・リファレンス）
Java入門