blog.ieeesoftware.org
IEEE Software Blog: August 2016
http://blog.ieeesoftware.org/2016_08_01_archive.html
Wednesday, August 31, 2016. EVOSS: simulating FOSS distribution upgrades. By: Davide Di Ruscio. Associate editor: Stefano Zacchiroli. Upgrading software is a critical and error prone task that might have dramatic consequences. This is the case of the Japanese flagship astronomical satellite Hitomi that was successfully launched on 17 February 2016 but that, most probably because of a software upgrade, was declared lost on March 26th, 2016. The cost of the satellite was $286 million. Maintainer scripts ar...
cs.gssi.infn.it
2016/2017 Courses | Computer Science @ GSSI
http://cs.gssi.infn.it/20162017-courses
Computer Science @ GSSI. 2015/2016 – Courses. 2014/2015 – Courses. For each pillar, the 2016/2017 PhD program is structured as follows. 8th November – 19th December. Introductory course on the basics, main topics and research trends in the area. 31 Jan – 30 Apr. Detailed courses on selected topics of interest, with a strong focus on research results, techniques, and challenges. You can follow this link to access the up-to-date schedule of our courses. Introduction to Formal Methods. Formal Methods at Work.
cs.gssi.infn.it
2015/2016 – Courses | Computer Science @ GSSI
http://cs.gssi.infn.it/2015-2016-courses
Computer Science @ GSSI. 2015/2016 – Courses. 2014/2015 – Courses. 2015/2016 – Courses. For each pillar, the 2015/2016 PhD program is structured as follows. 2nd November – 18th December. Introductory course on the basics, main topics and research trends in the area. 11th January – 1st April. Detailed courses on selected topics of interest, with a strong focus on research results, techniques, and challenges. You can follow this link to access the up-to-date schedule of our courses. Formal Methods at Work.
ecsa2014.cs.univie.ac.at
Tutorials | ECSA 2014
http://ecsa2014.cs.univie.ac.at/program/tutorials
Vienna, Austria, 25-29 August 2014. Industry Day – August 27. Registration & Accomodation. Call for Architecture Tool Demos. Call for Doctoral Symposium. Call for Industry Day Contributions. Call for Workshop Proposals. Venue & Location. On Monday, August 25, and Tuesday, August 26, Tutorials will enrich the program of ECSA 2014. T1: Model-Driven Engineering for Software Architecture Design. Gernot Starke, Alexander Heusingfeld. T4: Software Improvement – Done Right. Received the PhD degree in informatio...