Jose: Aspects for Design by Contract80-89

  title={Jose: Aspects for Design by Contract80-89},
  author={Yishai A. Feldman and Ohad Barzilay and Shmuel S. Tyszberowicz},
  journal={Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)},
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, tools that instrument the code to check for contract violations help the development process by catching errors close to their sources. This is complicated by several factors, such as the need to collect preconditions from supertypes. There are two issues involved in the implementation of such a tool… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
15 Citations
13 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 15 extracted citations


Publications referenced by this paper.
Showing 1-10 of 13 references

AspectJ in Action: Practical Aspect-Oriented Programming

  • R. Laddad
  • 2003
Highly Influential
3 Excerpts

Barter — beyond design by contract. http: //

  • V. Szathmary
  • Proceedings of the Fourth IEEE International…
  • 2006
2 Excerpts

Contracts as aspects

  • D. H. Lorenz, T. Skotiniotis
  • Technical Report NU-CCIS-03-13, College of…
  • 2004
2 Excerpts

Similar Papers

Loading similar papers…