During this workshop, you’ll learn what makes the Ada programming language special and why you should use it, how to write bug-free code with SPARK Ada and how to implement the stack data structure in SPARK Ada.
- Registration (20 min)
- Introductions and Networking (25 min)
- Installations (15 min)
- Testing Codes (30 min)
- Writing bug-free code (45 min)
- Break (15 min)
- Implementation (30 min)
- Demos (20 min)
- Pictures (15 min)
FoxPay
Umar Farooq Adamu
BCH NG
Event Organizer
TECHHAUSA
Event Organizer
Innovation Machine ltd
Co-Organizer
Women Techmakers Lead