March 2014 - Bertrand Meyer's technology+ blog

Lamport, Turing

7 December 201419 March 2014 by Bertrand Meyer

Some of his articles are well known but many gems are not; see for example his take on Buridan’s Ass.

New article: contracts in practice

17 April 201418 March 2014 by Bertrand Meyer

For almost anyone programming in Eiffel, contracts are just a standard part of daily life; Patrice Chalin’s pioneering study of a few years ago [1] confirmed this impression. A larger empirical study is now available to understand how developers actually use contracts when available. The study, to published at FM 2014 [2] covers 21 programs, … Read more

New article: passive processors

17 April 201417 March 2014 by Bertrand Meyer

The SCOOP concurrency model has a clear division of objects into “regions”, improving the clarity and reliability of concurrent programs by establishing a close correspondence between the object structure and the process structure. Each region has an associated “processor”, which executes operations on the region’s objects. A literal application of this rule implies, however, … Read more

Agile book announced

17 April 201412 March 2014 by Bertrand Meyer

My book “Agile! The Good, the Hype and the Ugly” will be published in a few weeks by Springer. The announced date is April 30 and there is a preview Amazon page: here.