Join us

Author: Bruce J. MacLennan

Publications

Publication period start: 1973

Publications

MacLennan, Bruce J. (1973): Fen-An Axiomatic Basis for Program Semantics. In Communications of the ACM, 16 (8) pp. 468-474.

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,652 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,652 designers enjoy our newsletter—sure you don’t want to receive it?