契約プログラミング - Wikipedia
契約による設計 契約プログラミング（けいやくプログラミング、英: Contract programming）または契約による設計（けいやくによるせっけい、英: Design by Contract; DbC）は、ソフトウェアの正確性[注 1]と頑健性[注 2]を高めるためのソフトウェア設計の方法論である。DbC はロバート・フロイド、アントニー・ホーア、エドガー・ダイクストラらの形式的検証の仕事を基礎にしている[1]。DbC は（抽象データ型に基づく）オブジェクト指向プログラミングにおける表明の利用や、継承に伴う表明の再定義の原理的規則、例外処理の原理的規則などを提供する[2]。 DbC は、バートランド・メイヤーによって提案された[3][4][5]。 概要[編集] 「契約による設計」（DbC）における中心的な概念は、クライアントとサプライヤ[6]の契約 (contract) である。Db
RPC - Wikipedia
RPC Remote procedure call 遠隔手続き呼出し（RPC、リモートプロシージャコール）のこと。 Revolutionary Policy Committee かつてイギリスに存在した独立労働党の派閥。 Royal Parks Constabulary ロンドンのロイヤルパークを管轄していた警察。 Resistive plate chamber 粒子線の計測に用いられる計測器。 Radiological Physics Center アメリカ国立衛生研究所の放射線治療の効果を検証する機関。 ロシアパラリンピック委員会 （英・Russian Paralympic Committee、露・Паралимпийский комитет России）。 SCP財団から分裂した怪奇創作ウェブサイトRPC機構(RPC Authority） 中華人民共和国 (仏: républiqu
アノテーション - Wikipedia
アノテーション（英: annotation）とは、あるデータに対して関連する情報（メタデータ）を注釈として付与すること。XML等の記述形式を用いてメタデータをタグ付けする場合が多い。付与したメタデータやタグを指してアノテーションという場合もある。 Javaにおけるアノテーション[編集] Javaのアノテーションはクラスやインタフェース、メソッドやフィールド、パッケージなどに対してメタデータとして付加情報を記入する機能で、Java SE 5 で追加された。アノテーションはjava.lang.annotation.Annotationインタフェースを実装することで自作することもできる。 Visual C++のSAL注釈[編集] Microsoft Visual C++は、SAL注釈 (SAL annotation) と呼ばれる独自のソースコード注釈言語をサポートする[1]。SAL注釈は関数の引
Active Record - Wikipedia
「アクティブレコード、アクティブ・レコード」はこの項目へ転送されています。イギリスのレコードレーベルについては「ミュージック・フォー・ネイションズ」をご覧ください。 Active Record（アクティブ・レコード）とは、プログラミングにおいて、企業アプリケーションで頻繁に認められるデザインパターンである。 概要[編集] Active Recordはデータベースからデータを読み出すためのアプローチである。データベーステーブルあるいはビューの1行が1つのクラスにラップされ、オブジェクトのインスタンスがそのデータベースの1つの行に結合される。このクラスはデータベースアクセスのカプセル化も行う[1]。オブジェクトの生成後は、保存メソッドで新しい行がデータベースに追加される。 オブジェクトが更新されると、データベースの対応する行もまた更新される。ラッパークラスはテーブルあるいはビューの各カラムに対
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
