Model checking interactor specifications.
Automated Software Engineering,
Download our free ebook The Basics of User Experience Design to learn about core concepts in UX design.
In 9 chapters, we'll cover: conducting user interviews,
design thinking, interaction design, mobile UX design,
usability, UX research, and many more!