Author: Alexandre Cortier

Publications

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

Co-authors

Number of publications with favourite co-authors
Bruno d\'Ausbourg
1
Yamine Aït Ameur
1

Productive Colleagues

Most productive colleagues in number of publications
Bruno d\'Ausbourg
1
Yamine Aït Ameur
4

Publications

Cortier, Alexandre, d\'Ausbourg, Bruno, Ameur, Yamine Aït (2007): Formal Validation of Java/Swing User Interfaces with the Event B Method. In: Jacko, Julie A. (eds.) HCI International 2007 - 12th International Conference - Part I July 22-27, 2007, Beijing, China. pp. 1062-1071. https://dx.doi.org/10.1007/978-3-540-73105-4_116

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