|
12:00
|
--- Morning wrap up ---
|
|
12:30
|
--- Lunch break ---
|
|
13:30
|
Clean Code - Why you should care
-
Benjamin Wolff
(CERN)
(31/3-004 - IT Amphitheatre)
|
|
14:00
|
Automated Smoke Testing on the JVM with Geb
-
Joao Silva
(CERN)
(31/3-004 - IT Amphitheatre)
|
|
14:30
|
Achieving dependable software through Continuous Delivery and Quality Monitoring
-
Kamil Henryk Krol
(CERN)
(31/3-004 - IT Amphitheatre)
|
|
15:00
|
The benefits of SOLID in software development
-
Ruben Agudo Santos
(Universidad de Oviedo (ES))
(31/3-004 - IT Amphitheatre)
|
|
15:30
|
--- Coffee break ---
|
|
15:45
|
Formal verification of industrial control systems
-
Daniel Darvas
(CERN / Budapest University of Technology and Economics (HU))
(31/3-004 - IT Amphitheatre)
|
|
16:15
|
FESA Quality Assurance
-
Frederic William Hoguin
(CERN)
(31/3-004 - IT Amphitheatre)
|
|
16:45
|
Writing robust C++ code for critical applications
-
Miguel Ojeda Sandonis
(CERN)
(31/3-004 - IT Amphitheatre)
|
|
17:15
|
How we test the CERN Power Converter Control Libraries (CANCELLED)
-
Quentin King
(CERN)
Krzysztof Tomasz Lebioda
(AGH University of Science and Technology (PL))
(31/3-004 - IT Amphitheatre)
|
|
17:30
|
--- Wrap up ---
|
