Education

The invariants of key algorithms (new paper)

by






  I have mentioned this paper before but as a draft. It has now been accepted by ACM’s Computing Surveys and is scheduled to appear in September 2014; the current text, revised from the previous version, is available [1]. Here is the abstract: Software verification has emerged as a key concern for ensuring the continued … Read more




New course partners sought: a DOSE of software engineering education

by






The project consists of building a significant software system collaboratively, using techniques of distributed software development. Each university contributes a number of “teams”, typically of two or three students each; then “groups”, each made up of three teams from different universities, produce a version of the project.







Domain Theory: the forgotten step in program verification

by






  Program verification is making considerable progress but is hampered by a lack of abstraction in specifications. A crucial step is, almost always, absent from the process; this omission is the principal obstacle to making verification a standard component of everyday software development. 1. Steps in software verification In the first few minutes of any … Read more




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

by






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.







Agile methods: the good, the bad and the ugly

by






Agile methods are wonderful. They’ll give you software in no time at all, turn your customers and users into friends, catch bugs before they catch you, change the world, and boost your love life.