At the start of the Apollo program, the onboard flight software needed to land on the moon didn’t exist. Computer science wasn’t in any college curriculum. NASA turned to mathematician Margaret Hamilton, of the Massachusetts Institute of Technology, to pioneer and direct the effort.
With her colleagues, she developed the building blocks for modern “software engineering,” a term Hamilton coined. What later became the foundations for her Universal Systems Language (001AXES) and Development Before the Fact (DBTF) formal systems theory, allowed the team to create what she called ultra-reliable software for the moon trip. Read More →
— from NASA Engineers and Scientists - Transforming Dreams Into Reality