You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Swansea University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Swansea University

Return to search Previous output Next output

Output 47 of 73 in the submission

Output title

User interface model discovery: towards a generic approach

Type

E - Conference contribution

DOI

10.1145/1822018.1822041

Name of conference/published proceedings

EICS '10 Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems

Volume number

Issue number

First page of article

145

ISSN of proceedings

Year of publication

2010

URL

Number of additional authors

Additional information

<20> Awarded the best paper award at the leading international ACM/IFIP co-sponsored conference in engineering in HCI. Original approach to make formal methods benefits (model checking) accessible to 'normal' programmers, particularly for user interface analysis.

Interdisciplinary

Cross-referral requested

Research group

C - Future Interaction Technologies.

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract