| http://dbpedia.org/ontology/abstract
|
Harlan D. Mills (May 14, 1919 – January 8, … Harlan D. Mills (May 14, 1919 – January 8, 1996) was Professor of Computer Science at the Florida Institute of Technology and founder of Software Engineering Technology, Inc. of Vero Beach, Florida (since acquired by ). Mills' contributions to software engineering have had a profound and enduring effect on education and industrial practice. Since earning his Ph.D. in Mathematics at Iowa State University in 1952, Mills led a distinguished career. As an IBM research fellow, Mills adapted existing ideas from engineering and computer science to software development. These included automata theory, the structured programming theory of Edsger Dijkstra, Robert W. Floyd, and others, and Markov chain-driven software testing. His Cleanroom software development process emphasized top-down design and formal specification. Mills contributed his ideas to the profession in six books and over fifty refereed articles in technical journals. Mills was termed a "super-programmer", a term which would evolve to the concept in IBM of a "Chief Programmer."he concept in IBM of a "Chief Programmer."
, ハーラン・D・ミルズ（Harlan D. Mills、1919年5月14日 - 19 … ハーラン・D・ミルズ（Harlan D. Mills、1919年5月14日 - 1996年1月8日）は、アメリカ合衆国の計算機科学者・工学者である。の計算機科学の教授であり、フロリダ州のSoftware Engineering Technology, Inc.の創設者である。ミルズは、計算機工学の教育と産業慣行に深く永続的な影響を与えた。 IBMの研究員として、ミルズは工学と計算機科学における既存のアイデアをソフトウェア開発に応用した。この中には、オートマトン理論 、エドガー・ダイクストラ、ロバート・フロイドらによる構造化プログラミング理論、マルコフ連鎖ドリブンのソフトウェアテストなどがある。彼が提唱したソフトウェア開発工程モデルであるソフトウェアクリーンルームは、トップダウン設計と形式仕様記述を特徴とするものである。ミルズは、6冊の本と50以上の査読付き論文を執筆し、彼のアイデアを公開した。 ミルズは「スーパープログラマ」と呼ばれ、この言葉がIBMの「」の概念に発展した。。 ミルズは「スーパープログラマ」と呼ばれ、この言葉がIBMの「」の概念に発展した。
, هارلان ميلز (بالإنجليزية: Harlan Mills) هو مهندس وعالم حاسوب أمريكي، ولد في 14 مايو 1919، وتوفي في 8 يناير 1996.
, Harlan D. Mills (* 14. Mai 1919 in , Iowa; … Harlan D. Mills (* 14. Mai 1919 in , Iowa; † 8. Januar 1996) war ein amerikanischer Informatiker, bekannt für Beiträge zur Softwaretechnik und zur Strukturierten Programmierung. Mills war im Zweiten Weltkrieg Bomberpilot und Fluglehrer und wurde 1952 an der Iowa State University in Mathematik promoviert. Er lehrte an verschiedenen Universitäten (wie der Iowa State, der Johns Hopkins University, der University of Maryland, der Princeton University und der New York University) und war von 1964 bis 1987 bei IBM, wo er 1973 den Status eines IBM Fellow erreichte und Leiter des Software Engineering sowie Mitglied des IBM Corporate Technical Committee war. Zuletzt war er Direktor des von ihm gegründeten Information Systems Institute in Vero Beach und Professor am . Er begründete die Cleanroom Software Engineering Methode bei IBM, unter Verwendung formaler Prinzipien aus der theoretischen Informatik (Strukturierte Programmierung nach Edsger W. Dijkstra u. a.), einem Top Down Zugang und mit statistischer Qualitätskontrolle beim Test der Software. Seine Methoden führten bei IBM und anderswo zu wesentlichen Fortschritten in der Software-Qualität und bei der Entwicklung zuverlässiger Software in kritischen Bereichen (wie in Flugzeugen oder bei Kernkraftwerken). 1994 erhielt er den Computer Pioneer Award.994 erhielt er den Computer Pioneer Award.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mills:Harlan_D=.html +
, http://trace.tennessee.edu/utk_harlan/407/%29 +
, https://web.archive.org/web/20051023220953/http:/www.interesting-people.org/archives/interesting-people/199601/msg00020.html +
|
| http://dbpedia.org/ontology/wikiPageID
|
2843591
|
| http://dbpedia.org/ontology/wikiPageLength
|
8070
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1053389313
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Cleanroom_Software_Engineering +
, http://dbpedia.org/resource/Information_sciences +
, http://dbpedia.org/resource/U.S._Army_Air_Corps +
, http://dbpedia.org/resource/Category:IBM_Fellows +
, http://dbpedia.org/resource/Category:Florida_Institute_of_Technology_faculty +
, http://dbpedia.org/resource/U.S._Air_Force +
, http://dbpedia.org/resource/IBM_Fellow +
, http://dbpedia.org/resource/Engineering +
, http://dbpedia.org/resource/Vero_Beach +
, http://dbpedia.org/resource/Liberty_Center%2C_Iowa +
, http://dbpedia.org/resource/World_War_II +
, http://dbpedia.org/resource/Grant_Wood +
, http://dbpedia.org/resource/Category:1996_deaths +
, http://dbpedia.org/resource/Formal_specification +
, http://dbpedia.org/resource/Florida_Institute_of_Technology +
, http://dbpedia.org/resource/Markov_chain +
, http://dbpedia.org/resource/Ph.D. +
, http://dbpedia.org/resource/Category:Iowa_State_University_alumni +
, http://dbpedia.org/resource/Johns_Hopkins_University +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Princeton_University +
, http://dbpedia.org/resource/IBM +
, http://dbpedia.org/resource/Automata_theory +
, http://dbpedia.org/resource/Top-down_design +
, http://dbpedia.org/resource/Robert_W._Floyd +
, http://dbpedia.org/resource/Structured_programming +
, http://dbpedia.org/resource/Q-Labs +
, http://dbpedia.org/resource/Category:1919_births +
, http://dbpedia.org/resource/Software_development_process +
, http://dbpedia.org/resource/Software_engineering +
, http://dbpedia.org/resource/New_York_University +
, http://dbpedia.org/resource/Chief_programmer_team +
, http://dbpedia.org/resource/IEEE_Computer_Society +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Florida +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Fellow +
, http://dbpedia.org/resource/Iowa_State_University +
, http://dbpedia.org/resource/Edsger_Dijkstra +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:More_citations_needed +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:IBM_Fellows +
, http://dbpedia.org/resource/Category:1996_deaths +
, http://dbpedia.org/resource/Category:Iowa_State_University_alumni +
, http://dbpedia.org/resource/Category:1919_births +
, http://dbpedia.org/resource/Category:Florida_Institute_of_Technology_faculty +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Professor +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/72663015 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Harlan_Mills?oldid=1053389313&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Harlan_Mills +
|
| owl:sameAs |
http://rdf.freebase.com/ns/m.0869x1 +
, http://de.dbpedia.org/resource/Harlan_Mills +
, http://d-nb.info/gnd/17225969X +
, http://data.bibliotheken.nl/id/thes/p068398034 +
, http://dbpedia.org/resource/Harlan_Mills +
, http://ja.dbpedia.org/resource/%E3%83%8F%E3%83%BC%E3%83%A9%E3%83%B3%E3%83%BB%E3%83%9F%E3%83%AB%E3%82%BA +
, http://viaf.org/viaf/72663015 +
, http://yago-knowledge.org/resource/Harlan_Mills +
, https://global.dbpedia.org/id/4kYg4 +
, https://dblp.org/pid/95/5254 +
, http://www.wikidata.org/entity/Q5658364 +
, http://ar.dbpedia.org/resource/%D9%87%D8%A7%D8%B1%D9%84%D8%A7%D9%86_%D9%85%D9%8A%D9%84%D8%B2 +
|
| rdf:type |
http://dbpedia.org/class/yago/Signal106791372 +
, http://dbpedia.org/class/yago/WikicatIowaStateUniversityAlumni +
, http://dbpedia.org/class/yago/WikicatFormalMethodsPeople +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/WikicatAmericanPeople +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/WikicatComputerScienceAwards +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Award106696483 +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/WikicatComputerScientists +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/WikicatIBMFellows +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Symbol106806469 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Whole100003553 +
|
| rdfs:comment |
ハーラン・D・ミルズ（Harlan D. Mills、1919年5月14日 - 19 … ハーラン・D・ミルズ（Harlan D. Mills、1919年5月14日 - 1996年1月8日）は、アメリカ合衆国の計算機科学者・工学者である。の計算機科学の教授であり、フロリダ州のSoftware Engineering Technology, Inc.の創設者である。ミルズは、計算機工学の教育と産業慣行に深く永続的な影響を与えた。 IBMの研究員として、ミルズは工学と計算機科学における既存のアイデアをソフトウェア開発に応用した。この中には、オートマトン理論 、エドガー・ダイクストラ、ロバート・フロイドらによる構造化プログラミング理論、マルコフ連鎖ドリブンのソフトウェアテストなどがある。彼が提唱したソフトウェア開発工程モデルであるソフトウェアクリーンルームは、トップダウン設計と形式仕様記述を特徴とするものである。ミルズは、6冊の本と50以上の査読付き論文を執筆し、彼のアイデアを公開した。 ミルズは「スーパープログラマ」と呼ばれ、この言葉がIBMの「」の概念に発展した。。 ミルズは「スーパープログラマ」と呼ばれ、この言葉がIBMの「」の概念に発展した。
, Harlan D. Mills (May 14, 1919 – January 8, … Harlan D. Mills (May 14, 1919 – January 8, 1996) was Professor of Computer Science at the Florida Institute of Technology and founder of Software Engineering Technology, Inc. of Vero Beach, Florida (since acquired by ). Mills' contributions to software engineering have had a profound and enduring effect on education and industrial practice. Since earning his Ph.D. in Mathematics at Iowa State University in 1952, Mills led a distinguished career. Mills was termed a "super-programmer", a term which would evolve to the concept in IBM of a "Chief Programmer."he concept in IBM of a "Chief Programmer."
, هارلان ميلز (بالإنجليزية: Harlan Mills) هو مهندس وعالم حاسوب أمريكي، ولد في 14 مايو 1919، وتوفي في 8 يناير 1996.
, Harlan D. Mills (* 14. Mai 1919 in , Iowa; … Harlan D. Mills (* 14. Mai 1919 in , Iowa; † 8. Januar 1996) war ein amerikanischer Informatiker, bekannt für Beiträge zur Softwaretechnik und zur Strukturierten Programmierung. Mills war im Zweiten Weltkrieg Bomberpilot und Fluglehrer und wurde 1952 an der Iowa State University in Mathematik promoviert. Er lehrte an verschiedenen Universitäten (wie der Iowa State, der Johns Hopkins University, der University of Maryland, der Princeton University und der New York University) und war von 1964 bis 1987 bei IBM, wo er 1973 den Status eines IBM Fellow erreichte und Leiter des Software Engineering sowie Mitglied des IBM Corporate Technical Committee war. Zuletzt war er Direktor des von ihm gegründeten Information Systems Institute in Vero Beach und Professor am .Institute in Vero Beach und Professor am .
|
| rdfs:label |
Harlan Mills
, هارلان ميلز
, ハーラン・ミルズ
|
