Author: Jim Woodcock

Publications

Publication period start: 2006
Number of co-authors: 2

Co-authors

Number of publications with favourite co-authors
Cliff B. Jones
1
Peter W. O\'Hearn
1

Productive Colleagues

Most productive colleagues in number of publications
Peter W. O\'Hearn
1
Cliff B. Jones
2

Publications

Jones, Cliff B., O\'Hearn, Peter W., Woodcock, Jim (2006): Verified Software: A Grand Challenge. In IEEE Computer, 39 (4) pp. 93-95. https://doi.ieeecomputersociety.org/10.1109/MC.2006.145

Woodcock, Jim (2006): First Steps in the Verified Software Grand Challenge. In IEEE Computer, 39 (10) pp. 57-64. https://doi.ieeecomputersociety.org/10.1109/MC.2006.340

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