IEEE Software Engineering FAA Magazine Programming September 1981 051218nonrh