https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=AUTO-CAAS_Project_Meeting_14_September_2015 2026-04-05T15:36:04Z Revision history for this page on the wiki MediaWiki 1.22.6 https://wiki.hh.se/ceres/index.php?title=AUTO-CAAS_Project_Meeting_14_September_2015&diff=5483&oldid=prev 2015-09-09T13:37:10Z

<p>Created page with &quot;== Time and Place == September 14, 2015 QuviQ AB, Chalmers Teknikpark, Johanneberg Campus == Draft Agenda == (10:00 Wojciech &amp; Mohammad arrive in Göteborg) 13:00 - ~1...&quot;</p> <p><b>New page</b></p><div>== Time and Place ==<br /> <br /> September 14, 2015 <br /> <br /> QuviQ AB, Chalmers Teknikpark, Johanneberg Campus <br /> <br /> == Draft Agenda == <br /> <br /> (10:00 Wojciech &amp; Mohammad arrive in Göteborg)<br /> <br /> 13:00 - ~13:20<br /> :Wojciech - Quick recap of the project research questions<br /> <br /> 13:20 - 15:30 (with a coffee break somewhere half way)<br /> :Disussions:<br /> :* Classification of failures and non-conformances<br /> :* Formal description of non-conformance<br /> :* Use of symbolic execution<br /> :* Case study<br /> :* Files repository (possible candidates Bitbucket (GIT/Mercurial) and Rioux (SVN))</div>

Ceres