ESEC/FSE 2013: 18-26 August, Saint Petersburg, Russia






The European Software Engineering Conference takes place every two years in connection with the ACM Foundations of Software Engineering symposium (which in even years is in the US). The next ESEC/FSE  will be held for the first time in Russia, where it will be the first major international software engineering conference ever. It comes at … Read more




EIS: Putting into Practice the Single Model Principle






The fundamental idea behind EIS is to support the seamless form of software development promoted and permitted by Eiffel, where all phases of a project’s lifecycle are closely linked and the code provides the ultimate reference. Since other documents are often involved, in particular a requirements document (SRS, Software Requirements Specification), it is essential to record their precise associations with elements of the software text.







Domain Theory: the forgotten step in program verification






  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




ERC Advanced Investigator Grant: Concurrency Made Easy






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.