Refactoring with contracts

Proceedings - AGILE Conference, 2006

Volumn 2006, Issue , 2006, Pages 53-61

  Goldstein, Maayan ^a   Feldman, Yishai A ^b   Tyszberowicz, Shmuel ^c  

^a TEL AVIV UNIVERSITY   (Israel)

^b INTERDISCIPLINARY CENTER   (Israel)

^c ACADEMIC COLLEGE OF TEL AVIV YAFFO   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

CONTRACT MODIFICATIONS; CONTRACT REFACTORINGS; RENAME METHOD;

CONTRACTS; JAVA PROGRAMMING LANGUAGE; PROJECT MANAGEMENT; SPECIFICATIONS;

SOFTWARE ENGINEERING;

EID: 34247630257     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AGILE.2006.44     Document Type: Conference Paper

References (16)

1. D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim. Jass - Java with assertions. Electronic Notes in Theoretical Computer Science, 55(2), 2001.
2. O. Barzilay, Y. A. Feldman, and S. Tyszberowicz. Jose: Aspects for design by contract. In preparation.
3. K. Beck. Test Driven Development: By Example. Addison-Wesley, 2002.
4. L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An overview of JML tools and applications. In T. Arts and W. Fokkink, editors, Eighth Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS '03), pages 73-89, June 2003.
5. The Eclipse project, 2006. http://www.eclipse.org.
6. Y. A. Feldman. Extreme design by contract. In Fourth Int'l Conf. Extreme Programming and Agile Processes in Software Engineering (XP 2003), pages 261-270, Genova, Italy, 2003.
7. Y. A. Feldman and L. Gendler. Automatic discovery of software contracts. In preparation.
8. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 2000.
9. JetBrains. IntelliJ IDEA, 2006. http://www.jetbrains.org/idea.
10. R. Kramer. iContract - the Java design by contract tool. In Proc. Technology of Object-Oriented Languages and Systems, TOOLS-USA. IEEE Press, 1998.
11. Man Machine Systems. Design by contract tool for Java - JMSAssert, 2002. http://www.mmsindia.com/JMSAssert.html.
12. B. Meyer. Eiffel: The Language. Prentice Hall, 1990.
13. B. Meyer. Object-Oriented Software Construction. Prentice Hall, 2nd edition, 1997.
14. NetBeans, 2006. http://www.netbeans.org.
15. Parasoft Corp. Jcontract home page, 2002-2004. http://www.parasoft.com/ jsp/products/home.jsp?product=Jcontract.
16. S. Wolfram. The Mathematica Book. Wolfram Media, Inc., 5th edition, 2003.