Automated Software Engineering
Articles
Campos,
J. C.,
Harrison,
Michael D.
(2001):
Model checking interactor specifications.
In
Automated Software Engineering,
8
(3)
pp. 275-310.
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!
×
