Hamilton, Margaret (videnskabsmand)

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 30. juni 2020; checks kræver 67 redigeringer .

Margaret Hamilton
Navn ved fødslen	engelsk  Margaret Hamilton [2]
Fødselsdato	17. august 1936( 17-08-1936 ) [1] (86 år)
Fødselssted	Peioli [d] ,Indiana,USA[2]
Land	USA
Videnskabelig sfære	datalogi [2]
Arbejdsplads	NASA [2] Charles Stark Draper Laboratory [d] MIT AI Labs [d] MIT [2]
Alma Mater	Earlham College [d] ( 1958 )[3] University of Michigan College of Letters, Science and Arts [d]
Priser og præmier	Ada Lovelace Award [d] ( 1986 ) æresdoktorgrad fra Polytechnic University of Catalonia [d] ( 2018 ) Fellow Awards ( 2017 )
Mediefiler på Wikimedia Commons

Margaret Heafield Hamilton ( født 17. august  1936, Peioli, Indiana, USA) er en amerikansk computerforsker , systemingeniør og virksomhedsejer. Hun var leder af softwareudviklingsafdelingen på Measurement Systems Laboratory ved Massachusetts Institute of Technology (MIT). Afdelingen udviklede software ombord til NASA 's Apollo rumprogram . Hun grundlagde Higher Order Software i 1976 og Hamilton Technologies, Inc. i 1986. i Cambridge , Massachusetts .

Hamilton har udgivet over 130 videnskabelige artikler, artikler og rapporter om tres projekter og seks store programmer. Hun er en af ​​de specialister, som udtrykket " softwareudvikling " er forbundet med.

Den 22. november 2016 modtog Hamilton Presidential Medal of Freedom fra Barack Obama for hendes arbejde, der førte til udviklingen af ​​onboard-software til NASAs måneprogram.

Tidlige år

Margaret Hafield blev født 17. august 1936 i Peioli, Indiana , af Kenneth og Ruth Esther Hafield. [4] [5] Efter sin eksamen fra Hancock High School i 1954, [4] studerede hun matematik ved University of Michigan . I 1958 modtog hun sin BA i matematik og filosofi (ikke-major) fra Earlham College . [6] [7]

Efter eksamen underviste Margaret kortvarigt i matematik og fransk på gymnasiet og sørgede for sin familie, mens hendes mand arbejdede på sin bachelorgrad på Harvard University . Derefter flyttede han til Boston for at afslutte sine postgraduate studier i abstrakt matematik ved Brandeis University. Hamilton bemærker Florence Long, chef for matematik ved Earlham College, gennem hvis hjælp i abstrakt matematik hun bliver professor. [8] Blandt andre inspirationer, nu uden for teknologiens verden, krediterer hun sin far, en filosof og digter, og sin bedstefar, en skoleleder og Quaker- minister , som indflydelsesrige i at opnå sin grad i filosofi. [9]

Karriere

I sommeren 1959 begyndte Hamilton at arbejde for Edward Lorenz i afdelingen for meteorologi ved MIT. [10] Hun var involveret i udviklingen af ​​vejrudsigtssoftware til LGP-30 og PDP-1 computere i Marvin Minskys MAC- projekt . [11] [12] [13] Hun bidrog til Lorentz' arbejde med kaosteori . På det tidspunkt var datalogi og softwareudvikling endnu ikke etablerede discipliner, og programmører lærte på jobbet fra deres egen praktiske erfaring. [14] sommeren 1961 gik hun videre til et andet projekt, hvor hun ansatte og trænede Ellen Fetter som sin afløser. [ti]

SAGE-projektet

Fra 1961 til 1963 arbejdede Hamilton for Lincoln Labs SAGE ( en:Semi-Automatic Ground Environment ) -projekt , [12] , hvor hun var en af ​​de programmører, der skabte software til AN/FSQ-7 (XD-1) prototype søgesystem fjendtlige fly. [15] Hun skrev også software til luftvåbnets satellitsporingsprojekt ved Cambridge Research Laboratories . [12] SAGE-projektet var en fortsættelse af Whirlwind -projektet , startet af MIT for at skabe et computersystem til at forudsige vejrsystemer og spore deres bevægelser ved hjælp af simulatorer. SAGE blev hurtigt udviklet til militær brug i luftforsvar mod et muligt sovjetisk angreb under den kolde krig .

Når du kommer til denne organisation, får du normalt som nybegynder dette program, som ingen nogensinde har været i stand til at forstå eller køre; og det var det samme med mig. Programmering af dette viste sig at være en vanskelig opgave, og den, der skrev koden til programmet, fik et kick af at efterlade kommentarer på græsk og latin. Så de satte mig på dette program, men jeg får det stadig til at fungere. Programmet udskrev endda svar på latin og græsk. Jeg var den første, der fik det til at fungere. [16]

Det var Hamiltons indsats på dette projekt, der gjorde hende til en kandidat til NASAs førende softwareudvikler til Apollo-programmet. [fire]

Draper's Laboratory

Hamilton sluttede sig derefter til Draper Lab -teamet på MIT, som arbejdede for Apollo-programmet. Hun ledede til sidst et team med til opgave at udvikle software til Apollo-rumfartøjet og Skylab -banestationen . [19] Hamiltons team var ansvarlig for flyvesoftwaren, [20] som inkluderede algoritmer udviklet af flere topforskere til Apollo-kommandomodulet, månelanderen og Skylab. [14] [21] [14] En anden del af hendes team designede og udviklede systemsoftwaren. [22] Det omfattede fejlsøgnings- og korrektionssoftware såsom genstarter og "Indication Interface Procedures" (også kendt som "Priority Indications"), som Hamilton designede og udviklede. [23] Hun arbejdede for at få praktisk erfaring på et tidspunkt, hvor datalogikurser var sjældne, og softwareingeniørkurser endnu ikke eksisterede. [14] Hamilton fungerede også som leder af softwareudviklingsafdelingen. [24]

Hendes ekspertiseområder omfatter systemarkitektur og softwareudvikling, forretningsprocesmodellering og forretningsprocesmodellering på virksomhedsniveau , udviklingsparadigme, formelle systemmodelleringssprog , systemorienterede objekter til systemmodellering og -udvikling, automatiserede livscyklusmiljøer, metoder til kvalitetsforbedring. software. og kodegenbrugshastigheder , applikationsdomæneanalyse , algoritmekorrekthed med indbyggede sprogværktøjer, pålidelige system åbne arkitekturteknikker, fuld livscyklusautomatisering, kvalitetssikringsteknikker , problemfri integration, fejldetektion og korrektionsteknikker , brugergrænseflader , operativsystemer , slut- to-end test, livscyklusstyringsteknikker. [14]

Apollo 11

På et af de kritiske tidspunkter i Apollo 11 -programmet forhindrede den indbyggede computers flyvesoftware, at månelandingen blev afbrudt. Tre minutter før månemodulet nåede månens overflade, gik flere alarmer. Computeren var overbelastet med afbrydelser forårsaget af en forkert fase af den strøm, der blev leveret til månemodulets dockingradar. [25] [26] [27] Programalarmer indikerede "executive system overflow", hvilket betyder, at styrecomputeren ikke kunne udføre alle opgaver i realtid og måtte udskyde nogle. [28] Det asynkrone eksekveringsmodul udviklet af J. Laning [25] [29] blev brugt af Hamilton-teamet til at udvikle asynkron flyvesoftware:

Takket være teknikkerne til at opdage og genskabe fejl i systemdelen af ​​flyvesoftwaren, som inkluderede en systemdækkende "dræb og genberegn" tilgang fra genstart fra et "sikkert sted" tilgang til system snapshot og rollback teknikker, blev det muligt at udvikle indikationsgrænsefladeprocedurer (prioritetsindikationer) sammen med funktionen " man in the loop " for at give mulighed for at afbryde den almindelige indikation på astronauternes displays ved prioriteret indikation af kritiske alarmer i tilfælde af en nødsituation. Adfærden afhang af de unikke prioriteter, vi tildelte i softwaren for hver proces - dette sikrede, at alle hændelser ville ske på det rigtige tidspunkt og i den rigtige rækkefølge i forhold til andre hændelser. [tredive]

Hamiltons prioritetsalarmer afbrød astronauternes normale skærme for at advare dem om, at en nødsituation var opstået, "og gav astronauterne valget mellem at lande eller ikke at lande." [31] Jack Garman , en NASA - missionskontrolingeniør , forstod betydningen af ​​de fejl, som astronauterne så på de prioriterede skærme, og råbte "kom nu, kom nu!" og de fortsatte til land. [32] Paul Courtauld, seniorteknolog, der nominerede Hamilton til NASA Space Act Award, kaldte hendes arbejde "grundlaget for ultra-pålideligt softwaredesign." [22]

Hamilton skrev senere om hændelsen:

Computeren (eller rettere softwaren i den) var smart nok til at indse, at den blev bedt om at udføre flere opgaver, end den burde. Han sendte derefter en alarm, som betød "Jeg er overvældet af flere opgaver, end jeg burde gøre på dette tidspunkt og vil kun lade de vigtigste opgaver stå"; altså de opgaver, der er nødvendige for at lande... Faktisk var computeren programmeret til mere end at genkende fejl. Et komplet sæt gendannelsesprocedurer var involveret i softwaren. I dette tilfælde fjernede softwaren opgaver med lavere prioritet og gendannede vigtigere opgaver... Hvis computeren ikke havde genkendt dette problem og truffet handling for at genoprette, tvivler jeg på, at Apollo 11 ville være landet på månen. [33]

Egne virksomheder

I 1976 grundlagde Hamilton og en partner et firma kaldet Higher Order Software (HOS) [34] for at videreudvikle ideer om fejlforebyggelse og softwarefejltolerance baseret på deres erfaring på MIT. [35] De skabte USE.IT-softwareproduktet baseret på HOS-metoden udviklet på MIT. [36] [37] [38] Det er med succes blevet brugt i adskillige regeringsprojekter. [39] [40] Et bemærkelsesværdigt projekt var formaliseringen og implementeringen af ​​C-IDEF, en automatiseret version af IDEF , et modelleringssprog udviklet af US Air Force i projektet Integrated Computer Aided Manufacturing (ICAM). [41]

En kritik fra en konsulent fra den amerikanske flåde hævdede, at "HOS-bøger reklamerer for deres ideer og produkter i stedet for at yde væsentlige bidrag til datalogiområdet." [42] Edsger Dijkstra beskrev USE.IT-softwaren som "et mekanisk værktøj til at anvende forældede metoder." [43] HOS-teori blev brugt af Harel til at udvikle et afledt sprog til en mere moderne form for struktureret programmering afledt af HOS, kaldet OG/ELLER-programmeringssproget. [44] Andre har brugt HOS til at formalisere semantikken af ​​sproglige kvantificerere. [45] og formalisering af designet af pålidelige indlejrede realtidssystemer. [46]

Hamilton var administrerende direktør for HOS indtil 1984 [35] og forlod virksomheden i 1985. I marts 1986 grundlagde hun Hamilton Technologies i Cambridge, Massachusetts. Virksomheden blev bygget op omkring USL -sproget og dets tilhørende automatiserede miljø, 001 Tool Suite, baseret på "Design before the fact"-paradigmet for systemdesign og softwareudvikling. [27] [47] [48]

Legacy

Hamilton, Anthony Oettinger og Barry Bohm er krediteret for at skabe disciplinen "software engineering". [49] [50] Ifølge Hamilton:

På MIT ønskede hun at give sin software "legitimitet", som med andre ingeniørdiscipliner, så både softwaren og dem, der udvikler den, får den kredit, de fortjener. Som et resultat opfandt hun udtrykket "softwareudvikling" for at skelne det fra andre typer udvikling. [femten]

Hamilton beskriver, hvordan hun fandt på begrebet "softwareudvikling":

Da jeg først opfandt udtrykket, havde ingen hørt om det før, i hvert fald i vores verden. Der er blevet spøgt med det her i lang tid. Folk kunne godt lide at drille mig med mine radikale ideer. Jeg glemmer ikke den dag, hvor en af ​​de mest respekterede "hardware"-guruer på et teknisk møde forklarede alle, at han var enig med mig i, at processen med at skabe software også skal betragtes som en ingeniørdisciplin, som det er tilfældet med hardware. Ikke fordi han accepterede det nye "begreb" som sådan, men fordi vi fik godkendelse fra ham og fra andre tilstedeværende, da udtrykket med rette hører til ingeniørområdet. [tredive]

Da Hamilton begyndte at bruge udtrykket "software engineering" under de tidlige Apollo-programmer, [51] [52] sammenlignet med andre typer udvikling, blev software engineering ikke taget alvorligt [53] og blev ikke betragtet som en videnskab. Med tiden har begrebet "softwareudvikling" fået lige så stor respekt som enhver anden teknisk disciplin. [54] [49] September-oktober 2018-udgaven af ​​IEEE Software-magasinet fejrede 50 års softwareudvikling. [55] Hamilton taler om "bugs", hvordan de påvirkede softwareudvikling, og hvordan USL kan bruges til at forhindre de fleste "bugs" i et system. [56] I magasinet Wired bemærkede Robert McMillan: "På MIT hjalp Hamilton med at etablere de grundlæggende principper for programmering ved at skrive koden til verdens første bærbare computer sammen med kolleger." [57] Hamiltons innovationer går ud over at få folk til månen. Karen Tegan Padid skrev i Wired : "Hun, sammen med en anden programmeringspioner, Grace Hopper , skaberen af ​​COBOL -sproget , har også stor fortjeneste i at gøre kvinder mere tilbøjelige til at få succes inden for det tekniske område af software." [58] [59]

Priser

• I 1986 modtog Hamilton Ada Lovelace Award fra Association for Women in Computer Science . [6] [60]
• I 2003 modtog hun NASA Space Excellence Award. Prisen blev ledsaget af $37.200, det største beløb, der blev uddelt i NASAs historie. [22] [61] [62]
• I 2009 modtog hun Earlham College Outstanding Alumni Award. [6]
• I 2016 modtog hun præsidentens frihedsmedalje fra Barack Obama, den højeste civile hæder i USA. [63] [64] [65]
• Den 28. april 2017 modtog hun Computerhistorisk Museums pris, der hædrer fremragende mænd og kvinder, hvis computerideer har ændret verden. [24] [66]
• I 2017 blev Women of NASA LEGO sættet sat til salg , med figurer af Hamilton, Mae Jemison , Sally Ride og Nancy Roman . [67]
• I 2018 modtog hun en æresdoktorgrad fra Polytechnic University of Catalonia . [68]

Personligt liv

Margaret mødte sin mand James Cox Hamilton, mens hun studerede på Earlham College. De giftede sig i slutningen af ​​1950'erne, efter at Hamilton modtog sin bachelorgrad. De havde en datter, Lauren. Parret er skilt. [69]

Publikationer

• M. Hamilton (1994), "Inside Development Before the Fact", forsidehistorie, Special Editorial Supplement, 8ES-24ES. Elektronisk design , apr. 1994.
• M. Hamilton (1994), "001: A Full Life Cycle Systems Engineering and Software Development Environment," forsidehistorie, Special Editorial Supplement, 22ES-30ES. Elektronisk design jun. 1994.
• M. Hamilton, Hackler, WR. (2004), Deeply Integrated Guidance Navigation Unit (DI-GNU) Common Software Architecture Principles (revideret dec-29-04), DAAAE30-02-D-1020 og DAAB07-98-D-H502/0180, Picatinny Arsenal, NJ, 2003-2004.
• M. Hamilton og WR Hackler (2007), " Universelt systemsprog til forebyggende systemudvikling ," Proc. 5. Ann. Konf. Systems Eng. Res. (CSER), Stevens Institute of Technology, mar. 2007, papir #36.
• M. Hamilton og WR Hackler (2007), " A Formal Universal Systems Semantics for SysML ", 17. årlige internationale symposium, INCOSE 2007, San Diego, CA, jun. 2007.
• M. Hamilton og WR Hackler (2008), " Universal Systems Language: Lessons Learned from Apollo ", IEEE Computer, dec. 2008.

Kilder

1. ↑ Wayne T. K. American Women of Science Since 1900  - ABC-CLIO , 2011.
2. ↑ 1 2 3 4 5 https://www.computerhistory.org/atchm/2017-chm-fellow-margaret-hamilton/
3. ↑ http://www.earlham.edu/alumni/homecoming-and-reunions/alumni-awards/award-recipient-archives/2009-outstanding-alumni-and-distinguished-service-awards/
4. ↑ 1 2 3 Technical Innovation in American History: An Encyclopedia of Science and Technology  / Welch, Rosanne; Lamphier, Peg A.. - ABC-CLIO , 2019. - Vol. 3. - S. 62. - ISBN 978-1-61069-094-2 .
5. ↑ Ruth Esther  Heafield . tributes.com . Wujek-Calcaterra & Sons. Hentet 15. december 2014. Arkiveret fra originalen 16. december 2014.
6. ↑ 1 2 3 2009 Fremragende Alumni og Distinguished Service Awards  . Earlham College . Hentet 15. december 2014. Arkiveret fra originalen 18. maj 2015.
7. ↑ Pioneers in Computer Science  (eng.)  (utilgængeligt link) . Utah State University . Hentet 25. maj 2019. Arkiveret fra originalen 17. september 2016.
8. ↑ Kvinden der lærte mig - Margaret Hamilton MAKERS Moment  (engelsk)  (link ikke tilgængeligt) . MAKERE . Hentet 6. maj 2019. Arkiveret fra originalen 25. maj 2019.
9. ↑ Margaret Hamilton: The Untold Story of the Woman Who Tok Us to the Moon  , Futurisme (  20. juli 2016). Arkiveret fra originalen den 20. december 2016. Hentet 31. juli 2019.
10. ↑ 1 2 Sokol, Joshua The Hidden Heroines of  Chaos . Quanta Magazine (20. maj 2019). Hentet 25. maj 2019. Arkiveret fra originalen 20. maj 2019.
11. ↑ Lorenz, Edward Den statistiske forudsigelse af  løsninger . The Meteorological Society of Japan (marts 1962).
12. ↑ 1 2 3 Wayne, Tiffany K. American Women of Science Siden 1900  (ubestemt) . - ABC-CLIO , 2011. - S. 480-482. — ISBN 978-1-59884-158-9 .
13. ↑ Levy, Steven. Hackere: Heroes of the Computer Revolution  (engelsk) . - Doubleday , 1984. - P. Kapitel 5: The Midnight Computer Wiring Society. - ISBN 0-385-19195-2 .
14. ↑ 1 2 3 4 5 Om Margaret  Hamilton . klabs.org . Hentet 25. maj 2019. Arkiveret fra originalen 6. december 2010.
15. ↑ 1 2 Spicer, Dan 2017 CHM Fellow Margaret Hamilton  . Computerhistorisk Museum. Hentet 11. februar 2019. Arkiveret fra originalen 12. februar 2019.
16. ↑ AGC-konference 1 : Margaret Hamiltons introduktion  . authors.library.caltech.edu . Hentet 9. december 2015. Arkiveret fra originalen 31. januar 2016.
17. ↑ Rayl, AJS . NASA Engineers and Scientists-Transforming Dreams Into Reality  (engelsk) , 50th Magazine , NASA (16. oktober 2006).
18. ↑ Om Margaret Hamilton  . NASA Office of Logic Design . Hentet 9. april 2017. Arkiveret fra originalen 27. april 2017.
19. ↑ NASA - NASA-ingeniører og videnskabsmænd - transformerer drømme til  virkelighed . nasa.gov. Dato for adgang: 29. juli 2010. Arkiveret fra originalen 29. juni 2010.
20. ↑ Hoag, David Historien om Apollo-vejledning, navigation og kontrol om bord  . Charles Stark Draper Laboratory (september 1976). Hentet 10. september 2016. Arkiveret fra originalen 5. november 2016.
21. ↑ 1 2 3 Michael Braukus NASA News "NASA Honours Apollo Engineer" Arkiveret 24. november 2010. (3. september 2003)
22. ↑ Grønt, Alan Keyboard og Display Program og betjening (side 29  ) . Charles Stark Draper Laboratory (juni 1967). Hentet 10. september 2016. Arkiveret fra originalen 17. juli 2016.
23. ↑ 1 2 Margaret Hamilton 2017 Fellow  . Computerhistorisk Museum . Hentet 26. juni 2017. Arkiveret fra originalen 29. juni 2017.
24. ↑ 1 2 Eyles, Don Tales from the Lunar Module Guidance  Computer . Don Eyles hjemmeside . Hentet 22. juli 2016. Arkiveret fra originalen 20. juli 2016.
25. ↑ Blair-Smith, Hugh. Systemintegrationsproblemer i Apollo 11  //  IEEE Aerospace and Electronic Systems Magazine. - 2011. - 7. november ( bind 26 , nr. 11 ). - S. 16-24 . - doi : 10.1109/MAES.2011.6065654 .
26. ↑ 1 2 Hamilton, Margaret; Hackler, William.  Universal Systems Language : Lessons Learned from Apollo  // IEEE Computer : journal. - 2008. - 12. december ( bind 41 , nr. 12 ). - S. 34-43 . — ISSN 1558-0814 . - doi : 10.1109/MC.2008.541 .
27. ↑ Collins, Michael; Buzz Aldrin . Et gult advarselslys // Apollo Ekspeditioner til Månen  / Cortright , Edgar M. — Washington, DC: NASA, 1975. Kapitel 11.4.
28. ↑ Mindell, David A. Digital Apollo  . - MIT Press , 2011. - S. 149.
29. ↑ 1 2 Snyder, Lawrence og Henry, Ray Laura, "Fluency7 with Information Technology", Pearson, ISBN 0-13-444872-3
30. ↑ Hamilton, Margaret minder om 'Kæmpespring  ' . MIT News (17. juli 2009). Hentet 8. september 2016. Arkiveret fra originalen 15. september 2016.
31. ↑ Lickly, Dan minder om '  Kæmpespringet ' . MIT News (17. juli 2009). Hentet 8. september 2016. Arkiveret fra originalen 15. september 2016.
32. ↑ Hamilton , Margaret H. Computer Got Loaded   // Datamation . - 1971. - 1. marts. — ISSN 0011-6963 .
33. ↑ Roberts, Edward B. Entreprenører i højteknologi: Lessons from MIT and  Beyond . - Oxford University Press , 1991. - S. 41. - ISBN 9780199762903 .
34. ↑ 1 2 AGC Biografi - Margaret  Hamilton . authors.library.caltech.edu . Dibner Instituttet for Videnskabs- og Teknologihistorie (9. maj 2002). Hentet 26. juli 2019. Arkiveret fra originalen 25. juli 2011.
35. ↑ M. Hamilton, S. Zeldin (1976) "Højere ordens software—en metode til at definere software" IEEE Transactions on Software Engineering , vol. SE-2, nr. 1, Mar. 1976.
36. ↑ Thompson, Arthur A.; Strickland, AJ, (1996), "Strategic Management: Concepts and Cases", McGraw-Hill Companies , ISBN 0-256-16205-0
37. ↑ Rowena Barrett. Ledelse, arbejdsprocesser og softwareudvikling: Reality  Bites . - Routledge , 2004. - S. 42. - ISBN 978-1-134-36117-5 .
38. ↑ M. Hamilton; S. Zeldin. Højere ordens softwareteknikker anvendt på et rumfærgeprototypeprogram i Lecture Notes in Computer Science, vol. 19, G. Goos og J. Hartmanis, Ed. New York: Springer-Verlag , s. 17–31, præsenteret på Program Symp. Proc., Colloque sur la Programmation, Paris, Frankrig, 9.-11. april , 1974  .
39. ↑ Cohen, B. Specifikationen af ​​komplekse  systemer . — Addison-Wesley , 1986. — ISBN 0-201-14400-X .
40. ↑ Paul, Lois.  Føderale brugertilbud gratis CAD / CAM-software  // Computerworld  : magasin. - 1982. - 11. oktober ( bind 16 , nr. 41 ). — S. 9 .
41. ↑ Huber, Hartmut (august 1987),Higher Order Software – Evaluering og Kritik, Naval Surface Warfare Center, s. 2–1 , < https://web.archive.org/web/20160507101136/http://www.dtic.mil/dtic/tr/fulltext/u2/a198753.pdf#page=8 > . Hentet 22. juli 2016. . 
42. ↑ Dijkstra, Edsgar dømmer "HOS" fra en  afstand . Institut for Datalogi - University of Texas (7. april 1983). Hentet 22. juli 2016. Arkiveret fra originalen 5. marts 2016.
43. ↑ Harel, David. Og/eller programmer: En ny tilgang til struktureret programmering  // ACM-  transaktioner på programmeringssprog og -systemer (TOPLAS) : journal. - ACM, 1980. - Januar ( bind 2 , nr. 1 ). — ISSN 0164-0925 . doi : 10.1145 / 357084.357085 . Arkiveret fra originalen den 18. oktober 2016.
44. ↑ Cushing, Steven (1983). Abstrakte kontrolstrukturer. Og Kvantifikatorernes Semantik . EACL . Pisa, Italien. DOI : 10.3115/980092.980093 . Arkiveret fra originalen den 19. oktober 2016 . Hentet 14. oktober 2016 – via Semantic Scholar. Arkiveret 19. oktober 2016 på Wayback Machine
45. ↑ Holland, Michael. A Constrained Interface Refinement Method for Embedded System Design   : journal . - Institut for Computing, Macquarie University, 1997. - 1. juni.
46. ↑ Krut, Robert W. Oversigt over Hamilton Technologies, Inc. (HTI) 001 // Integration af 001-værktøjsstøtte i funktionsorienteret  domæneanalysemetodologi . - Software Engineering Institute ved Carnegie Mellon University, 1993. - S. 13-15.
47. ↑ Meng Ouyang, Michael W. Golay. En integreret formel tilgang til udvikling af højkvalitetssoftware til sikkerhedskritiske systemer (MIT Libraries, id MIT-ANP-TR-035  ) . Massachusetts Institute of Technology (september 1995). Hentet 26. maj 2019. Arkiveret fra originalen 19. februar 2015.
48. ↑ 1 2 2018 International Conference on Software Engineering fejrer sit 40 års jubilæum og 50 års software engineering. ICSE 2018 - Plenarmøder - Margaret Hamilton  (engelsk) . Hentet 9. juni 2018. Arkiveret fra originalen 3. juni 2018.
49. ↑ Software Magazine . Hvad skal man vide om videnskabsmanden, der opfandt udtrykket "Software Engineering  " . Hentet 12. februar 2019. Arkiveret fra originalen 24. november 2018.
50. ↑ Rayl, AJS NASA -ingeniører og videnskabsmænd - transformerer drømme til virkelighed  . 50. Magasin . NASA (16. oktober 2008). Dato for adgang: 27. december 2014. Arkiveret fra originalen 23. december 2014.
51. ↑ NASAs  kreativitetsarv . Hentet 13. juli 2016. Arkiveret fra originalen 29. maj 2016.
52. ↑ Makers: Margaret Hamilton Videos  (engelsk)  (link ikke tilgængeligt) . Makers.com. Hentet 5. september 2017. Arkiveret fra originalen 5. september 2017.
53. ↑ Verne Margaret Hamilton, ingeniøren, der tog Apollo til  månen . Medium (25. december 2014). Hentet 29. april 2016. Arkiveret fra originalen 13. april 2016.
54. ↑ IEEE-software. 50-års jubilæum for Software Engineering  (engelsk) . Hentet 12. februar 2019. Arkiveret fra originalen 12. februar 2019.
55. ↑ Hamilton, Margaret H. Hvad fejlene fortæller os  //  IEEE- software : journal. - 2018. - Bd. 35 , nr. 5 . - S. 32-37 . — ISSN 0740-7459 . - doi : 10.1109/MS.2018.290110447 .
56. ↑ McMillan, Robert . Hendes kode fik mennesker på månen – og opfandt selv softwaren  (engelsk) , Wired  (13. oktober 2015). Arkiveret fra originalen den 23. oktober 2015. Hentet 29. september 2017.
57. ↑ Software - og en kvinde - i hjertet af Lunar  Triumph . KABLET . Hentet 29. april 2016. Arkiveret fra originalen 5. maj 2016.
58. ↑ Luke Kingma. Kvinderne, der sætter mænd på  månen . Futurisme . Hentet 20. juli 2016. Arkiveret fra originalen 23. juli 2016.
59. ↑ Ada Lovelace  Awards . Foreningen for Kvinder i Databehandling . Foreningen for Kvinder i Databehandling. Hentet 17. september 2019. Arkiveret fra originalen 14. april 2016.
60. ↑ NASA-pressemeddelelse "NASA Honours Apollo Engineer" Arkiveret 26. december 2017. (3. september 2003)
61. ↑ NASA-administrator Sean O'Keefe har kommenteret og siger: "De koncepter, hun og hendes team skabte, blev byggestenene til moderne softwareteknik. Det er en ære at anerkende fru Hamilton for hendes ekstraordinære bidrag til NASA."
62. ↑ Præsident Obama udnævner modtagere af præsidentens frihedsmedalje  . whitehouse.gov (16. november 2016). Hentet 7. juni 2017. Arkiveret fra originalen 22. november 2016.
63. ↑ Ære til softwareskribent på Apollo-månemissionen  . BBC News (23. november 2016). Hentet 23. november 2016. Arkiveret fra originalen 24. november 2016.
64. ↑ Det Hvide Hus ærer to af teknologiens kvindelige pionerer  . CBS Nyheder . Hentet 7. juni 2017. Arkiveret fra originalen 27. april 2017.
65. ↑ Godkendelsestalen for Fellow Award 2017  . Computerhistorisk Museum. Hentet 31. juli 2019. Arkiveret fra originalen 10. juli 2020.
66. ↑ Videnskab. Kvinder fra NASA Lego-legetøjssæt nu til salg for $  24,99 . Business Insider (22. juni 2017). Hentet 1. november 2017. Arkiveret fra originalen 1. november 2017.
67. ↑ Investering af videnskabsmanden Margaret Hamilton som æresdoktor ved UPC  . Universitat Politècnica de Catalunya (18. oktober 2018). Hentet 25. januar 2019. Arkiveret fra originalen 26. januar 2019.
68. ↑ James Cox Hamilton, på 77; advokat var stille kriger for First Amendment  (engelsk) , Boston Globe  (31. august 2014). Arkiveret fra originalen den 16. december 2014. Hentet 15. december 2014.

Links

• Hendes kode fik mennesker på månen - og opfandt selve softwaren  (engelsk) , Wired  (13. oktober 2015). Hentet 20. oktober 2015.

Tematiske steder	zbMATH Åbn
Ordbøger og encyklopædier	Britannica (online)
Slægtsforskning og nekropolis	WikiTree
I bibliografiske kataloger BNC : a20206689 GND : 1203402279 LCCN : nr. 2015153151 NLP : A35223133 VIAF : 117145003297761300086 WorldCat VIAF : 117145003297761300086