General Meeting
Topic: Ada programming language
When: Tuesday January 14th, 2020 07:00 PM to 08:30 PM
Speaker: Brian Lavender
Location: Sonic.net
Description
If you have been programming within the last twenty years or
so, you may have heard of Ada and the Department of Defense
language that seemed to have flopped and so many people
loathed and eventually failed in minds of many programmers.
Yet in contrast, you may have come through the university on
the Pascal track with fond memories. Ada, brings with it
its Pascal influence and has continued to march forward.
Or, maybe you saw the video of a C-130J transport plane
doing a full loop operating on fly by wire flight controls.
Whatever it is, Ada has marched forward and has been making
strides in the field of secure software programming. Brian
will talk about the use of SPARK/Ada using contracts and
Ada's static software analyzer relative to secure software
programming. Second, he will talk about learning Ada using
JGrasp and the available learning resources.
About
Brian Lavender has been a long time GNU/Linux hacker with a
passion for secure software programming. His day job is
doing Java development for the Bureau of Real Estate
Appraisers (Department of Consumer Affairs for State of
California). He also teaches at Sac State as a part time
lecturer teaching Programming Methodologies and Concepts II.
