Presentations from May 30. workshop

Most presentations from the workshop on SafeScrum, agile co-design safety & security, life-cycle management and formal methods are now available for download.

1. intro (geir)

2. yes hardware can be agile (nancy)

3. safescrum (tor)

4. kpn (geir)

5. co-design (dag) [oral only]

6.1. safety and security (børge)

6.2 safe and secure communication (stig)

7.

agile lifecycle from concept to acheter viagra maintenance (thor)

8.1 the smell of formal methods at autronica (øyvind)

8.2 the smell of formal methods at autronica (frank) [not public]