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) \- Im
0 RSVP'd
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)
Contact Us
