Skip to main content

Research Repository

Advanced Search

Outputs (95)

Co-operation, design and the self (2000)
Presentation / Conference Contribution
Smyth, M. (2000, September). Co-operation, design and the self. Presented at CoDesigning 2000, Coventry

Design tools as agents of disclosure. (2000)
Journal Article
Smyth, M. (2000). Design tools as agents of disclosure. Knowledge-Based Systems, 13(1), 27-35. https://doi.org/10.1016/s0950-7051%2899%2900049-0

This paper investigates the nature and use of existing tools during a design task as a means of gathering information concerning practitioners' conception of that activity. Three case studies are reported and a number of conclusions are drawn concern... Read More about Design tools as agents of disclosure..

Space, place and interface (1999)
Presentation / Conference Contribution
Smyth, M. (1999, December). Space, place and interface. Paper presented at Acradia Workshop

No abstract available.

The activity of design as revealed by tool usage. (1999)
Journal Article
Smyth, M. (1999). The activity of design as revealed by tool usage. International journal of design sciences & technology = Revue des sciences et techniques de la conception, 7, 11-22

Teallach: a model-based user interface development environment for object databases (1999)
Presentation / Conference Contribution
Griffiths, T., Barclay, P. J., McKirdy, J., Paton, N. W., Gray, P. D., Kennedy, J., Cooper, R., Goble, C. A., West, A., & Smyth, M. (1999, September). Teallach: a model-based user interface development environment for object databases. Presented at User Interfaces to Data Intensive Systems, 1999

Model-based user interface development environments show promise for improving the productivity of user interface developers, and possibly for improving the quality of developed interfaces. However, model-based techniques have rarely been applied to... Read More about Teallach: a model-based user interface development environment for object databases.

An open model-based interface development system: The Teallach approach. (1998)
Presentation / Conference Contribution
Griffiths, T., McKirdy, J., Paton, N. W., Kennedy, J., Cooper, R., Barclay, P. J., Goble, C., Gray, P., Smyth, M., West, A., & Dinn, A. (1998, June). An open model-based interface development system: The Teallach approach. Presented at DSV-IS '98: 5th International Eurographics Workshop on Design, Specification and Verification of Interactive Systems

The goal of the Teallach project is to provide facilities for the systematic development of interfaces to object databases in a manner which is independent of both a specific underlying database and operating system. Teallach's open architecture als... Read More about An open model-based interface development system: The Teallach approach..

Lessons from experience: making theorem provers more co-operative. (1996)
Presentation / Conference Contribution
Lowe, H., Cumming, A., Smyth, M., & Varey, A. (1996, December). Lessons from experience: making theorem provers more co-operative. Presented at 2nd Workshop on User Interfaces for Theorm Provers

We describe our experiences in trying to build a co-operative theorem proving system. Our model of co-operation is that of a user and an automaton combining forces to prove theorems in a semi-automated theorem proving system. We describe various unde... Read More about Lessons from experience: making theorem provers more co-operative..