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
Scoop.it!
|
|
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
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Scooped by Javier Velilla |
Scoop.it!
Concurrent Programming Is Easy
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Scooped by Javier Velilla |
Scoop.it!
Bertrand Meyer talks with Bill Venners about Design by Contract.
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Scooped by Javier Velilla |
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.
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Scooped by Javier Velilla |
Scoop.it!
In this screencast I do a high-level walkthrough of the EiffelStudio IDE.
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Scooped by Javier Velilla |
Scoop.it!
In this presentation, you get an introduction to EiffelStudio, Eiffel Software's interactive development environment. It is designed specifically to support ...
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Scooped by Javier Velilla |
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...
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Scooped by Javier Velilla |
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...
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Scooped by Javier Velilla |
Scoop.it!
Ronnie Mitra of the APIfy API Academy discusses the importance of optimizing the development experience for developers building apps against APIs
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
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
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
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.
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Scooped by Javier Velilla |
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.
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Scooped by Javier Velilla |
Scoop.it!
Computer magazineís multimedia editor Charles Severance interviews Bertrand and Annie Meyer about the Eiffel programming language, software engineering, and ...
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Scooped by Javier Velilla |
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…...
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Scooped by Javier Velilla |
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 ...
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
|
|
Scooped by Javier Velilla |
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 ...
Delete the scoop?
Are you sure you want to delete this scoop?
Yes
