Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2006)
Sept. 11, 2006 to Sept. 15, 2006
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.36
Bertrand Meyer , ETH, Zurich & Eiffel Software, California, USA
A program, or in object-oriented programming a feature, is characterized not only by an implementation but by a contract specifying its intent and a proof obligation to ascertain that the implementation meets the contract. From these ideas it is possible to derive a general framework for discussing programs and program development.
B. Meyer, "The Context of Object Computation (extended abstract)," Fourth IEEE International Conference on Software Engineering and Formal Methods(SEFM), Pune, 2006, pp. 13-17.