Please read our student and staff community guidance on COVID-19
Skip to main content Skip to navigation

Departmental research reports

Departmental research reports relating to Empirical Modelling are listed below. Many of the reports are papers that could not be published elsewhere because of their specialist themes, experimental nature or dense technical content. Some extend or complement refereed publications, and in a few cases are very similar in content to a published paper. Reports can be retrieved by entering the appropriate index into the search box on the Computer Science research reports and theses webpage.

(Reports listed oldest first.)

CS-RR-054 A Definition of the ARCA Notation
W.M. Beynon. (September 1983)
CS-RR-078 ARCA - A Notation for Displaying and Manipulating Combinatorial Diagrams
W.M. Beynon. (June 1986)
CS-RR-086 DoNaLD: A Line-drawing System Based on Definitive Principles
W.M. Beynon, D. Angier, T. Bissell and S. Hunt. (October 1986)
CS-RR-087 The LSD Notation for Communicating Systems
W.M. Beynon. (November 1986)
CS-RR-093 Definitive Principles for Interactive Graphics
W.M. Beynon. (February 1987)
CS-RR-111 Implementing a Definitive Notation for Interactive Graphics
W.M. Beynon and Y.W. Yung. (November 1987)
CS-RR-124 Definitions for Modelling and Simulating Concurrent Systems
W.M. Beynon, M. Norris and M. Slade. (May 1988)
CS-RR-127 Parallel Computation in Definitive Models
W.M. Beynon, M. Slade and Y.W. Yung. (May 1988)
CS-RR-132 Definitive Programming for Parallelism
W.M. Beynon. (October 1988)
CS-RR-133 Evaluating Definitive Principles for Interaction in Graphics
W.M. Beynon. (November 1988)
CS-RR-141 Variables in Mathematics and Computer Science
W.M. Beynon and S.B. Russ. (May 1989)
CS-RR-147 Software Construction Using Definitions: an Illustrative Example
W.M. Beynon, M.T. Norris, S.B. Russ, Y.P. Yung and Y.W. Yung. (September 1989)
CS-RR-163 Protocol Specification in Concurrent Systems Software Development
W.M. Beynon, M. Slade and Y.P. Yung. (September 1990)
CS-RR-205 Programming Principles for the Semantics of the Semantics of Programs
W.M. Beynon. (January 1992)
CS-RR-207 The Interpretation of States: a New Foundation for Computation?
W.M. Beynon and S.B. Russ. (February 1992)
CS-RR-260 Agent-oriented Modelling for a Billiards Simulation
M. Farkas, W.M. Beynon and Y.P. Yung. (December 1993)
CS-RR-277 Empirical Modelling of Requirements
W.M. Beynon and S.B. Russ. (January 1995)
CS-RR-278 Databases from an Agent-oriented Perspective
W.M. Beynon, A. Cartwright and Y.P. Yung. (January 1995)
CS-RR-319 Abstract Geometry for Design in an Empirical Modelling Context
W.M. Beynon R.I. Cartwright and A.J. Cartwright.
CS-RR-329 Enabling Technologies for Empirical Modelling in Graphics
W.M. Beynon, J. Allderidge, R.I. Cartwright and Y.P. Yung. (July 1997)
CS-RR-337 Modelling State in Mind and Machine
W.M.Beynon. (Presented at 10th Annual PPIG conference at the Knowledge Media Institute at the OU, 5-7 January 1998)
CS-RR-346 Explanatory Models for Open-ended Human Computer Interaction
W.M. Beynon, J. Rungrattanaubol, P-H. Sun and A.E.M. Wright. (July 1998)
CS-RR-352 Interactive Situation Models for Program Comprehension
W.M.Beynon and P-H.Sun. (Sept 1998)
CS-RR-353 Interactive Situation Models for Systems Development
W.M. Beynon, R.I. Cartwright, J. Rungrattanaubol and P-H. Sun. (Sept 1998)
CS-RR-357 Cultivating Requirements in a Situated Requirements Engineering Process
P-H. Sun, S.B. Russ, Y.C. Chen and W.M. Beynon. (May 1999)
CS-RR-412 Empirical Modelling in Support of Constructionist Learning: a Case Study
W.M. Beynon and A.J. Harfield. (June 2005)
CS-RR-420 The Analogue Computer as a Scientific Instrument
Charles Care. (January 2006)
CS-RR-421 Redressing the past: liberating computing as an experimental science
W.M. Beynon and S.B.Russ. (January 2006)
This can also be accessed online at Grand Challenges for Computing Research Conference Submissions, submission number 26, National e-Science Centre
CS-RR-444 Computing for construals in distributed participatory design - principles and tools
Meurig Beynon and Zhan En Chan. (June 2009)
CS-RR-447 Cadence and the Empirical Modelling conceptual framework: a new perspective on modelling state-as-experienced
Meurig Beynon and Nicolas Pope. (September 2011)
CS-RR-449 Construals as a Complement to Intelligent Tutoring Systems in Medical Education (preliminary version)
Meurig Beynon and Will Beynon