293:
Development" was being organized in honor of Harlan D. Mills (1919โ1996), and as a recognition of his enduring legacy to the theory and practice of software engineering. The first annual "Harlan Mills
Practical Visionary Prize" award was presented in 1996. This award is given to an individual who has demonstrated a long-standing and meaningful contribution to both the theory and practice of the information sciences.
36:
367:
architect of the IBM Software
Engineering Institute where thousands of IBM software personnel were trained in the mathematical foundations of software. He later embodied the mathematical and statistical principles for software in the Cleanroom software engineering process. As founder of Software Engineering Technology, he created an enterprise for Cleanroom technology transfer.
384:
Mills was a program committee member and invited speaker for many professional conferences, and a referee for many mathematics and computer science journals. From 1980-83, he was governor of the IEEE Computer
Society. In 1981, he was the chairman for IEEE Fall CompCon. During 1975-81, he served as
375:
Mills had an abiding interest in fostering sound software engineering practices through federal programs. During the formative period of the DoD DARPA STARS Program in the 1980s, he provided fundamental concepts for development of high quality software at high productivity. In 1986, he served as
366:
and Member of the
Corporate Technical Committee at IBM, a Technical Staff Member at GE and RCA, and President of Mathematica and Software Engineering Technology. At GE, he developed a three-month curriculum in management science attended by hundreds of GE executives. At IBM, he was the primary
292:
The ICSE-affiliated colloquium "Science and
Engineering for Software Development" is being organized in honor of Harlan D. Mills, and as a recognition of his enduring legacy to the theory and practice of software engineering. The ICSE-affiliated colloquium "Science and Engineering for Software
350:(FIT). At Johns Hopkins and Maryland, he initiated one of the first American university courses in structured programming. At Maryland, he developed a new two-semester freshman introduction to computer science and textbook "
385:
editor for IEEE Transactions on
Software Engineering. In 1977, he was the U.S. representative for software at the IFIP Congress. In 1975, he was the chairman of the First National Conference on Software Engineering.
354:" with co-authors Basili, Gannon, and Hamlet. At FIT, he developed a new freshman and sophomore curriculum for software engineering using Ada as the underlying language with colleagues Engle and Newman.
541:(1983), includes a collection of his seminal papers on chief programmer teams, top-down design, structured programming, program correctness, and other fundamental ideas in software engineering
376:
Chairman of the
Computer Science Panel for the U.S. Air Force Scientific Advisory Board. During 1974-77, he was Chairman of the NSF Computer Science Research Panel on Software Methodology.
626:
705:
659:
680:
322:. His skills in flying and teaching were such that rather than having him fly missions, the Army assigned him to train other pilots.
427:
119:
503:
347:
140:
634:
596:
695:
206:
57:
100:
53:
72:
209:
220:. Mills contributed his ideas to the profession in six books and over fifty refereed articles in technical journals.
79:
665:
46:
343:
86:
190:
68:
630:
600:
394:
331:
237:
224:
164:
700:
690:
685:
406:
402:
335:
307:
217:
156:
339:
319:
482:
159:
have had a profound and enduring effect on education and industrial practice. Since earning his
223:
Mills was termed a "super-programmer", a term which would evolve to the concept in IBM of a "
182:
152:
136:
213:
198:
194:
186:
93:
401:, the first one presented in 1999, for "contributions to the theory and practice of the
497:
472:
454:
442:
268:
566:
548:, includes Mills' reduction of the mathematics of specification and design to practice
674:
604:
476:
466:
436:
17:
415:
315:
202:
518:
491:
460:
421:
285:
178:
35:
363:
311:
249:
Chairman, NSF Computer
Science Research Panel on Software Methodology, 1974โ77
144:
278:
571:
252:
Chairman of the First
National Conference on Software Engineering, 1975
148:
666:
Harlan D. Mills List of publications from the DBLP Bibliography Server
535:, presents Mills' function-theoretic approach to program verification
174:
160:
171:
29:
255:
Editor for IEEE Transactions on
Software Engineering, 1975โ81
346:
Universities, the Universities of Maryland and Florida, and
274:
Awardee, Distinguished Information Sciences Award, DPMA 1985
409:". The list of awardees is maintained on the IEEE website.
352:
Principles of Computer Programming: A Mathematical Approach
258:
U.S. representative for software at the IFIP Congress, 1977
143:
and founder of Software Engineering Technology, Inc. of
135:(May 14, 1919 – January 8, 1996) was professor of
546:
Principles of Information System Analysis and Design
60:. Unsourced material may be challenged and removed.
591:
589:
277:Designer of initial NFL scheduling algorithm (
261:Governor of the IEEE Computer Society, 1980โ83
8:
627:"Past recipients for Harlan D. Mills Award"
533:Structured Programming: Theory and Practice
167:in 1952, Mills led a distinguished career.
279:http://trace.tennessee.edu/utk_harlan/407/
310:. As a young man, Mills studied art with
120:Learn how and when to remove this message
243:Visiting professor (part time) 1975-1987
185:to software development. These included
706:Florida Institute of Technology faculty
558:
660:IP: Harlan Mills passed away this week
318:, Mills became a bomber pilot in the
7:
264:Chairman for IEEE Fall CompCon, 1981
177:, Mills adapted existing ideas from
58:adding citations to reliable sources
662:- Mailing list message with details
267:Chairman, Computer Science Panel,
25:
330:Mills served on the faculties of
288:Outstanding Research Award, 1999.
34:
348:Florida Institute of Technology
271:Scientific Advisory Board, 1986
141:Florida Institute of Technology
45:needs additional citations for
205:-driven software testing. His
1:
681:Iowa State University alumni
567:"Outstanding Research Award"
246:Adjunct Professor, 1987-1995
210:software development process
155:). Mills' contributions to
722:
544:Linger and Hevner (1986),
27:Computer science professor
531:Linger and Witt (1979),
508:2020 Nachiappan Nagappan
597:"Harlan D. Mills Award"
191:structured programming
696:Formal methods people
631:IEEE Computer Society
601:IEEE Computer Society
539:Software Productivity
514:2022 Matthew B. Dwyer
399:Harlan D. Mills Award
395:IEEE Computer Society
389:Harlan D. Mills Award
332:Iowa State University
238:Iowa State University
165:Iowa State University
18:Harlan D. Mills Award
487:2016 Wolfram Schulte
407:software engineering
403:information sciences
308:Liberty Center, Iowa
218:formal specification
157:software engineering
54:improve this article
637:on January 10, 2011
607:on January 10, 2011
511:2021 Dieter Rombach
450:2007 Bev Littlewood
447:2006 John C. Knight
432:2002 Jesse H. Poore
393:To honor Mills the
320:U.S. Army Air Corps
151:(since acquired by
483:Gerard J. Holzmann
201:, and others, and
163:in Mathematics at
130:
129:
122:
104:
16:(Redirected from
713:
647:
646:
644:
642:
633:. Archived from
623:
617:
616:
614:
612:
603:. Archived from
593:
584:
583:
581:
579:
563:
225:Chief Programmer
183:computer science
137:computer science
125:
118:
114:
111:
105:
103:
62:
38:
30:
21:
721:
720:
716:
715:
714:
712:
711:
710:
671:
670:
656:
651:
650:
640:
638:
625:
624:
620:
610:
608:
595:
594:
587:
577:
575:
565:
564:
560:
555:
528:
526:Further reading
523:
391:
382:
373:
360:
328:
304:
299:
233:
214:top-down design
199:Robert W. Floyd
195:Edsger Dijkstra
187:automata theory
175:research fellow
133:Harlan D. Mills
126:
115:
109:
106:
63:
61:
51:
39:
28:
23:
22:
15:
12:
11:
5:
719:
717:
709:
708:
703:
698:
693:
688:
683:
673:
672:
669:
668:
663:
655:
654:External links
652:
649:
648:
618:
585:
557:
556:
554:
551:
550:
549:
542:
536:
527:
524:
522:
521:
515:
512:
509:
506:
500:
498:Gail C. Murphy
494:
488:
485:
479:
473:Patrick Cousot
469:
463:
457:
455:Bertrand Meyer
451:
448:
445:
443:Elaine Weyuker
439:
433:
430:
424:
418:
411:
390:
387:
381:
378:
372:
369:
359:
356:
327:
324:
303:
300:
298:
295:
290:
289:
282:
275:
272:
269:U.S. Air Force
265:
262:
259:
256:
253:
250:
247:
244:
241:
232:
229:
128:
127:
69:"Harlan Mills"
42:
40:
33:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
718:
707:
704:
702:
699:
697:
694:
692:
689:
687:
684:
682:
679:
678:
676:
667:
664:
661:
658:
657:
653:
636:
632:
628:
622:
619:
606:
602:
598:
592:
590:
586:
574:
573:
568:
562:
559:
552:
547:
543:
540:
537:
534:
530:
529:
525:
520:
516:
513:
510:
507:
505:
501:
499:
495:
493:
489:
486:
484:
480:
478:
477:Radhia Cousot
474:
470:
468:
467:Lionel Briand
464:
462:
458:
456:
452:
449:
446:
444:
440:
438:
437:Victor Basili
434:
431:
429:
425:
423:
419:
417:
413:
412:
410:
408:
404:
400:
396:
388:
386:
379:
377:
370:
368:
365:
362:Mills was an
357:
355:
353:
349:
345:
344:Johns Hopkins
341:
337:
333:
325:
323:
321:
317:
313:
309:
301:
296:
294:
287:
284:Recipient of
283:
280:
276:
273:
270:
266:
263:
260:
257:
254:
251:
248:
245:
242:
239:
235:
234:
230:
228:
226:
221:
219:
215:
211:
208:
204:
200:
196:
192:
188:
184:
180:
176:
173:
168:
166:
162:
158:
154:
150:
146:
142:
138:
134:
124:
121:
113:
102:
99:
95:
92:
88:
85:
81:
78:
74:
71: โ
70:
66:
65:Find sources:
59:
55:
49:
48:
43:This article
41:
37:
32:
31:
19:
639:. Retrieved
635:the original
621:
609:. Retrieved
605:the original
576:. Retrieved
570:
561:
545:
538:
532:
428:Manny Lehman
416:David Parnas
398:
397:created the
392:
383:
374:
361:
351:
329:
316:World War II
305:
291:
231:Achievements
222:
203:Markov chain
169:
132:
131:
116:
107:
97:
90:
83:
76:
64:
52:Please help
47:verification
44:
701:IBM Fellows
691:1996 deaths
686:1919 births
519:David Harel
504:Mark Harman
492:Pamela Zave
461:John Rushby
422:Barry Boehm
286:ACM SIGSOFT
212:emphasized
179:engineering
675:Categories
641:January 4,
611:January 4,
553:References
380:Profession
364:IBM Fellow
312:Grant Wood
302:Early life
193:theory of
145:Vero Beach
80:newspapers
336:Princeton
326:Education
314:. During
207:Cleanroom
110:July 2020
358:Industry
340:New York
306:Born in
578:1 April
572:SIGSOFT
236:Ph.D.:
149:Florida
139:at the
94:scholar
371:Nation
297:Career
240:, 1952
189:, the
170:As an
153:Q-Labs
96:
89:
82:
75:
67:
517:2023
502:2019
496:2018
490:2017
481:2015
471:2014
465:2012
459:2011
453:2009
441:2004
435:2003
426:2001
420:2000
414:1999
161:Ph.D.
101:JSTOR
87:books
643:2024
613:2024
580:2024
475:and
342:and
216:and
181:and
73:news
405:,
227:."
172:IBM
56:by
677::
629:.
599:.
588:^
569:.
338:,
334:,
197:,
147:,
645:.
615:.
582:.
281:)
123:)
117:(
112:)
108:(
98:ยท
91:ยท
84:ยท
77:ยท
50:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.