>>11474891In 1976, Hamilton co-founded with Saydean Zeldin a company called Higher Order Software (HOS)[43] to further develop ideas about error prevention and fault tolerance emerging from their experience at MIT working on the Apollo program.[44][45] They created a product called
USE.IT, based on the HOS methodology they developed at MIT.[46][47][48] It was successfully used in numerous government programs[49][50] including a project to formalize and implement C-IDEF, an automated version of IDEF, a modeling language developed by the U.S. Air Force in the Integrated Computer-Aided Manufacturing (ICAM) project.[51] In 1980, British-Israeli computer scientist David Harel published a proposal for a structured programming language derived from HOS from the viewpoint of and/or subgoals.[52] Others have used HOS to formalize the semantics of linguistic quantifiers,[53] and to formalize the design of reliable real-time embedded systems.[54]
Hamilton was the CEO of HOS through 1984[44] and left the company in 1985. In March 1986, she founded Hamilton Technologies, Inc. in Cambridge, Massachusetts. The company was developed around the Universal Systems Language (USL) and its associated automated environment, the 001 Tool Suite, based on her paradigm of Development Before The Fact for systems design and software development.[35][55][56]
