olbigtenor:
...
> I have been looking at Ada - - - I really like the idea of provably correct
> constructs.
...

Hehe, first you have to solve the right problem, then you might prove
it, tough testing is fine too.

If you want to get into computer science, you could start with theese:
https://en.wikipedia.org/wiki/Programming_paradigm
https://en.wikipedia.org/wiki/Software_development_methodology
https://en.wikipedia.org/wiki/Computer_science

> when I go looking for those that have used Ada
> to solve 'small' things like weather station sensors and making things
> like pressure controls
...

What do you want, programming for microcontrollers or for a pc getting
data from microcontrollers ?

Regards,
/Karl Hammar