Eiffel-Resources
394 views | +0 today
Follow
Eiffel-Resources
Eiffel Libraries, docs, code, examples, etc
Curated by Javier Velilla
Your new post is loading...
Your new post is loading...
Scooped by Javier Velilla
Scoop.it!

Automated Fixing - YouTube

Demonstration of EiffelStudio functionality to infer missing types in local declarations, to detect unused local variables and to fix source code on user req...
more...
No comment yet.
Scooped by Javier Velilla
Scoop.it!

Bertrand Meyer's technology+ blog » Blog Archive » Learning to program, online

Bertrand Meyer's technology+ blog » Blog Archive » Learning to program, online | Eiffel-Resources | Scoop.it
more...
No comment yet.
Scooped by Javier Velilla
Scoop.it!

Automatic inference of frame conditions through the alias calculus

Abstract
Frame specifications, the description of what does not change in a routine call, are one of the most annoying components of verification, in particular for object-oriented software. Ideally frame conditions should be inferred automatically. I will present how the alias calculus, described in recent papers, can address this need.

http://sel.ifmo.ru/seminar/alias-frame-new.pdf

http://sel.ifmo.ru/seminar/change_set_rule.pdf

 

http://sel.ifmo.ru/seminar/alias-frame.webm

 

more...
No comment yet.
Scooped by Javier Velilla
Scoop.it!

API design with strong specifications

Designing good APIs is hard, and most recommendations on the topic given in the literature are very informal and difficult to apply. This talk discusses how strong behavioral specifications help construct better APIs by avoiding over-abstraction and inconsistencies in class hierarchies. We introduce model-based contracts: a methodology to equip object-oriented components with expressive and structured specifications, and to evaluate their completeness.
As an example, this talk presents EiffelBase2 — a data structure library for Eiffel, developed from the start with strong specifications and with the ultimate goal of proving its full functional correctness. We focus on how strong specifications solidify the design of the library, improve its usability and enable more extensive verification.

http://sel.ifmo.ru/seminar/eb2.pdf

http://sel.ifmo.ru/seminar/strong-specifications.webm

 

more...
No comment yet.
Scooped by Javier Velilla
Scoop.it!

ETH Zurich Multimedia Portal: video, audio, podcast, webcast, live-streaming - FOSE Symposium

Concurrent Programming Is Easy
 
more...
No comment yet.
Scooped by Javier Velilla
Scoop.it!

The Demand for Software Quality

Bertrand Meyer talks with Bill Venners about the increasing importance of
software quality, the commercial forces on software quality, and
the challenges of software complexity.
more...
No comment yet.
Scooped by Javier Velilla
Scoop.it!

EiffelStudio Overview

In this presentation, you get an introduction to EiffelStudio, Eiffel Software's interactive development environment. It is designed specifically to support ...
more...
No comment yet.
Scooped by Javier Velilla
Scoop.it!

Improving the API Developer Experience | APIfy - API Management from the Cloud

Improving the API Developer Experience | APIfy - API Management from the Cloud | Eiffel-Resources | Scoop.it
Ronnie Mitra of the APIfy API Academy discusses the importance of optimizing the development experience for developers building apps against APIs
more...
No comment yet.
Scooped by Javier Velilla
Scoop.it!

The varieties of loop invariants

Abstract
The key practical issue in verifying software is to come up with the right loop invariants. We are performing an extensive analysis of loop invariants in important algorithms across all major areas of computer science, and have developed a taxonomy. I will present some of the results of this ongoing work, performed with Sergey Velder (ITMO) and Carlo Furia (ETH).

http://sel.ifmo.ru/seminar/invariants.pdf

http://sel.ifmo.ru/seminar/loop-invariants.webm

 

more...
No comment yet.
Scooped by Javier Velilla
Scoop.it!

Agile methods: the good, the hype and the ugly

Abstract Agile methods (such as Extreme Programming, Scrum and Lean Software) are a remarkable mix of very good, unremarkable and very bad ideas. This short presentation summarizes the key agile ideas and analyzes which ones software projects should retain and which they should reject.

http://sel.ifmo.ru/seminar/agile-itmo.pdf

http://sel.ifmo.ru/seminar/agile-methods.webm

more...
No comment yet.
Scooped by Javier Velilla
Scoop.it!

Failure, Preconditions, and Reuse

Failure, Preconditions, and Reuse | Eiffel-Resources | Scoop.it
Bertrand Meyer talks with Bill Venners about strategies for dealing with failure,
where to check preconditions, and when it's appropriate to design for reuse.
more...
No comment yet.
Scooped by Javier Velilla
Scoop.it!

Computing Conversations: Bertrand Meyer: Eiffel Programming Language

Computer magazineís multimedia editor Charles Severance interviews Bertrand and Annie Meyer about the Eiffel programming language, software engineering, and ...
more...
No comment yet.
Scooped by Javier Velilla
Scoop.it!

Reflections on Contracts

A screencast focusing on rules of thumb for writing good contracts, learning how to write contracts by reading existing API specs written in English and converting…...
more...
No comment yet.