Refactoring with contracts
暂无分享,去创建一个
Yishai A. Feldman | Shmuel S. Tyszberowicz | Maayan Goldstein | M. Goldstein | Y. Feldman | S. Tyszberowicz
[1] Bertrand Meyer,et al. Eiffel: The Language , 1991 .
[2] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .
[3] Yishai A. Feldman,et al. Jose: Aspects for Design by Contract80-89 , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
[4] Stephen Wolfram,et al. The Mathematica Book , 1996 .
[5] Yishai A. Feldman. Extreme Design by Contract , 2003, XP.
[6] Yishai A. Feldman,et al. Discern: Towards the Automatic Discovery of Software Contracts , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
[7] Kent L. Beck,et al. Test-driven Development - by example , 2002, The Addison-Wesley signature series.
[8] Heike Wehrheim,et al. Jass - Java with Assertions , 2001, RV@CAV.
[9] R. Kramer. iContract - The Java(tm) Design by Contract(tm) Tool , 1998 .
[10] Michael D. Ernst,et al. An overview of JML tools and applications , 2003, International Journal on Software Tools for Technology Transfer.