[B! dbc] masterqのブックマーク

masterq id:masterq

dbcに関するmasterqのブックマーク (2)

Design by contractとホーア論理
2. 自己紹介ハンドルネーム • 正式には「kmt-t」 • はてなID : kmt-t2 • Twitter ID : kmt_t 居住地 • 大阪に「出稼ぎ」中です • 鳥取に帰ろうとしてその度に阻止されています…orz 属性など • いわゆる「組み込み屋」です • 言語的にはC/C++/C# • ミドルウェア(2D/3Dグラフィックス、ファイルシステムなど) 1 4. Design by Contractとは事前条件 • ある手続きが事前に満たすべき条件事後条件 • ある手続きが事後に満たすべき条件不変条件 • ある手続きが常に満たすべき条件以上の条件を満たすことをプログラム上に記述する • C/C++ではAssertで記述することが多い • Eiffelでは言語でサポートしているらしい (触ったことありません) • ちょっと遠いところではUMLのユースケース記述でも同じよ
masterq 2018/09/06
verify

hoare-logic

dbc
リンク
Boost.Contract その1 - C++ Advent Calender 2012 - すいバカ日誌
これは C++ Advent Calender 2012 の3日目の記事です。ーBoost.Contract 0.4.1が最新です。（2012/12/03現在）はい、契約だからってま○どマギネタとか出てくるんじゃないかなーって期待していたそこのアナタ！残念ながら使い回されすぎて使いにくいため、そういったものは出てきませんのであしからず。 Introduction 今回は、今年9月頃に採択されたBoost.Contractについてご紹介します。そもそもContract Programming(Design by Contract - DbC)は、はじめEiffel,Spec#など*1で取り入れられていたものです。契約プログラミングの大体の説明はWikipediaに任せるとして、それをC++ではどうかけるのか、これからまとめていきたいと思います。 Boost.ContractのTutor
masterq 2016/02/10
dbc

boost

c++
リンク
1