Skip to main content

Research Repository

Advanced Search

Semantic integrity for persistent objects (1992)
Journal Article
Barclay, P. J., & Kennedy, J. (1992). Semantic integrity for persistent objects. Information and Software Technology, 34(8), 533-541. https://doi.org/10.1016/0950-5849%2892%2990147-H

Modelling constructs for specifying semantic integrity are reviewed, and their implicit execution semantics discussed. An integrity maintenance model based on these constructs is presented. An implementation of this model in a persistent programming... Read More about Semantic integrity for persistent objects.

Regaining the conceptual level in object oriented modelling (1991)
Presentation / Conference Contribution
Barclay, P. J., & Kennedy, J. (1991, July). Regaining the conceptual level in object oriented modelling. Presented at 9th British National Conference on Database - BNCOD9, 1991

This paper attempts to develop a conceptual model for the object oriented description of data. We abstract from various logical model features essential for thinking about data in an object oriented framework. These features are presented through exa... Read More about Regaining the conceptual level in object oriented modelling.

The use of design activity for research into Computer Supported Co-operative Work (CSCW) (1991)
Presentation / Conference Contribution
Garner, S. W., Scrivener, S. A. R., Clarke, A. A., Clark, S., Connolly, J. H., Palmen, H., Schappo, A., & Smyth, M. G. (1991, September). The use of design activity for research into Computer Supported Co-operative Work (CSCW). Presented at 4th Design and technology educational research and curriculum development (National conference)

This paper describes current research at Loughborough University in the field of Computer Supported Co-operative Working (CSCW). The project, which is funded by the Information Engineering Directorate (IED) within the Science and Engineering Research... Read More about The use of design activity for research into Computer Supported Co-operative Work (CSCW).

Three solutions for a robot arm controller using Pascal-Plus, occam and edison (1984)
Journal Article
Kerridge, J. M., & Simpson, D. (1984). Three solutions for a robot arm controller using Pascal-Plus, occam and edison. Software: Practice and Experience, 14(1), 3-15. https://doi.org/10.1002/spe.4380140103

Three currently available concurrent language systems, Pascal‐Plus, occam and Edison, are used to implement a controller for a robot arm. The robot arm allows real parallelism of operation within the movements of the arm. The feasibility and restrict... Read More about Three solutions for a robot arm controller using Pascal-Plus, occam and edison.

A FORTRAN implementation of Concurrent Pascal (1982)
Journal Article
Kerridge, J. M. (1982). A FORTRAN implementation of Concurrent Pascal. Software: Practice and Experience, 12(1), 45-55. https://doi.org/10.1002/spe.4380120105

This paper describes the transportation of sequential and concurrent Pascal from the SOLO distribution tape to a non‐PDP‐11 like mainframe (IBM 370/145). An interpreter for the idealized virtual machine was written in FORTRAN. Subsequently the PDP‐11... Read More about A FORTRAN implementation of Concurrent Pascal.

A simulator for teaching computer architecture (1980)
Journal Article
Kerridge, J. M., & Willis, N. (1980). A simulator for teaching computer architecture. Sigcse Bulletin, 12(2), 65-71. https://doi.org/10.1145/989253.989264

This paper describes the specification, implementation and use of a computer system simulator. The simulator project was begun as a result of teaching a second year undergraduate course in computer systems.It became apparent that students only fully... Read More about A simulator for teaching computer architecture.