Emmanuel Stapf: Eiffel and Contract Oriented Programming

Posted: Apr 29, 2009 at 11:43 AM
By: Charles
Avg Rating: 5

(2)
31,406 Views
reddit

Tweet

26 minutes, 16 seconds

format
< > embed
+ queue

Sign In first to access your queue.
Close

Sorry, video was not added to the queue, an error occurred. Please Contact Us and let us know.
Close

Embed code for this video

Copy the code above to embed our video on your website/blog.

Video format

Option selected may change based on video formats available and browser capability.

Auto
Use our suggested format for this video.
Smooth Streaming
Adaptive bitrate streaming - little buffering but lower video quality at times of low bandwidth. Silverlight 5 required
Progressive
Traditional buffered video format. Silverlight 5 required
HTML5
For browsers that support H.264 MP4 or WebM video playback such as:
IE9+, Firefox 4+, Chrome 5+, or Safari 4+.
Flash
For browsers that have the Adobe Flash Player plugin installed.

Download

Right click “Save as…”

High Quality WMV (PC, Xbox, MCE)

File size
286.3 MB
MP3 (Audio only)

File size
12.0 MB
MP4 (iPod, Zune HD)

File size
92.6 MB
Mid Quality WMV (Lo-band, Mobile)

File size
90.4 MB
WMV (WMV Video)

File size
240.0 B

The Eiffel programming language is an object-oriented language that is based on a fixed set of powerful principles like Design by Contract and Command-Query Separation. It's a very powerful language that has impacted the evolution of the more popular general purpose OO languages such as Java and C#. Here, one of the developers of Eiffel, Emmanuel Stapf, sits down with one of the C# language designers, Mads Torgersen, to discuss the language level code contracts in Eiffel and the general principles of contract oriented programming.

Follow the Discussion

Follow
Oops, something didn't work.

Try again?

Sign In to be begin to follow these comments

What does this mean?
Following an item on Channel 9 allows you to watch for new content and comments that you are interested in. You need to be signed in to Channel 9 to use this feature.

Getting "follow" information

Stop following these comments

Start following these comments

What does this mean?
Following an item on Channel 9 allows you to watch for new content and comments that you are interested in and view them all on your notifications page.

Removing your "follow"

Setting up your "follow"

Did you know you can
sign up for email notifications?
- Subscribe to this comments

Comments Closed

Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums,
or Contact Us and let us know.