Join us

Author: Harlan D. Mills

Publications

Publication period start: 1975

Publications

Mills, Harlan D. (1988): Stepwise Refinement and Verification in Box-Structured Systems. In IEEE Computer, 21 (6) pp. 23-36.

Mills, Harlan D. (1975): The New Math of Computer Programming. In Communications of the ACM, 18 (1) pp. 43-48.

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,736 designers enjoy our newsletter—sure you don’t want to receive it?

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,736 designers enjoy our newsletter—sure you don’t want to receive it?