
	Where results make sense

Topic: Harlan Mills

Related Topics

Harlan Ellison

John Marshall Harlan

Harlan County, Kentucky

Harlan Fiske Stone

Harlan, James

Harlan Collins

Harlan County

Harlan Carey Brewster

John Marshall Harlan II

James Harlan Iowa Senator

James Harlan senator

Harlan F Stone

In the News (Mon 28 Dec 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Dragons hold on for win in Classic
		Harlan led 23-14 after one quarter and pushed the advantage to 49-22 late in the second quarter as Lester went to his bench early, using six reserves in the first half.
		Callie Mills scored seven points in the first quarter as Barbourville took the lead from the start and never trailed, building a 17-8 advantage by the end of the period.
		Harlan was unable to capitalize on the opportunity as Courtney Bell had two baskets and Charlene McMillen added one as the Lady Dragons only cut the deficit to six, at 21-15, by halftime.
	www.harlandaily.com /articles/2006/12/05/news/sports/sports9676.txt (1427 words)

	Harlan Mills - Wikipedia, the free encyclopedia
		Mills has served on the faculties of Iowa, Princeton, New York and Johns Hopkins Universities, the Universities of Maryland and Florida, and Florida Institute of Technology (FIT).
		Mills was an IBM Fellow 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.
		Mills has been a program committee member and invited speaker for many professional conferences, and a referee for many mathematics and computer science journals.
	en.wikipedia.org /wiki/Harlan_Mills (778 words)

	[No title]
		Mills was born May 14, 1919 in Liberty Center, Iowa and moved to Florida from Maryland nine years ago.
		Harlan D. Mills' contributions to computer science have had a profound and enduring effect on theory, education, and industrial practice, and his service to the profession and the nation have magnified the impact of his contributions manyfold.
		Mills was an IBM Fellow and Member of the Corporate Technical Committee at the IBM Corporation, a Technical Staff Member at GE and RCA, and President of Mathematica and Software Engineering Technology.
	www.netlib.org /na-digest/96/v96n02 (2238 words)

	hawthorne direct Expands Client Services Department to Serve Growing Account Base
		Harlan, Mills and Wagler are all serving as account coordinators.
		Harlan came to hawthorne direct from Kirkwood Community College in Cedar Rapids, Iowa, where she designed and maintained databases and worked in Kirkwood’s technology center.
		Mills was formerly with Quorum Legal Staffing in Mountain View, California, as a paralegal.
	www.hawthornedirect.com /press_releases/2002/pr20020325_06.html (630 words)

	Cleanroom Software Engineering: Technology and Process - $39.96 (Site not responding. Last check: 2007-10-13)
		The theoretical foundations of Cleanroom were established in the late 1970s and early 1980s, when Harlan Mills, an accomplished mathematician and IBM Fellow, related fundamental ideas in mathematics, statistics, and engineering to software.
		Two fundamental insights drove Mills' work: first, that programs are rules for mathematical functions and second, that potential program executions are infinite populations requiring statistical sampling for quality certification.
		Mills' ideas were refined and demonstrated in collaborations with colleagues Alan Currit, Michael Dyer, Alan Hevner, Richard Linger, Bernard Witt, and others in IBM's Federal Systems Division.
	www.informit.com /title/0201854805 (2017 words)

	Formal Methods - Conclusions (Site not responding. Last check: 2007-10-13)
		Harlan Mills has developed the Cleanroom methodology [Mills 87], which is one approach for integrating formal methods into the lifecycle.
		The Cleanroom approach is beginning to generate interest and experimentation in organizations unassociated with Harlan Mills and International Business Machines [Selby 87].
		Researchers are drawing on formal methods in developing tools and techniques that may not be state of the practice for several years.
	www.dacs.dtic.mil /techs/fmreview/conclusion.html (1560 words)

	Santa Fe Railyard Restaurant and Saloon Review
		Calera’s wines from Mount Harlan have gained a reputation for being among the most compelling and distinctive pinot noirs in the New World.
		As in Burgundy, Calera's chardonnay from Mount Harlan exhibits a core of minerality obtained from its limestone soil.
		Though in the same family of color as the others, the Mills was a shade darker because the Mills vineyard is south-facing, translating to more sun and riper grapes.
	www.railyardrestaurantandsaloon.com /press_a_taste_of_the_season.html (1139 words)

	Article by Steve McConnell
		At the far right of the mainframe attitude, Harlan Mills says that "an interactive debugger is an outstanding example of what is not needed" (Mills 1986).
		I do not mean to single out Mills; his sentiments have been echoed by many of the most eminent people in software engineering, and I am generally one of his biggest fans.
		Harlan Mills argues that rigorous development approaches are required because otherwise programmers can spend 50 percent or more of their time debugging (Mills 1983).
	www.stevemcconnell.com /articles/art01.htm (3050 words)

	Dorset House Publishing - Harlan D. Mills
		THE LATE HARLAN D. MILLS was widely recognized for his contribution as a mathematician concerned with bringing more rigor into systems and software development.
		At IBM, he received the Outstanding Contribution Award and was the principal architect for the curriculum of the IBM Software Engineering Institute, an internal educational facility with a worldwide faculty of more than fifty members.
		Harlan Mills taught at the University of Maryland, Iowa State, Princeton, John Hopkins, and New York universities.
	www.dorsethouse.com /authors/mills.html (378 words)

	ICSE99 - Harlan Mills Memorial Workshop on Science and Engineering for Software Development
		This award is given annually in memory of Dr. Mills and his contributions to the practice of software engineering through the application of sound theory.
		This year's prize will be given at the Harlan D. Mills Memorial Workshop: "Science and Engineering for Software Development," an affiliated ICSE event, May 18, 1999 in Los Angeles.
		Mills was able to show us how to apply traditional, well developed mathematics to solve problems that others attacked by inventing ad-hoc, often ugly techniques and notation.
	www.cs.kuleuven.ac.be /~dirk/ada-belgium/events/99/990518-icse-sesd.html (786 words)

	Harlan Mills (Site not responding. Last check: 2007-10-13)
		Harlan Mills (1919-1996) was a software engineering pioneer, who is known as the originator of cleanroom development and the chief programmer team concept.
		Mills encourages viewers to think broadly about software engineering issues, to be aware of major historical influences, and to realize the power of the cleanroom approach to software development.
		As an early advocate of teamwork, Mills motivates viewers to pursue disciplined software engineering through teamwork and encourages research in the software engineering field.
	c2.com /cgi/wiki?HarlanMills (136 words)

	JReality: Freedom Service-Oriented Methodology
		The emphasis on interfaces results in an "outside-in" development process where software is viewed successively as a fl box for requirements and system test purposes, a gray box for design and regression testing, and a white box for implementation and unit testing, as proposed by Mills.
		The Freedom process specifies that the external user interface code be written first, and a User Interface (UI) mockup prototype be delivered to the customer extremely early in the development process.
		The UI mockup helps the customer verify the correctness and completeness of the requirements, which are themselves defined in an interface-centric manner consistent with the work of Mills and Parnas.
	www.jreality.com /freedom (555 words)

	Amazon.com: "Harlan Mills": Key Phrase page (Site not responding. Last check: 2007-10-13)
		Some years ago Harlan Mills proposed that any software system should be grown by incremental development.
		Prominent technology for formal verification includes Edsger Dijkstra's "weakest precondition " calculus ([Dijkstra 76] and [cries 81]) and Harlan Mills' "functional correctness" approach [Linger Tools and Methodology evelopments in supporting tools and methodolo- gies have accompanied the development of technology...
		A project by Basili, Harlan Mills, Dick Hamlet and John Gannon took Pascal and reduced it to a minimal set of operators,...
	www.amazon.com /phrase/Harlan-Mills (597 words)

	Citations: Structured Programming: Theory and Practice - Linger, Mills, Witt (ResearchIndex)
		Richard C. Linger, Harlan D. Mills, and Bernard I. Witt.
		Subjects identify prime subprograms (consecutive lines of code) write a specification for the subprogram as formally as possible, group subprograms and their specifications together, and repeat the process until they have abstracted all of the source code.
		An inspector reading the code module from the perspective of a tester identifies the different functions and tries to set up test cases with which he or she can ensure the correct behaviour of each function.
	citeseer.ist.psu.edu /context/184811/0 (2170 words)

	COMP 145: Cleanroom Process (Site not responding. Last check: 2007-10-13)
		Developed by Harlan Mills (then with IBM), Cleanroom seeks an analogy in software development with the processes of hardware production.
		Mills verification is a cookbook approach to denotational semantics, treating programs as mappings from input domains to output domains.
		Unit programmers work with functional specs, and when code is developed they verify it manually with functional Mills proofs (we did some of these in COMP 204).
	www.cs.unc.edu /~stotts/COMP145/KMSnotes/cleanroom.html (401 words)

	Computer Magazine: A Tale of Three Disciplines ... and a Revolution
		Vic Basili, Fred Brooks, Barry Boehm, Harlan Mills, and David Parnas, in particular, have worked hard to align software engineering foundations with curricula and curricula with industry practice.
		Harlan Mills was the keynote speaker at the 1975 ACM national conference, where he presented "The New Math of Computer Programming" (Comm.
		Like a circuit, a program is a rule for a function and subject to an algebra of program construction, which Mills defined.
	www.cs.utk.edu /a/2004-01-21_dr-poore.htm (4410 words)

	Workshop Program
		Harlan Mills: The Work Goes On When Dr. Harlan Mills died in 1996, our industry lost one of its iconic figures.
		The work that Harlan started in the 50s was to introduce useful abstractions and limited, practical formalisms to a field that still belonged principally to craftsmen.
		Please join us for this exciting 1-day colloquium, the Tuesday before the opening of the ICSE.This one-day colloquium seeks to acknowledge the contributions of Dr. Harlan D. Mills to the theory and practice of software engineering, and to build upon them as we face new software challenges.
	sunset.usc.edu /icse99/workshop_program.html (1433 words)

	Harlan Family Messages July 1998
		Tennesee Elmira Lane was born on Feb. 16,1849 at her grandfather's David M. Harlan's home on the Cherokee Neuter Strip, four miles up from the mouth of Shoal Creek near Baxter Springs, Kansas.
		David M. Harlan would have been my 4th Great Grandfather, Jane J. Harlan would have been my 3rd Great Grandfather, and Samantha Lane would have been my 2d Great Grandmother and her daughter Elzora Barnett would have been myGreat Grandmother and her son Connolly Barnett Hollis was my Grandfather.
		When the family celebrated the Tricentennial of the arrival of the Harlan Family in America at New Castle DE in 1987, we had a distinctive logo in line with that occasion.
	www.harlanfamily.org /mess9809.htm (3683 words)

	shine a light on LAMPS
		http://domino.research.ibm.com/tchj...xpand=26.4#26.4 Unhappily, all that Harlan Mills writes about LAMPS is: "LAMPS software was a four-year project of over 200 person-years of effort, developing over three million and integrating over seven million words of program and data for eight different processors distributed between a helicopter and a ship, in 45 incremental deliveries.
		Every one of those deliveries was on time and under budget." p415 Harlan Mills never mentions "timeboxed iterations (one month per iteration)" in the cited article.
		Every one of those deliveries was on time and under > budget." p415 > > Harlan Mills never mentions "timeboxed iterations (one month per > iteration)" in the cited article.
	www.codecomments.com /message380189.html (1476 words)

	MODERN PROGRAMMING PRACTICES (Site not responding. Last check: 2007-10-13)
		Dijkstra's "GO TO" article (Dijkstra 68), which generated considerable controversy, was a major formative influence on the structured programming revolution, a result of which a whole generation of programmers learned new techniques for specifying, designing, implementing, testing, and maintaining computer software.
		The awarding of a contract in February 1974 to IBM to define structured programming was an outgrowth of that briefing.
		No textbook presentation of Harlan Mills' ideas on structured programming was available until 1979 (Linger 79), and even that book does not discuss the broader issues of the environment in which structured programming operates, and the issues involved with managing teams who are applying structured programming techniques, that are considered in the RADC study.
	www.dacs.dtic.mil /techs/history/His.RL.2.4.html (746 words)

	Past Issues: Wine Tasting, dec04/jan05 - WineSkinny.com
		Calera 2000 Pinot Noir Mt. Harlan Selleck Vineyard ($55).
		Calera 2000 Pinot Noir Mt. Harlan Reed Vineyard ($45).
		Calera 2000 Pinot Noir Mt. Harlan Jensen Vineyard ($50).
	www.wineskinny.com /past_issues/wine_tastings/tastings041201.htm (898 words)

	The Risks Digest Volume 3: Issue 15
		On the whole, I am touched by Harlan Mills' remarks.
		He says that I [Mills] regard SDI as a political question that will be ultimately settled in our political system by the 525 members of our Congress.
		Technical analysts then debate the technically more interesting question of what CAN be done, in which case Mills' comment that...
	catless.ncl.ac.uk /Risks/3.15.html (1259 words)

	Cleanroom Summary
		The Cleanroom software engineering process was originally published by Dr. Harlan Mills in 1987.
		It is modeled from the field of electronics with the main focus on preventing software defects from the beginning of the process rather than fixing them at later stages.
		For example, if the system being developed is a banking application and it is to run using a database which is unstable, the cleanroom approach may provide a high assurance of accuracy within the application, however, the system as a whole will be unstable and the benefits from the formal methods may not be realized.
	pages.cpsc.ucalgary.ca /~kemh/SENG613/CleanroomSummary.html (1096 words)

	FYYFF: July 2006 Archives (Site not responding. Last check: 2007-10-13)
		I recall the profs berating the class for doing poorly (and the teaching assistants told us that Mills was "really upset.") Then the profs apologized and Harlan give a kind of "here's what I really mean" come-to-Jesus lecture during which we finally got what he was driving at.
		The fact that the Harlan half of the course wasn't working didn't mean that things were rosy in the traditional "wipe them out with programming assignments" half; not many students were finishing the projects, and since each project built upon the functionality of the prior one you were screwed if you flubbed your earlier efforts.
		Whatever misfavors Harlan did for his students, he meant well, and I appreciate his goals (if not his methods) every time I crack open a large, large hunk of code and try to figure out what it's doing.
	www.fyyff.com /mt/archives/2006_07.html (1369 words)

	Wine Matters: A taste of the season
		As a special treat, we would end the tasting with a vertical tasting of three older vintages of pinot noir from the Selleck vineyard (1994, 1997 and 1999), checking in on how the wines were aging.
		Jensen is one of the few producers in the New World to grow viognier, a rare white grape from France's northern Rhône Valley.
		Here we had four different wines in our glasses from the same grape (pinot noir) planted in the same place (Mount Harlan) at the same time (1975) and vinified in the same manner -- yet each was different.
	www.freenewmexican.com /news/35755.html (1327 words)

	ACM: Ubiquity - Correct by Design
		Jesse Poore suggests a revolution in programming — holding software developers to the same level of rigor of training and workmanship as other professionals, developing software that's correct by design, and constraining the release of software-intensive products until they are scientifically certified as fit for use.
		Someone told me that Mills was the only person they could think of who would insist that software should be free of errors.
		POORE: The way he told it to me, when Mills was an IBM Fellow he was touring a new fabrication facility that had "clean rooms" with only so many parts per million of contaminants, workers in bunny suits, airlocks, and so on.
	www.acm.org /ubiquity/interviews/v5i2_poore.html (2997 words)

	NA Digest, V. 96, # 02
		Harlan D. Mills died at his residence in Vero Beach, FL on January 8,
		Mills was born May 14, 1919 in Liberty Center, Iowa and moved
		Mills was an IBM Fellow and Member of the Corporate Technical
	www.netlib.org /na-digest-html/96/v96n02.html (1759 words)

	FY'99 SIGSOFT Annual Report
		The first went, in a one-time posthumous award, to Harlan Mills.
		The presentation was made to his widow at the Harlan Mills memorial workshop, which was held at the 1999 International Conference on Software Engineering in Los Angeles.
		The second went to Niklaus Wirth and will be presented in Toulouse, France, at the ESEC/FSE joint conference in September.
	www.sigsoft.org /about/annRep/99annrpt.htm (1024 words)

	Cleanroom software engineering differs form the conventional and object-oriented views because:
		There, the cost of a software failure was measured in millions of dollars and potentially in human lives.
		Harlan Mills observed the quality gap between hardware and software components of a system, and proposed that software developers adopt the successful practices of precision manufacturing.
		[POO93] Poore, J.H., H. Mills, and D. Mutchler, "Planning and Certifying Software System Reliability," IEEE Software, vol.
	d.students.umkc.edu /dcw844/hw3.htm (934 words)

Try your search on: Qwika (all wikis)