Extreme design by contract

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2675, Issue , 2003, Pages 261-270

  Feldman, Yishai A ^a  

^a INTERDISCIPLINARY CENTER   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

DESIGN BY CONTRACTS; EXTREME DESIGN; LIGHT WEIGHT; REFACTORINGS; UNIT TESTING;

SOFTWARE ENGINEERING;

EID: 35248890306     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44870-5_32     Document Type: Article

References (8)

1. B. Meyer. Object-Oriented Software Construction. Prentice Hall, 2nd edition, 1997.
2. R. Kramer. iContract - the Java design by contract tool. In Proc. Technology of Object-Oriented Languages and Systems, TOOLS-USA. IEEE Press, 1998.
3. R. Kramer. iContract home page. http://www.reliable-systems.com/tools/iContract/iContract.htm.
4. Parasoft Corp. Jcontract home page. http://www.parasoft.com/jsp/products/home.jsp?product=Jcontract.
5. Man Machine Systems. Design by contract tool for Java - JMSAssert. http://www.mmsindia.com/JMSAssert.html.
6. A. van Deursen and L. Moonen. The video store revisited: Thoughts on refactoring and testing. In M. Marchesi and G. Succi, editors, Proc. 3rd Int'l Conf. Extreme Programming and Agile Processes in Software Engineering, pages 71-76, 2002.
7. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 2000.
8. Y. A. Feldman and L. Gendler. Automatic discovery of software contracts. In progress.