Powered by
2012 34th International Conference on Software Engineering (ICSE),
June 2–9, 2012,
Zurich, Switzerland
Software Engineering in Practice
Services and Analytics
Wed, Jun 6, 10:45 - 12:45
Mini-Tutorial: Software Analytics
Wed, Jun 6, 14:00 - 15:30
Invited Industrial Experts
Wed, Jun 6, 16:00 - 18:00
Formal Methods
Thu, Jun 7, 10:45 - 12:45
Formal Correctness, Safety, Dependability, and Performance Analysis of a Satellite
Marie-Aude Esteve, Joost-Pieter Katoen
, Viet Yen Nguyen, Bart Postma, and Yuri Yushtein
(European Space Agency, Netherlands; RWTH Aachen University, Germany; University of Twente, Netherlands)
Goldfish Bowl Panel: Software Development Analytics
Thu, Jun 7, 16:00 - 17:30
Re-engineering
Thu, Jun 7, 16:00 - 17:30
Debugging
Fri, Jun 8, 08:45 - 10:15
Case Studies
Fri, Jun 8, 08:45 - 10:15
Testing
Fri, Jun 8, 10:45 - 12:45
The Quamoco Product Quality Modelling and Assessment Approach
Stefan Wagner, Klaus Lochmann, Lars Heinemann, Michael Kläs, Adam Trendowicz, Reinhold Plösch, Andreas Seidl, Andreas Goeb, and Jonathan Streit
(University of Stuttgart, Germany; TU Munich, Germany; Fraunhofer IESE, Germany; JKU Linz, Austria; Capgemini, Germany; SAP, Germany; itestra, Germany)
proc time: 0.03