m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 そういうわけで（前のエントリーからの続きの気分）、なんかAspectJの練習をしたくなりました。メイヤー・ファンの僕としては、最初の課題に契約（contract）をやってみたい。"The AspectJ(TM) Programming Guide"の1.3節"Development Aspects"にも、"Pre- and Post-Conditions"、"Contract Enforcement"という例が出ているのだけど、もう少し系統的な契約記述法を探ってみましょう。契約といえば、メイヤー先生に決まってんでしょ契約概念について知りたいなら、迷わずメイヤー本『入門』の第7章「ソフトウェア構… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20060403%2F1144025475" title="AspectJによる契約駆動開発 (準備＋蘊蓄編) - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-04-03 09:51:15 rich https://m-hiyama.hatenablog.com/entry/20060403/1144025475 1.0 100%