Software engineering Archives - Page 20 of 25 - Bertrand Meyer's technology+ blog

New LASER proceedings

17 April 201420 February 2012 by Bertrand Meyer

Springer has just published in the tutorial sub-series of Lecture Notes in Computer Science a new proceedings volume for the LASER summer school [1]. The five chapters are notes from the 2008, 2009 and 2010 schools (a previous volume [2] covered earlier schools). The themes range over search-based software engineering (Mark Harman and colleagues), replication … Read more

ERC Advanced Investigator Grant: Concurrency Made Easy

17 April 201412 February 2012 by Bertrand Meyer

We have just been awarded an ERC Advanced Investigator Grant project on concurrent programming (2.5 M EUR). This article is a brief introduction to the project and a first announcement of the positions (postdocs, phds, engineer) for which we will be advertising.

R&D positions in software engineering

17 April 20146 February 2012 by Bertrand Meyer

In the past couple of weeks, three colleagues separately sent me announcements of PhD and postdoc positions, asking me to circulate them. This blog is as good a place as any other (as a matter of fact when I asked Oge de Moor if it was appropriate he replied: “Readers of your blog are just … Read more

TOOLS 2012, “The Triumph of Objects”, Prague in May: Call for Workshops

17 April 20142 February 2012 by Bertrand Meyer

The TOOLS federated conferences, held in Prague May 28 to June 1, will include five conferences (TOOLS EUROPE, ICMT, Software Composition, Tests And Proofs, Multicore Software Engineering) and a number of workshop. It is still possible to propose workshops; the instructions are given here.

Never design a language

17 April 201431 January 2012 by Bertrand Meyer

It is almost always a bad idea to design a language (for example, a DSL), and I am not even sure anymore why I wrote “almost”.

Concurrency seminars

17 April 201423 January 2012 by Bertrand Meyer

A set of one-day concurrency seminars organized in the US and Europe in the next few months.

Webinar today: the Varieties of Loop Invariants

17 April 201413 January 2012 by Bertrand Meyer

I did not have time to complete my Monday post this week; it will be for next Monday (title: Never design a language). In the meantime, here is the announcement for today’s Saint Petersburg Software Engineering seminar , which can be followed live at http://sel.ifmo.ru/seminar/live (19:30 Saint Petersburg time, meaning 16:30 Zurich/Paris, 7:30 PDT on … Read more

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.