Join Scoop.it for Free
Share ideas that matter on the social web and experience
the benefits of curating the world's best content.
I don't have a Facebook, a Twitter or a LinkedIn account
Already have an account: Login
 Your new post is loading...
No comment yet.
Sign up to comment
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
Scoop.it!
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
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
Via Javier Velilla
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from 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.
Via Javier Velilla
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
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…...
Via Javier Velilla
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
SCOOP (Simple Concurrent Object-Oriented Programming), is an Eiffel-language extension that facilitates concurrent programming and simplifies it so that it b...
Via Javier Velilla
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
Embarcadero's (previously Borland's) Delphi evolved from an object-oriented version of Turbo Pascal. In terms of syntax, Delphi resembles the Eiffel language...
Via Javier Velilla
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
Here we discuss the importance of Microsoft .Net as a technical innovation and a little bit about the roots of C#. Then we look at the ways in which C# and t...
Via Javier Velilla
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
In this second installment of the Design by ContractTM presentation, you will see the very useful and interesting effect that Design by Contract™ has when us...
Via Javier Velilla
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
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
Via Javier Velilla
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
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
Via Javier Velilla
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
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.
Via Javier Velilla
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
Computer magazineís multimedia editor Charles Severance interviews Bertrand and Annie Meyer about the Eiffel programming language, software engineering, and ...
Via Javier Velilla
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
In this presentation, you get an introduction to EiffelStudio, Eiffel Software's interactive development environment. It is designed specifically to support ...
Via Javier Velilla
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
UML is a modeling language which is the product of an amalgamation of different object-oriented methods and notations. UML can be used to capture and record ...
Via Javier Velilla
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
The Java language was announced by Sun Microsystems in 1995 and has experienced enormous growth since. Like C#, Java has its roots in C and C++. We will see ...
Via Javier Velilla
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Rescooped by Jocelyn Fiat from Eiffel-Resources |
Scoop.it!
Where Eiffel Fits: Introduction To get things started, this general introduction takes a look at some human and cultural issues. Then we look at a few of the...
Via Javier Velilla
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
