Items where Division is "REF UoA Output Collections > REF2021 UoA11: Computer Science and Informatics" and Year is 2000
Up a level |
A
Abdallah, Ali E. (2000) Filter promotion transformation strategies for deriving efficient programs from Z specifications. In: Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference. IEEE Conference Publications, pp. 157-167. ISBN 0-7695-0822-7
Abdallah, Ali E. and Green, M. (2000) An integrated CSP-based tool for the visualisation, animation and performance evaluation of message passing algorithms. In: Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference. IEEE Conference Publications, pp. 189-198. ISBN 0-7695-0822-7
Abdallah, Ali E. and Hawkins, J. (2000) Calculational design of special purpose parallel algorithms. In: Electronics, Circuits and Systems, 2000. ICECS 2000. The 7th IEEE International Conference. IEEE Conference Publications, pp. 261-267. ISBN 0-7803-6542-9
Abdallah, Ali E. and Simiakakis, G. and Theoharis, T. (2000) Formal development of a reconfigurable tool for parallel DNA matching. In: Electronics, Circuits and Systems, 2000. ICECS 2000. The 7th IEEE International Conference. IEEE Conference Publications, pp. 268-272. ISBN 0-7803-6542-9
Alderson, A. and Yap, J. and Liu, K. and Shah, H. (2000) Relating Organisational Semiotics, Process Modeling and Stakeholder Viewpoints to Elucidate and Record Requirements. In: Bustard D (Ed.). Artech House.
D
Dingley, S. and Golder, P.A. and Shah, H. (2000) Tribes of Users and Systems Developers. Australian Journal of Information Systems, 7 (2). pp. 20-31. ISSN 1039-7841
F
Foley, M. and Alderson, A. and Shah, H. (2000) A Framework To Guide The Strategic Manager in the Acquisition of Software Development Technologies. In: 2nd International Conference on Enterprise Information Systems (ICEIS 2000), 5-7 July 2000, Stafford, England.
T
Thomas, D.T. and Alderson, A. and Shah, H. (2000) Evaluating IT Usage In Small And Medium Sized Enterprises. In: 2nd International Conference on Enterprise Information Systems (ICEIS 2000), 5-7 July 2000, Stafford, England.