Content deleted Content added
tags seem unnecessary after revisions, but I'm not opposed to them being restored if anyone disagrees |
m →top: bold |
||
Line 1:
'''Universal Systems Language''' is a [[modeling language]] and [[formal method]] for the specification and design of software and other complex systems. It was designed by [[Margaret Hamilton (scientist)|Margaret Hamilton]] based on her experiences writing flight software for the [[Apollo program]].<ref name="USL">[[Margaret Hamilton (scientist)|M. Hamilton]] and W. R. Hackler, "[http://www.htius.com/Articles/r12ham.pdf Universal Systems Language: Lessons Learned from Apollo]", IEEE Computer, Dec. 2008.</ref> The language is implemented through the 001 Tool Suite software by Hamilton Technologies, Inc.<ref>[http://www.htius.com 001 Tool Suite (1986-2015)]</ref> Previous iterations of the concept have been known as 001AXES, Development Before The Fact, or Higher Order Software.
==Philosophy==
| |||