ソフトウェア設計及び演習2017

モジュールが提供するインタフェースを確認

モジュール内での決まりを書く

• 内部インタフェースの定義と説明

モジュールが提供するインタフェースの実装方法を書く

• 関数が呼び出される前の状態
• 関数が呼び出された後の状態
• 関数内部の操作を，モジュールが提供する概念（の詳細）と機能（の詳細）を用いて記述する

実装方法の実際を，実装言語で翻訳したものがそのままソースプログラムになる（と理想的）