Month: July 2012
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.
SP software engineering seminar (web-streamed): talks by H. Gall and L. Baresi, Thursday, 5 July
On Thursday, July 5 at 15 Saint Petersburg time (7 AM New York, noon London, 13 Paris/Brussels/Zurich/Milan), the Saint Petersburg software engineering seminar presents two talks, streamed over the Internet: Firat hour: Luciano Baresi, Politecnico di Milano: A-3: A Middleware for Self-organizing Pervasive Systems Second hour: Harald Gall, University of Zurich: Software Assessment with Software … Read more
Positions open at ETH in concurrency and verification
We have positions open at both the PhD and Postdoc levels at the Chair of Software Engineering at ETH Zurich, the Chair of Software Engineering. As noted in an earlier article, I recently received an Advanced Investigator Grant from the European Research Council (5 years, 2.5 million euros) on the theme “Concurrency Made Easy”; see … Read more