loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
The Context of Object Computation (extended abstract)
Pune, India
September 11-September 15
ISBN: 0-7695-2678-0
ASCII Text
x 
 
Bertrand Meyer, "The Context of Object Computation (extended abstract)," Software Engineering and Formal Methods, IEEE International Conference on, pp. 13-17, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2006.36,
author = {Bertrand Meyer},
title = {The Context of Object Computation (extended abstract)},
journal ={Software Engineering and Formal Methods, IEEE International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2678-0},
pages = {13-17},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.36},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, IEEE International Conference on
TI - The Context of Object Computation (extended abstract)
SN - 0-7695-2678-0
SP13
EP17
A1 - Bertrand Meyer,
PY - 2006
KW - null
VL - 0
JA - Software Engineering and Formal Methods, IEEE International Conference on
ER -
 
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.
Citation:
Bertrand Meyer, "The Context of Object Computation (extended abstract)," sefm, pp.13-17, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.