Harlan Mills
હાર્લન ડી. મિલ્સ (14 મે, 1919-8 જાન્યુઆરી, 1996) ફ્લોરિડા ઇન્સ્ટિટ્યૂટ ઓફ ટેકનોલોજીમાં કમ્પ્યુટર સાયન્સના પ્રોફેસર અને વેરો બીચ, ફ્લોરિડાના સોફ્ટવેર એન્જિનિયરિંગ ટેકનોલોજી, ઇન્કના સ્થાપક હતા (ત્યારથી ક્યુ-લેબ્સ દ્વારા હસ્તગત). સોફ્ટવેર એન્જિનિયરિંગમાં મિલ્સના યોગદાનની શિક્ષણ અને ઔદ્યોગિક વ્યવહાર પર ઊંડી અને સ્થાયી અસર પડી છે. 1952 માં આયોવા સ્ટેટ યુનિવર્સિટીમાં ગણિતમાં પીએચ. ડી. મેળવ્યા પછી, મિલ્સે એક પ્રતિષ્ઠિત કારકિર્દીનું નેતૃત્વ કર્યું. આઇબીએમ રિસર્ચ ફેલો તરીકે, મિલ્સે એન્જિનિયરિંગ અને કોમ્પ્યુટર સાયન્સથી લઈને સોફ્ટવેર ડેવલપમેન્ટ સુધીના હાલના વિચારોને સ્વીકાર્યા હતા. આમાં ઓટોમેટા થિયરી, એડસ્ગર ડિજક્સ્ટ્રા, રોબર્ટ ડબ્લ્યુ. ફ્લોયડ અને અન્યનો સંરચિત પ્રોગ્રામિંગ થિયરી અને માર્કોવ ચેઇન-સંચાલિત સોફ્ટવેર પરીક્ષણનો સમાવેશ થાય છે. તેમની ક્લિનરૂમ સોફ્ટવેર વિકાસ પ્રક્રિયા ટોપ-ડાઉન ડિઝાઇન અને ઔપચારિક સ્પષ્ટીકરણ પર ભાર મૂકે છે. મિલ્સે છ પુસ્તકો અને તકનીકી સામયિકોમાં પચાસથી વધુ સંદર્ભિત લેખોમાં વ્યવસાયમાં તેમના વિચારોનું યોગદાન આપ્યું હતું. મિલ્સને "સુપર-પ્રોગ્રામર" તરીકે ઓળખવામાં આવતો હતો, જે શબ્દ આઇબીએમમાં "ચીફ પ્રોગ્રામર" ની વિભાવનામાં વિકસિત થયો હતો. સિદ્ધિઓ પીએચ. ડી.: આયોવા સ્ટેટ યુનિવર્સિટી, 1952 વિઝિટિંગ પ્રોફેસર (પાર્ટ ટાઇમ) 1975-1987 એડજંક્ટ પ્રોફેસર, સોફ્ટવેર મેથોડોલોજી પર NSF કમ્પ્યુટર સાયન્સ રિસર્ચ પેનલના અધ્યક્ષ, સોફ્ટવેર એન્જિનિયરિંગ પર પ્રથમ રાષ્ટ્રીય પરિષદના અધ્યક્ષ, સોફ્ટવેર એન્જિનિયરિંગ પર IEEE વ્યવહારો માટે 1975ના સંપાદક, 1975-81 US. IFIP કોંગ્રેસમાં સોફ્ટવેર માટે પ્રતિનિધિ, 1977માં IEEE કમ્પ્યુટર સોસાયટીના ગવર્નર, 1980-83 IEEE ફોલ કોમ્પકોન માટે અધ્યક્ષ, 1981ના અધ્યક્ષ, કમ્પ્યુટર સાયન્સ પેનલ, US એર ફોર્સ સાયન્ટિફિક એડવાઇઝરી બોર્ડ, 1986 પુરસ્કાર વિજેતા, પ્રતિષ્ઠિત માહિતી વિજ્ઞાન પુરસ્કાર, DPMA 1985 પ્રારંભિક NFL શેડ્યુલિંગ અલ્ગોરિધમ (http://trace.tennessee.edu/utk_harlan/407) ના ડિઝાઇનર ICSE-સંલગ્ન સંવાદ "સાયન્સ એન્ડ એન્જિનિયરિંગ ફોર સોફ્ટવેર ડેવલપમેન્ટ" નું આયોજન હાર્લન ડી. મિલ્સ (1919-1996) ના સન્માનમાં અને સોફ્ટવેર એન્જિનિયરિંગના સિદ્ધાંત અને વ્યવહારમાં તેમના સ્થાયી વારસાની માન્યતા તરીકે કરવામાં આવ્યું હતું. પ્રથમ વાર્ષિક "હાર્લન મિલ્સ પ્રેક્ટિકલ વિઝનરી પ્રાઇઝ" પુરસ્કાર 1996માં આપવામાં આવ્યો હતો. આ પુરસ્કાર એવી વ્યક્તિને આપવામાં આવે છે જેણે માહિતી વિજ્ઞાનના સિદ્ધાંત અને વ્યવહાર બંનેમાં લાંબા સમયથી અને અર્થપૂર્ણ યોગદાન આપ્યું હોય. કારકિર્દી પ્રારંભિક જીવન લિબર્ટી સેન્ટર, આયોવામાં જન્મ. એક યુવાન માણસ તરીકે, મિલ્સે ગ્રાન્ટ વુડ સાથે કલાનો અભ્યાસ કર્યો. બીજા વિશ્વયુદ્ધ દરમિયાન, મિલ્સ યુ. એસ. આર્મી એર કોર્પ્સમાં બોમ્બર પાયલોટ બન્યા હતા. ઉડાન અને શિક્ષણમાં તેમની કુશળતા એવી હતી કે તેમને મિશન ઉડાવવાને બદલે, સેનાએ તેમને અન્ય પાયલોટને તાલીમ આપવાનું કામ સોંપ્યું હતું. એજ્યુકેશન મિલ્સે આયોવા સ્ટેટ યુનિવર્સિટી, પ્રિન્સટન, ન્યૂ યોર્ક અને જોન્સ હોપકિન્સ યુનિવર્સિટીઓ, મેરીલેન્ડ અને ફ્લોરિડાની યુનિવર્સિટીઓ અને ફ્લોરિડા ઇન્સ્ટિટ્યૂટ ઓફ ટેકનોલોજી (એફઆઇટી) ની ફેકલ્ટીઓમાં સેવા આપી હતી. જોન્સ હોપકિન્સ અને મેરીલેન્ડ ખાતે, તેમણે સંરચિત પ્રોગ્રામિંગમાં પ્રથમ અમેરિકન યુનિવર્સિટી અભ્યાસક્રમોમાંથી એક શરૂ કર્યો. મેરીલેન્ડ ખાતે, તેમણે સહ-લેખકો બેસિલી, ગેન્નોન અને હેમ્લેટ સાથે કોમ્પ્યુટર વિજ્ઞાન અને પાઠ્યપુસ્તક "પ્રિન્સિપલ્સ ઓફ કોમ્પ્યુટર પ્રોગ્રામિંગઃ એ મેથેમેટિકલ એપ્રોચ" માટે બે સેમેસ્ટરનો નવો નવો પરિચય વિકસાવ્યો. એફઆઇટી ખાતે, તેમણે સોફ્ટવેર એન્જિનિયરિંગ માટે એક નવો ફ્રેશમેન અને સોફોમોર અભ્યાસક્રમ વિકસાવ્યો હતો, જેમાં તેમણે તેમના સાથીદારો એન્ગલ અને ન્યૂમેન સાથે અંતર્ગત ભાષા તરીકે એડાનો ઉપયોગ કર્યો હતો. ઇન્ડસ્ટ્રી મિલ્સ આઇબીએમ ફેલો અને આઇબીએમ ખાતે કોર્પોરેટ ટેકનિકલ કમિટીના સભ્ય, જીઇ અને આરસીએ ખાતે ટેકનિકલ સ્ટાફ મેમ્બર અને મેથેમેટિકા અને સોફ્ટવેર એન્જિનિયરિંગ ટેક્નોલોજીના પ્રમુખ હતા. જીઇ ખાતે, તેમણે મેનેજમેન્ટ સાયન્સમાં ત્રણ મહિનાનો અભ્યાસક્રમ વિકસાવ્યો હતો, જેમાં સેંકડો જીઇ એક્ઝિક્યુટિવ્સે હાજરી આપી હતી. આઇબીએમ ખાતે, તેઓ આઇબીએમ સોફ્ટવેર એન્જિનિયરિંગ ઇન્સ્ટિટ્યૂટના પ્રાથમિક આર્કિટેક્ટ હતા, જ્યાં હજારો આઇબીએમ સોફ્ટવેર કર્મચારીઓને સોફ્ટવેરના ગાણિતિક પાયામાં તાલીમ આપવામાં આવી હતી. બાદમાં તેમણે ક્લિનરૂમ સોફ્ટવેર એન્જિનિયરિંગ પ્રક્રિયામાં સોફ્ટવેર માટે ગાણિતિક અને આંકડાકીય સિદ્ધાંતોનો સમાવેશ કર્યો હતો. સોફ્ટવેર એન્જિનિયરિંગ ટેક્નોલોજીના સ્થાપક તરીકે, તેમણે ક્લિનરૂમ ટેક્નોલોજી ટ્રાન્સફર માટે એક એન્ટરપ્રાઇઝ બનાવ્યું. નેશન મિલ્સને સંઘીય કાર્યક્રમો દ્વારા ધ્વનિ સોફ્ટવેર ઇજનેરી પદ્ધતિઓને પ્રોત્સાહન આપવામાં કાયમી રસ હતો. 1980ના દાયકામાં DoD DARPA STARS કાર્યક્રમના પ્રારંભિક સમયગાળા દરમિયાન, તેમણે ઉચ્ચ ઉત્પાદકતા પર ઉચ્ચ ગુણવત્તાવાળા સોફ્ટવેરના વિકાસ માટે મૂળભૂત વિભાવનાઓ પ્રદાન કરી હતી. 1986 માં, તેમણે યુ. એસ. એર ફોર્સ સાયન્ટિફિક એડવાઇઝરી બોર્ડ માટે કમ્પ્યુટર સાયન્સ પેનલના અધ્યક્ષ તરીકે સેવા આપી હતી. 1974-77 દરમિયાન, તેઓ સોફ્ટવેર મેથોડોલોજી પર NSF કમ્પ્યુટર સાયન્સ રિસર્ચ પેનલના અધ્યક્ષ હતા. પ્રોફેશન મિલ્સ કાર્યક્રમ સમિતિના સભ્ય હતા અને ઘણી વ્યાવસાયિક પરિષદો માટે આમંત્રિત વક્તા હતા, અને ઘણા ગણિત અને કોમ્પ્યુટર વિજ્ઞાન સામયિકો માટે રેફરી હતા. 1980-83 થી, તેઓ IEEE કમ્પ્યુટર સોસાયટીના ગવર્નર હતા. 1981માં તેઓ આઈ. ઈ. ઈ. ઈ. ફોલ કોમ્પકોનના અધ્યક્ષ હતા. 1975-81 દરમિયાન, તેમણે સોફ્ટવેર એન્જિનિયરિંગ પર IEEE વ્યવહારો માટે સંપાદક તરીકે સેવા આપી હતી. 1977માં તેઓ આઇ. એફ. આઇ. પી. કોંગ્રેસમાં સોફ્ટવેર માટે યુ. એસ. પ્રતિનિધિ હતા. 1975માં તેઓ સોફ્ટવેર એન્જિનિયરિંગ પરની પ્રથમ રાષ્ટ્રીય પરિષદના અધ્યક્ષ હતા. મિલ્સને સન્માન આપવા માટે હાર્લન ડી. મિલ્સ એવોર્ડ IEEE કમ્પ્યુટર સોસાયટીએ હાર્લન ડી. મિલ્સ એવોર્ડ બનાવ્યો, જે સૌપ્રથમ 1999માં "માહિતી વિજ્ઞાનના સિદ્ધાંત અને વ્યવહારમાં યોગદાન, [કેન્દ્રિત] સોફ્ટવેર એન્જિનિયરિંગ" માટે રજૂ કરવામાં આવ્યો હતો. વધુ વાંચન લિંગર એન્ડ વિટ (1979), સ્ટ્રક્ચર્ડ પ્રોગ્રામિંગઃ થિયરી એન્ડ પ્રેક્ટિસ, પ્રોગ્રામ વેરિફિકેશન સોફ્ટવેર પ્રોડક્ટિવિટી (1983) માટે મિલ્સના કાર્ય-સૈદ્ધાંતિક અભિગમને રજૂ કરે છે, જેમાં મુખ્ય પ્રોગ્રામર ટીમો, ટોપ-ડાઉન ડિઝાઇન, સ્ટ્રક્ચર્ડ પ્રોગ્રામિંગ, પ્રોગ્રામ કરેક્ટનેસ અને સોફ્ટવેર એન્જિનિયરિંગમાં અન્ય મૂળભૂત વિચારોનો સમાવેશ થાય છે, લિંગર એન્ડ હેવનર (1986), ઇન્ફર્મેશન સિસ્ટમ એનાલિસિસ એન્ડ ડિઝાઇનના સિદ્ધાંતો, જેમાં મિલ્સના સ્પષ્ટીકરણ અને ડિઝાઇનના ગણિતમાં ઘટાડાનો સમાવેશ થાય છે.