Ada-Europe 2018 – 23rd International Conference on Reliable Software Technologies in Lisbon, Portugal.
Writing Contracts in Ada (course): I will give a course on writing contracts in Ada in connection with Ada-Europe 2018 in Lisbon in June. The course is an updated edition of the course Contract-based programming in Ada 2012.
Unit-testing with Ahven (course): I will give a course on unit-testing with Ahven in connection with Ada-Europe 2018 in Lisbon in June. Ahven is an Open Source framework for writing unit tests. It is intended to work with any Ada 95 compiler and is regularly tested with several different compilers. The course is focused on testing for projects with less strict testing requirements than DO-178C.