December 2011 - Bertrand Meyer's technology+ blog

Webinars Dec. 29: (1) Model-based contracts (2) Assessing agile methods

17 April 201428 December 2011 by Bertrand Meyer

The Saint Petersburg Software Engineering seminar (organized jointly by ITMO and SPbSPU universities) takes place every Thursday, normally 18-21. You can find the program at http://sel.ifmo.ru/seminar/ . Starting with the Dec. 29 seminar, the talks can now be attended remotely. You can follow them live (i.e. starting at 18:00 SP time, 15:00 Zurich/Paris, 9 … Read more

Guest article: funding great research

17 April 201427 December 2011 by Bertrand Meyer

In a blog article posted in its original version on this blog [1] and in a revised version on the Communications of the ACM blog [2], I emphasized the relevance of incremental research. Recently Mikkel Thorup sent me some interesting comments, which I am publishing here as the first Guest Column of this blog. References … Read more

How to design software

12 December 201413 December 2011 by Bertrand Meyer

The process of software design consists of developing intermediate levels of abstraction until we reach a compromise: a set of abstractions that satisfy the needs of application programmers and are efficiently implementable in terms of what was available in the first place.