Edinburgh Napier University

Research explorer tool

Find research

People
Outputs
Projects
Post Grad
News
Events

Filter by

Research Centres Groups : Centre for Interaction Design x People : David Benyon x Dewey Decimal : 511 General principles of mathematics x Download Available : Yes x

0 results

Filter by

Research Centres Groups : Centre for Interaction Design x People : David Benyon x Dewey Decimal : 511 General principles of mathematics x Download Available : Yes x

1 results

Results:

Sort:

Using ERMIA for the Evaluation of a Theorem Prover Interface

Conference Proceeding

Jackson, M., Benyon, D., & Lowe, H. (2004)

Using ERMIA for the Evaluation of a Theorem Prover Interface. In R. Backhouse (Ed.), Proceedings of the 4th International Workshop on User Interfaces for Theorem Provers, 104-111

ERMIA (Entity-Relationship Modelling of Information Artefacts) provides an extension to entity-relationship modelling techniques to provide a structural representation of the ...

Filter by

Research Centres Groups : Centre for Interaction Design x People : David Benyon x Dewey Decimal : 511 General principles of mathematics x Download Available : Yes x

0 results

Filter by

Research Centres Groups : Centre for Interaction Design x People : David Benyon x Dewey Decimal : 511 General principles of mathematics x Download Available : Yes x

0 results

Filter by

Research Centres Groups : Centre for Interaction Design x People : David Benyon x Dewey Decimal : 511 General principles of mathematics x Download Available : Yes x

0 results

Filter by

Research Centres Groups : Centre for Interaction Design x People : David Benyon x Dewey Decimal : 511 General principles of mathematics x Download Available : Yes x

0 results

Accept Cookies