1. Education in Automated Software Engineering Michael Lowry Robust Software Engineering NASA Ames Research Center

2. Education of Students for ASE How should we educate young Computer Scientists in the field of Automated Software Engineering? ASE is a young field - most of our best results are yet to be discovered. Teaching the basics is most important. Math –Logic –Abstract algebra –Semantics Algorithms –Knuth –Symbolic manipulation –Search/optimization

3. Education of Students for ASE How should we educate young Computer Scientists in the field of Automated Software Engineering? ASE is a young field - most of our best results are yet to be discovered. Teaching the basics is most important. MathB+ –Logic –Abstract algebra –Semantics Algorithms A –Knuth –Symbolic manipulation –Search/optimization

4. Education of Students for ASE How should we educate young Computer Scientists in the field of Automated Software Engineering? ASE is a young field - most of our best results are yet to be discovered. Teaching the basics is most important. Empirical MethodsD –Experimental design –Controls for independent variables (e.g., human variation) –Statistical analysis Communication skills C –Written –Oral

5. View from the Field I continue to hear people lament the costs and dangers of software development and certification for mission critical, crewed applications. People apply experiences from Orbiter and Station certification, and point to failures such as Ariene and DART, and assert that software certification is too complex and risky to do beyond very basic functions. I'd like to show that modern state-of-the-practice can make software testing [and development] more efficient and manageable.

6. Education for Practitioners What must someone know to be a practitioner of ASE technology who makes effective use of classic techniques in industry practice? Formal Specification Techniques –Assertions/annotations –Pre/post conditions –Automata –Basic forms of logic