SENG 4630

Students are introduced an overview of how software fits into the systems and safety processes and tips for the successful development of safety-critical software and certification. Students learn how to apply programming techniques to programming in Ada to develop safety critical system. Students are introduced to the basic concepts,syntax and semantics of the Ada programming language including types, expressions, procedures, functions, and packages. Students explore the built-in features of Ada programming that directly support structured, object-oriented,distributed, and concurrent programming.