Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1993

Butler, M.J. (1993) Feature Interaction Analysis Using Z.

Butler, M.J. (1993) Refinement and Decomposition of Value-Passing Action Systemss in the Refinement Calculus. CONCUR'93 Springer-Verlag.

Butler, Michael and Airchinnigh, Micheal Mac an (1993) Service Specification Using Z.

Butler, Michael and McDonnell, Eoin (1993) Experiment D: Application of Z to IN-Services Test Case.

Debbage, M, Hill, M B, Nicole, D A and Sturgess, A (1993) The Virtual Channel Router.

Garratt, P. W. and Karami, D. (1993) Software Design through Artificial Expertise. Proc. 1st Int. Conf. on Software Quality Management Comput. Mech. Inst. Quality Assurance. Southampton, UK, 918-834.

Nicole, D A (1993) High Peformance Architecture Issues in IFIP Transactions A-39, Decentralized and Distributed Systems, Elsevier Science

Nicole, D A (1993) High Performance Architectures, Invited Lecture at the BCS Parallel Processing Specialist Group Workshop on General Purpose Parallel Computing, London, December 1993.

Nicole, D A (1993) Invited Lectures on Parallel Computing Architectures: The Evolving Consensus, at the Community of Mediterranean Universities Distance Learning Computer Science School, University of Leece, Italy, June 1993.

Nicole, D A, Barnaby, C and May, M D (1993) General Purpose Parallel Computers in Networks, Routers and Transputers. UNSPECIFIED IOS Press.

Pritchard, D J and Nicole, D A (1993) Cube Connected Mobius Ladders: An Inherently Deadlock-Free Fixed Degree Network.

Thomas, K S and Bishop, Judy M (1993) Experience with Mult-Transputer Ada.

Wykes, S M, Jnr, O Trindade and Nicole, D A (1993) A DS-Link Interface for T9000 System Development.