The .NET Contract Wizard: Adding design by contract to languages other than Eiffel

"Technology of Object-Oriented Languages and Systems

Volumn , Issue TOOL, 2001, Pages 14-23

  Arnout, K ^a   Simon, R ^a  

^a Interactive Software Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HIGH LEVEL LANGUAGES; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS;

EIFFEL PROGRAMMING LANGUAGE;

COMPUTER SOFTWARE;

EID: 0034860011     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (4)

1. iContract - The Java design by contract tool
2. Contracts: From analysis to C++ implementation