Type

No Grouping Creators

A

Assessment of the use of computer assisted learning (CAL) and multimedia in Kuwaiti Higher Education. (1997) A. Al-hunaiyyan

The evaluation of: Encarta 97. A multimedia learning package. (1997) A. Al-hunaiyyan

The impact of multimedia tutorial on students' learning experience in the public authority for applied education and trainng, Kuwait. (1997) A. Al-hunaiyyan

B

The creation of task-based differentiated learning materials for students with learning difficulties and/or disabilities. (1997) T. Barker, S. Jones and C. Britton

Creating multimedia learning applications in a further education environment. (1997) T. Barker, S. Jones, C. Britton and D.J. Messer

The development and application of multimedia in learning: a survey of literature. (1997) T. Barker, S. Jones, C. Britton and D.J. Messer

B-CCD: a framework to enable SMEs to make business-critical computing decisions. (1997) J. Bennett, R. Berenbaum, P. Hinton, C. Tagg and B.K. Ward

Which properties make a modelling notation easy for untrained users to understand? (1997) C. Britton and S. Jones

The untrained eye : what makes a representation easy for novice readers to understand? (1997) C. Britton and S. Jones

Structural invariance, structural definability and the Galois theory of elementarily invariant structures. (1997) J. Broido

C

Binding bit patterns to real world entities. (1997) B. Christianson and J. Malcolm

H

Teaching information systems at undergraduate level: a viewpoint. (1997) P. Hinton, A. Jefferies and J. Bennett

J

Using multimedia case study material for teaching requirements engineering. (1997) S. Jones and C. Britton

Towards a framework for selecting notations for modelling requirements. (1997) S. Jones, C. Britton and W. Lam

Designing a public access information system in a new domain. (1997) S. Jones and J. Hewitt

Use of case-based reasoning in the context-specific selection of notations for requirements specification. (1997) S. Jones, V. Shankararaman and C. Britton

K

A graphical representation for communicating sequential processes. (1997) M. Kutar, C. Britton and S. Jones

L

Evaluating parsing schemes with entropy indicators. (1997) C. Lyon

P

Identifying the requirements for a tool to support the adoption of SSM within business systems analysis and design. (1997) C. Pascoulis

T

Abstract process definitions in CSP- A case study. (1997) P.N. Taylor

Concrete examples (using CSP) of process algebra templates and their children. (1997) P.N. Taylor

Concrete examples for templates and their children. (1997) P.N. Taylor

Research issues associated with process algebras and the object-orientated paradigm. (1997) P.N. Taylor

Resilient process theory (RsPT). (1997) P.N. Taylor

V

Conditional reasoning in language and logic : transfer of non-logical heuristics? (1997) R.J. Vinter, M.J. Loomes and D. Kornbrot

Measuring human inferential complexity in formal specifications : a predictive model for the Z notation. (1997) R.J. Vinter, M.J. Loomes and D. Kornbrot

Quantified reasoning in formal specification : transfer of everyday errors and biases? (1997) R.J. Vinter, M.J. Loomes and D. Kornbrot

A study of disjunctive and conjunctive reasoning in formal logic. (1997) R.J. Vinter, M.J. Loomes and D. Kornbrot

W

Exploiting BP & ISR in the Sri Lankan contect: an action research project. (1997) V. Weerakkody