IEEE - Institute of Electrical and Electronics Engineers, Inc. - Jose: Aspects for Design by Contract80-89

Fourth IEEE International Conference on Software Engineering and Formal Methods

Author(s): Y.A. Feldman ; O. Barzilay ; S. Tyszberowicz
Sponsor(s): IEEE Comput. Soc
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Pune, India
Conference Date: 11 September 2006
Page(s): 80 - 89
ISBN (Paper): 0-7695-2678-0
DOI: 10.1109/SEFM.2006.26
Regular:

Design by contract is a practical methodology for evolving code together with its specification. The contract has important methodological implications on the design of the program. In addition,... View More

Advertisement