Кіріспе
Компьютерлік ғылым профессоры Харлан Д. Миллс (14 мамыр 1919 – 8 қаңтар 1996) – Флорида технология институтының компьютерлік ғылым профессоры және Флорида штатының Веро-Бич қаласындағы «Software Engineering Technology, Inc.» компаниясының негізін қалаушы (кейіннен «Q Labs» компаниясы сатып алған). Миллстің бағдарламалық жасақтама инженериясына қосқан үлесі білім беру және өндірістік практикаға терең және ұзаққа созылатын әсер етті. 1952 жылы Айова штаты университетінде математика ғылымдарының докторы ғылымын қорғағаннан бастап, Миллс көрнекті карьера жасады. IBM зерттеушісі ретінде Миллс инженерлік және компьютерлік ғылымдардан алынған идеяларды бағдарламалық жасақтаманы әзірлеуге бейімдеді. Оларға автоматтар теориясы, Эдсгер Дейкстра, Роберт В. Флойд және басқалардың құрылымдық бағдарламалау теориясы, сондай-ақ Марков тізбегімен жүзеге асырылатын бағдарламалық жасақтаманы сынау кірді. Оның Cleanroom бағдарламалық жасақтаманы әзірлеу процесі жоғарыдан төменге қарай жобалауға және формалды сипаттамаға баса назар аударды. Миллс өзінің идеяларын алты кітапта және техникалық журналдардағы елуден астам рецензияланған мақалаларында жариялады. Миллс «супер-программашы» деп аталды, бұл термин IBM-де «бас программашы» түсінігіне айналды.
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 Q Labs). 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."
Ерте өмір
Айова штатының Либерти-Центр қаласында дүниеге келген. Жастық шағында Миллс Грант Вудтан сурет салуды үйренді. Екінші дүниежүзілік соғыс кезінде Миллс АҚШ Әуе күштерінде бомбалаушы ұшқышы болды. Оның ұшу және оқыту дағдылары соншалықты жоғары болғандықтан, оны миссияларға жібермей, армия оған басқа ұшқыштарды даярлауды тапсырды.
Ұлт
Миллс федералдық бағдарламалар арқылы сауатты бағдарламалық инженерия тәжірибесін дамытуға үнемі қызығушылық танытты. 1980 жылдардағы Қорғаныс министрлігінің DARPA STARS бағдарламасының қалыптасу кезеңінде ол жоғары өнімділікпен жоғары сапалы бағдарламалық жасақтаманы әзірлеудің негізгі ұғымдарын ұсынды. 1986 жылы ол АҚШ Әуе күштерінің ғылыми кеңесші кеңесінің компьютер ғылымдары жөніндегі тобының төрағасы болды. 1974-1977 жылдары ол NSF Компьютер ғылымдарының бағдарламалық әдістеме жөніндегі ғылыми-зерттеу тобының төрағасы қызметін атқарды.
Харлан Д. Миллс сыйлығы
Миллстің құрметіне IEEE Computer Society Harlan D. Mills сыйлығын тағайындады, алғашқысы 1999 жылы «ақпараттық ғылымдар теориясы мен тәжірибесіне, әсіресе бағдарламалық инженерия саласындағы үлесі үшін» табысталды. Сыйлық иегерлерінің тізімі IEEE веб-сайтында ұсталып тұрады.