Type

Number of items: 29.
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