Hatena Blog Tags
はてなブログ トップ
契約プログラミング
このタグでブログを書く

契約プログラミング

(コンピュータ)
【けいやくぷろぐらみんぐ】

プログラミング言語Eiffelで初めて導入されたプログラム技法。
ソースコード中にプログラムが従うべき決まりを記述する。それによりソースコードレベルでプログラムの安全性を高める事ができる。

デザインパターンと契約

デザインパターンと契約

  • 作者: ジャン=マルクジェゼケル,クリスティンミンギンズ,ミシェルトラン,Jean‐Marc J´ez´equel,Christine Mingins,Michel Train,原隆文
  • 出版社/メーカー: ピアソンエデュケーション
  • 発売日: 2001/12
  • メディア: 単行本
  • 購入: 1人 クリック: 11回
  • この商品を含むブログを見る

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。
よしたろうブログ•1年前

勉強会でLTしてきました！in 大阪

初めに 九月末に参加した勉強会でLTしたので、LT風景の紹介や使用した資料の簡単な補足説明でもしようかと思います。 #ココカラ勉強会 昨日参加させていただきました！LTさせて頂きありがとうございます〜✨主催のお三方のカラーが良い空気感を作ってるんだなーと感じました😁楽しかったです！ https://t.co/1EMPmZw15b— よしたろう（エンジニア2年目 java） (@yoshitaro_yoyo) 2022年10月2日 https://kokokara.connpass.com/event/262504/?utm_campaign=event_participate_to_follo…

#契約プログラミング#デザインパターン#ウォーターフォール#オブジェクト指向#LT#勉強会参加レポ

ネットで話題

もっと見る
58ブックマーク著作権と契約 : プログラミング指南 - Code Knowledgecodeknowledge.livedoor.blog
49ブックマーク契約プログラミングの本が出るらしいです！やったー！やったー……？twitpic.com
41ブックマーク契約プログラミング - Wikipediaja.wikipedia.org
24ブックマーク米Google、Javaに契約プログラミングの概念を実装するデバッグ支援ツール「Contracts for Java」を公開 | OSDN Magazinemag.osdn.jp
19ブックマークES7.decorator で契約プログラミング(design by contract) - Qiitaqiita.com
15ブックマーク契約プログラミング - プログラミング言語 D (日本語訳)"契約" は、大きなプロジェクトのプログラミングの手間を減らす、 画期的な技術です。契約は、事前条件・事後条件・エラー・不変条件、 からなる概念です。 C++でも言語の変更無しに契約は実現できますが、 扱いにくく、 一貫性のないものになります。 言語レベルで契約のサポートを組み込むことには、こんな利点があり...www.kmonos.net
7ブックマーク防御的プログラミングと契約プログラミング - Qiitaqiita.com
6ブックマーク『契約プログラミング』買ってしまいました……！！ via http://twitpic.com/4oosgltwitpic.com
6ブックマーク防御的プログラミングと契約プログラミング - よしたろうブログyoshitaro-yoyo.hatenablog.com

関連ブログ

地面を見下ろす少年の足蹴にされる私•1ヶ月前

［C++］WG21月次提案文書を眺める（2024年01月）

文書の一覧 JTC1/SC22/WG21 - Papers 2024 mailing2024-01 全部で22本あります。 もくじ P1255R11 A view of 0 or 1 elements: views::maybe P1255R12 A view of 0 or 1 elements: views::maybe P1709R5 Graph Library P2019R5 Thread attributes P2527R3 std::variant_alternative_index and std::tuple_element_index P2664R6 Proposal to …

地面を見下ろす少年の足蹴にされる私•2ヶ月前

［C++］WG21月次提案文書を眺める（2023年12月）

文書の一覧 JTC1/SC22/WG21 - Papers 2022 mailing2023-12 全部で125本あります。 もくじ N4966 St. Louis Meeting Invitation and Information N4967 WG21 2023-10 Admin telecon minutes N4970 WG21 2023-11 Kona Minutes of Meeting N4971 Working Draft, Programming Languages -- C++ N4972 Editors' Report, Programming Languages -- …

地面を見下ろす少年の足蹴にされる私•3ヶ月前

［C++］WG21月次提案文書を眺める（2023年10月）

文書の一覧 JTC1/SC22/WG21 - Papers 2022 mailing2023-10 全部で80本あります。 もくじ N4961 2024-03 Tokyo meeting information N4962 WG21 agenda: 6-11 November 2023, Kona, HI N4963 2023 WG21 admin telecon meetings, rev. 2 N4964 Working Draft, Programming Languages -- C++ N4965 Editors' Report, Programming Languages -- C…

地面を見下ろす少年の足蹴にされる私•4ヶ月前

［C++］契約プログラミング機能のこれまでとこれから

この記事はC++アドベントカレンダー2023 25日目の記事です。ご参加の皆様お疲れ様でした！ C++ Contracts C++20 Contracts 問題点とMVP(Minimum Viable Product) 最初のMVP仕様 関数の再宣言と契約注釈 引数の事後条件からの参照 契約条件式の副作用 C++26に向けたロードマップ 契約注釈のセマンティクス 違反ハンドラ 構文 C++26に向けて、残りの問題 2023年末時点でのMVP 参考文献 C++ Contracts ContractとはContract programmingの略称で、C++ ContractsとはC++における契…

My Bookmark•5ヶ月前

2023/11/13(月)の出来事

Appleが「M3 MacBook Pro」の8GBのユニファイドメモリは16GBの他製品RAMと同等であると主張 編集者と噛み合わず最終的にネタが細かすぎると言われたネームが出てきたので載せます「何だこのバリオモロ漫画は！！」 [特別編74]デビィ・ザ・コルシファは負けず嫌い - 平方昌宏 | 少年ジャンプ＋ Our Way Home - 川松冬花 | 少年ジャンプ＋ [第79話]ラーメン赤猫 - アンギャマン | 少年ジャンプ＋ Deno、SQLiteベースのキーバリューストア「Deno KV」のスタンドアロン版を公開。ソースコードもオープンに 無利子の奨学金返済に対しても「搾取」と文句を…

地面を見下ろす少年の足蹴にされる私•6ヶ月前

［C++］WG21月次提案文書を眺める（2023年09月）

文書の一覧 JTC1/SC22/WG21 - Papers 2022 mailing2023-09 全部で40本あります。 もくじ P0843R9 inplace_vector P1068R9 Vector API for random number generation P1255R10 A view of 0 or 1 elements: views::maybe P2264R5 Make assert() macro user friendly for C and C++ P2542R4 views::concat P2542R5 views::concat P2686R2 conste…

地面を見下ろす少年の足蹴にされる私•6ヶ月前

［C++］WG21月次提案文書を眺める（2023年08月）

文書の一覧 JTC1/SC22/WG21 - Papers 2022 mailing2023-08 全部で44本あります。 もくじ N4956 Concurrency TS2 PDTS N4958 Working Draft, Programming Languages -- C++ N4959 Editors' Report, Programming Languages -- C++ N4960 Business Plan and Convener's Report: ISO/IEC JTC1/SC22/WG21 (C++) P0124R7 Linux-Kernel Memory Model…

ts0818のブログ•7ヶ月前

シェルスクリプトは基本、逐次実行らしいが、前の処理の終了を待たないケースもあるという罠

japan.cnet.com Microsoftは、690億ドル（約10兆円）でのゲームパブリッシャーActivision Blizzard買収に一歩近づいたようだ。 マイクロソフトによる10兆円規模のActivision買収、英当局が承認を示唆 - CNET Japan ⇧ 金額がエグい... www.itmedia.co.jp ⇧ 何て言うか、ブラックボックスありきということを承知で進めてきてるわけだから、制御できなくなるリスクが顕在化する時が来るかもしれないって話は今に始まったことではないと思うけどね... 逐次と順次の違いは？ シェルスクリプトについて調べていて、 xtech.nikk…

地面を見下ろす少年の足蹴にされる私•9ヶ月前

［C++］WG21月次提案文書を眺める（2023年05月）

文書の一覧 JTC1/SC22/WG21 - Papers 2022 mailing2023-05 全部で122本あります。 一部の記事は次の方々に手伝っていただきました、ご協力ありがとうございました！ @Reputelessさん もくじ N4946 2024-03 Tokyo meeting information N4947 INCITS C++/WG21 agenda: 12-17 June 2023, Varna, Bulgaria N4948 Working Draft, C++ Extensions for Library Fundamentals, Version 3 N4949…

技術覚書•10ヶ月前

【参加した】JJUG CCC 2023 Spring

こんにちは！ 今回もいい刺激もらってきました！！ 目次 目次 これに参加しました タイムテーブル 聴講したセッション セッションごとのメモ 金融系子会社でレガシーシステムしか作ったことないけど、モダン開発に挑戦してみた (by 汐月 麻理佳さん) セッション資料 MEMO モダン開発へのチャレンジ 生命保険システムの特徴 技術の壁 文化の壁 取り組み 感想 JJUGコミュニティセッション: JJUGで成長した元講師なエンジニアの約10年よもやま話 (by 多田 真敏さん) セッション資料 MEMO JJUGってなに？ 何してるの？ JJUG 参加の心得①：まずは参加してみよう JJUG 参加の…

地面を見下ろす少年の足蹴にされる私•1年前

［C++］WG21月次提案文書を眺める（2023年04月）

文書の一覧 JTC1/SC22/WG21 - Papers 2022 mailing2023-04 SG22のWG14からのものを除いて、全部で41本あります。 N4940 WG21 2022-11 Kona Minutes of Meeting V2 N4941 INCITS C++/WG21 Agenda: 6-11 February 2023, Issaquah, WA USA N4942 WG21 2023-01 Admin telecon minutes N4943 WG21 February 2023 Issaquah Minutes of Meeting N4944 Workin…