Developing methods for computer programs including a notion of interference

Developing methods for computer programs including a notion of interference

Bibliographic Details
Main Author:	Jones, C. B.
Published:	University of Oxford 1981
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.259064

Similar Items

Knowledge restructuring and the development of expertise in computer programming
by: Davies, Simon P.
Published: (1992)

Development of a generalized computer program for gas turbine performance simulation
by: Douglas, I. E.
Published: (1986)

Programming decentralised computers
by: Lima, Isabel Gouveia
Published: (1984)

A programming environment for a multi-computer system
by: Colley, M. J.
Published: (1984)

Dynamic scheduling of functional programs on MIMD computers
by: Hatcher, P.
Published: (1995)

Foundations of computer programming in Britain 1945-1955
by: Campbell-Kelly, Martin
Published: (1980)

Parallelization of the atomic R-matrix computer programs
by: Murphy, Kieran Gerard
Published: (1993)

Aspects of functional programming applied to scientific computing
by: Revitt, A. P.
Published: (1993)

A method of program refinement
by: Grundy, Jim
Published: (1993)

The influence of an empirical analysis of programs on a microprogrammable computer architecture
by: Kanza, R.
Published: (1981)

MC : A concurrent programming language for distributed computer systems
by: Rizk, A.
Published: (1986)

A computational model for logic programming languages and its supporting architecture
by: Wang, Jiwei
Published: (1991)

A Smalltalk-80 electronic laboratory simulation program for computer assisted learning : the design and evaluation of an electronic laboratory simulation program for use in undergraduate computer assisted learning
by: Che Mee, Izhar
Published: (1990)

Programming model for a computer architecture base on free-space optical communications
by: Guan, Tut San
Published: (1995)

The development of an interface for the non-computer professional to the computer system
by: Greig, J.
Published: (1984)

A programming language for the finite element method
by: Collins, R. J.
Published: (1980)

Programming environments and tools for massively parallel computers and large scale applications
by: Wollenweber, Fritz Georg
Published: (1998)

Proof methods and pragmatics for parallel programming
by: Tofts, Chris
Published: (1990)

The N-computer : a data-flow bulk synchronous machine for data parallel programs
by: Qadar, Muhammad Abdul
Published: (1995)

Motion development for computer animation
by: Pullen, Andrew Mark
Published: (1987)

Appraisal of computer aided instruction at the Open University and the evaluation of three specific programs
by: Eardley, R. H.
Published: (1978)

An investigation into the design, implementation and application of a high level programming language for distributed computing systems
by: Crookes, D.
Published: (1980)

Supervisory system functioning in memory tasks and interference from secondary tasks
by: Cinan, Sevtap
Published: (1998)

An interactive graphical program development system
by: Diaz-Herrara, J. L.
Published: (1981)

Configuration-oriented development of parallel programs
by: Justo, George Roger Ribeiro
Published: (1993)

The development of an intelligent tutoring system for linear programming
by: McAlister, Moira J.
Published: (1992)

Supporting a multi-method software development paradigm
by: Cranfield, E. C.
Published: (1988)

A generic model for representing software development methods
by: Wong, Alan C. Y.
Published: (1996)

A program transformation system
by: Maher, B.
Published: (1982)

State-based testing : a new method for testing object-oriented programs
by: Turner, Christopher David
Published: (1994)

Programming support environments
by: Khan, B. B.
Published: (1984)

Contributions to the development of finite element software in an interactive computing environment
by: Moscardini, A. O.
Published: (1984)

Quality aspects of the program development process used by learner programmers
by: Lund, Geoffrey
Published: (2002)

A development environment for implementing application software in a distributed multiprocessor computer system
by: Lambert, J. E.
Published: (1983)

On computer software reliability modelling
by: Jabur, D. B.
Published: (1982)

Large scale applications on distributed-memory parallel computers using efficient numerical methods
by: Sunderland, Andrew Gareth
Published: (2000)

Logic program development based on typed moded schemata and data types
by: Marakakis, Emmanouil I.
Published: (1997)

Studies of program test coverage criteria and the development of an automated support system
by: Girgis, M. R.
Published: (1986)

Functional programming with side-effects
by: Josephs, M. B.
Published: (1986)

Portable system software for personal computers on a network
by: Knight, B. J.
Published: (1982)