The Community for Technology Leaders
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2006)
Pune, India
Sept. 11, 2006 to Sept. 15, 2006
ISBN: 0-7695-2678-0
pp: 13-17
Bertrand Meyer , ETH, Zurich & Eiffel Software, California, USA
ABSTRACT
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.
INDEX TERMS
null
CITATION
Bertrand Meyer, "The Context of Object Computation (extended abstract)", Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), vol. 00, no. , pp. 13-17, 2006, doi:10.1109/SEFM.2006.36
90 ms
(Ver 3.3 (11022016))