「メモ/インタフェース」の編集履歴（バックアップ）一覧に戻る

メモ/インタフェース - (2008/02/10 (日) 00:03:00) のソース

  The interface between two programs consists of the set of
 assumptions that each programmer needs to make about the
 other program in order to demonstrate the correctness of
 his own program.

[A Procedure for Designing Abstract Interfaces for Device Interface Modules]