It looks like you're new here. If you want to get involved, click one of these buttons!
Name of author/s: Margaret Hamilton and Saydean Zeldin
Year circulated/published: 1976
To follow up on our conversation about Margaret Hamilton, I'm interested in the Axes or 001Axes and its legacy. What became of this software? How did it change into Universal Systems Language? What if any impact has it had on computing. In one article, she calls it, "001AXES—actually a meta-language—has mechanisms to define mechanisms for defining
I'm interested in this programming language because it seems to carry on her work on error prevention, Development Before the Fact, Systems Oriented Objects, et cetera.
I came across this article by Dijkstra: "Judging “HOS” from a distance" [Higher Order Software, Inc., which produced Axes]. In typical Dijkstra fashion, he proceeds to criticize four publications tied to HOS, including some of the specifications of Axes. He casts serious shade on the endeavor.
I have yet to find a code snippet for this language, but have found a number of diagrams, Function Maps or Type Maps, I will post one below. Is this a primarily visual language? Or is that the output of the 001 tool?
Judging “HOS” from a distance
The code is dependent on 6 axioms that I will post below. Help me hunt for the code and its impact.
Hamilton, Margaret H., and William R. Hackler. “8.3.2 A Formal Universal Systems Semantics for SysML.” INCOSE International Symposium, vol. 17, no. 1, June 2007, pp. 1333–57. Wiley Online Library, doi:10.1002/j.2334-5837.2007.tb02952.x.
Hamilton, Margaret, and Saydean Zeldin. AXES Syntax Description. Defense Technical Information Center, 1976.