|
Journal papers
- 1960 Testing the Independence
of a System of Axioms using a Logical Computer, Proceedings of the Cambridge
Philosophical Society, Vol 57, p 443, 6 pp.
- 1962 The Determination of all
Sheffer Functions in 3-valued Logic, Notre Dame Journal of Formal Logic,
Vol 3, p 41, 10 pp.
- 1964 The Determination of the
set of all 4-variable formulae corresponding to Universal Decision Elements,
Zeitschrift fur Mathematische Logik, Vol 10, p 302, 13 pp.
- 1968 Programming Problems in Mathematical
Logic, BIT Vol 8, p 104, 18 pp.
- 1968 The Implementation of Syntax
Analysis using Algol, Computer Journal, Vol 10, p 325, 10 pp.
- 1968 The Construction of Examination
Tables by Computer, Computer Journal, Vol 11, p 264, 5 pp.
- 1969 A Meta-Semantic Language
for use with a Top-Down Analyser, with P R King, IFIP Congress 1968,
p 366, 7 pp.
- 1975 Progress with an Algol 68
Numerical Algorithms Library, Proc Fifth Manitoba Conf on Numerical
Mathematics, 1975, 10 pp.
- 1978 A Hybrid Computer Performance
Modelling System, with M S Ali, Computer Journal, Vol 21, p 205, 5 pp.
- 1978 Monitoring the Run-time Activity
of Algol 68 Programs, with D Morgan, Software Practice, Vol 8, p 29,
6 pp.
- 1978 Programming Aids for the
Teaching of Programming, Software Practice, Vol 8, p 213, 13 pp.
- 1979 Improving the understanding
of BASIC programs, with H C Williams, International Journal of Math
Educ Sci Tech, Vol 10, p 537, 8 pp.
- 1980 Technique for Generation
of Simulated Workload, with M S Ali, Journal of Computer Performance,
Vol 1, p 37, 4 pp.
- 1980 Simulation of Computer Workloads,
10-th Annual Computing Science Conference, University of Cairo.
- 1981 Music Analysis by Computer,
IUCC Journal, Vol 3, No 1, p 31, 4 pp.
- 1981 Validation of an Analytic
Model of Computer Performance, with O Salman, Computer Journal, Vol
24, No 4, November 81, pp 347-352
- 1987 A Flexible Synonym Interface
with Application Examples in CAL and HELP environments, with G M Gwei,
Computer Journal Vol 30 No 6, p 551
- 1987 MUSIC A Language for Typesetting
Music Scores, Software - Practice and Experience Vol 17(8) p 485-582.
- 1989 Synonomy and Contextual Disamgiguation
of Words, with G M Gwei, Int Jnl Lexicography Vol 2 No 2.
- 1990 Towards a consultative on-line
help system, with G M Gwei, Int Jnl Man-Machine Studies Vol 32, 363-383.
- 1990 A Syntactic & Morphological
Analyser for Arabic Words, with Allel Feddag, Proceeding of the Second
International Conference on Computing in Arabic-English, Cambridge University
UK.
- 1990 Concepts and Issues in Multi-lingual
Word Processing, with Allel Feddag, Proceeding of the Second International
Conference on Computing in Arabic-English, Cambridge University UK.
- 1990 Front-end Databases for Arabic
and English, with Allel Feddag, International Journal of Processing
Arabic, Issue 8.
- 1990 Front-end Dictionary for
Arabic, with Allel Feddag, Journal of Applied Computer Translation,
Vol 1 No 2.
- 1991 Synonym Manipulation in a
Concept based Environment, with G M Gwei, International Journal of Man-Machine
Studies.
- 1993 S.D.Benford, E.K.Burke and
E.Foxley, Learning to Construct Quality Software with the Ceilidh System,
Software Quality Journal 2(2), September 1993, pages 177-197.
- 1993 S.D.Benford, E.K.Burke, E.Foxley,
N.Gutteridge and A.M.Zin, Early Experiences of Computer Aided Assessment
and Administration when Teaching Computer Programming, Association for
Learning Technology Journal Vol.1 No.2, pages 55-70.
- 1993 S.D.Benford, E.K.Burke, E.Foxley,
N.Gutteridge and A.M.Zin, Ceilidh as a Course Management Support System,
Journal of Educational Technology Systems Vol.22, No.3, pages 235-250.
- 1994 Steve Benford, Edmund Burke,
Eric Foxley, Colin Higgins, Abdullah Mohd Zin, Software Support for
the Automated Assessment and Administration of Computer Programming
Courses (in Russian), to appear in the East West Journal on Computers
in Education.
- 1994 Steve Benford, Edmund Burke,
Eric Foxley, Neil Gutteridge, Abdullah Mohd Zin, Software Support for
Automated Assessment and Administration, to appear in the Journal of
Research on Computing in Education.
- 1994 STAMS -- A Simple Text Automatic
Marking System, with B. Lou, Artificial Inteligence and Simulation of
Behaviour 94 conference for "Computational Linguistics for Speech and
Handwriting Recognition" workshop in Leeds University, England. 12th
April 1994.
- 1994 Analyse - An Automatic Program
Assessment System, with Abdullah Modh Zin, Malaysian Journal of Computer
Science Vol 7, p 123.
- 1995 ZFDSS: A formal development
support system based on the liberal approach, with Abdullah Modh Zin,
Malaysian Journal of Computer Science Vol 8.
- 1995 Software Tools for Animating
a Z Specification, with Abdullah Mohd Zin, Sains Malaysiana Vol 24,
No 4, Dec 1995, p 67 p 161, Dec 1995.
Conference Papers
- 1971 Efficient University Computing,
British Computer Society Datafair, UK.
- 1976 A Carefully Computerised
Examination System, with A N Walker, IUCC Colloquium, St Andrews, Scotland.
- 1977 Run-time Profiling of Algol
68-R, with D Morgan, Algol 68 Conference, Strathclyde, Scotland.
- 1977 Aids for Teaching Algol 68,
written in Algol 68, IUCC Colloquium, Norwich, UK.
- 1980 Harmonisation and Classification
of Folk Music, IUCC Colloquium, Exeter, UK.
- 1980 Computer Workload Simulation,
Biennial Egyptian Conference on Computer Science and Statistics, Cairo,
Egypt.
- 1981 Harmonisation of Melodies
by Computer, Symposium Informatique et Musicologie, Paris, France.
- 1984 The Use of Hybrid Models
in Examining Scheduling Strategies, with M S Ali, Pittsburgh Conference
on Modeling and Simulation, USA.
- 1987 music : a language for describing
music scores, UK Unix User Group Winter Conference, London, UK.
- 1987 Improved Natural Language
Models for Consultative Computing, with G M Gwei, UK Unix User Group
Summer Conference, Newcastle, UK.
- 1990 A Syntactic and Morphological
Analyser for Arabic Words, with Allel Feddag, International Conference
on Bi-lingual Computing, Cambridge, UK.
- 1990 Concepts and Issues in Multilingual
Word Processing, with Allel Feddag, International Conference on Bi-lingual
Computing, Cambridge, UK.
- 1991 Automatic Program Quality
Assessment, with A M Zin, National Workshop on CASE Tools (IFIP and
CSI), Sadar Patel University, Vidyanagar, Gujarat INDIA.
- 1991 An Intelligent Lexical Analyser
for Arabic, with Allel Feddag, 13th Research Conference on Information
Retrieval, Lancaster University UK.
- 1992 S.D.Benford, E.K.Burke and
E.Foxley, Courseware to Support the Teaching of Programming, Proceedings
of the Conference on Developments in the Teaching of Computer Science,
University of Kent, 6th-8th April 1992, pages 158-166.
- 1992 S.D.Benford, E.K.Burke and
E.Foxley, Conciousness Raising Through Automated Assessment, Proc. Open
University's 2nd Workshop in the series, Directions for Computer Science
Education in the Nineties: "Using technology to Deliver the Curriculum",
The Open University, 30th June 1992.
- 1993 S.D.Benford, E.K.Burke, E.Foxley,
N.Gutteridge and A.M.Zin, The Ceilidh Courseware System, Proceedings
of the International Conference on Computer Technologies in Education
(ICCTE'93), Kiev, Ukraine, September 14th-17th 1993.
- 1993 S.D.Benford, E.K.Burke, E.Foxley,
N.Gutteridge and A.M.Zin, An overview of the Ceilidh system, Proceedings
of the All Ireland Conference on the Teaching of Computing, Dublin City
University, 8th-10th September 1993, pages 32-35.
- 1993 S.D.Benford, E.K.Burke and
E.Foxley, Integrating Software Quality Assurance into the Teaching of
Programming, to appear in Proc. of CSR 1993 Workshop on Industrial Applications
of Software Metrics and Quality Assurance Techniques, Amsterdam 29th
Sept 1st Oct 1993.
- 1993 S.D.Benford, E.K.Burke, E.Foxley,
N.Gutteridge and A.M.Zin, Ceilidh: A Course Administration and Marking
System, Proceedings of the International Conference of Computer Based
Learning in Science, Vienna, 18th-21st December 1993, pages 364-372.
- 1993 S.D.Benford, E.K.Burke, E.Foxley,
N.Gutteridge and A.M.Zin, Experiences with the Ceilidh System, Proceedings
of the International Conference of Computer Based Learning in Science,
Vienna, 18th21st December 1993, pages 530-537.
- 1993 S.D.Benford, E.K.Burke, E.Foxley,
N.Gutteridge and A.M.Zin, CEILIDH A Management Marking System, Collected
Papers of the Heads of Computing in Ex-Polytechnics Conference on Assessment
in Higher Education Computing, York, June 1993.
- 1993 S.D.Benford, E.K.Burke, E.Foxley
N.Gutteridge and A.M.Zin, The Ceilidh Courseware System, invited paper
for the CTI Conference on Current Issues in the Teahing of Computing,
University of Salford, 6th March 1993.
- 1994 S.D.Benford, E.K.Burke, E.Foxley,
C.A.Higgins, Ceilidh: A Courseware System for the Assessment and Administration
of Computer Programming Courses in Higher Education, Proceedings of
the Interdisciplinary Workshop on Complex Learning in Computer Environ-
ments, University of Joensuu, Finland, May 16th-19th 1994, pages 143-148.
- 1994 S.D.Benford, E.K.Burke, E.Foxley,
N.Gutteridge and C.A.Gibbon, A Course Administration System for Remote
Access, Proceedings of the XXIX Annual International Conference of the
Association for Educational and Training Technology, Napier University
Edinburgh, 11th- 13th April 1994.
- 1994 S D Benford, E K Burke, E
Foxley, Teaching Programming to Software Quality Standards, Proceedings
of the Conference of Computer Aided Learning in Engineering, University
of Sheffield, 5-7 Sept 1994, pages 135-148.
- 1994 S D Benford, E K Burke, E
Foxley, A M Zin, C A Higgins, Software Quality Assessment in Ceilidh,
to appear in the Proceedings of the 2nd East-West International Conference
on Computer Techno logies in Education Vol. 1, Crimea, Ukraine, 19-23
Sept 1994, pages 2228.
- 1994 S D Benford, E K Burke, E
Foxley, N H Gutteridge, C A Gibbon, Observations on the Impact of the
Ceilidh System on the Teaching of Computer Programming, to appear in
the Proceedings of the Second All Ireland Conference on the Teaching
of Computing, Dublin City University, September 1994.
- 1994 S D Benford, E K Burke, E
Foxley, C A Higgins, Ceilidh: A Management System for the Administration
and Assessment of Computer Pro- gramming Courses, to appear in the Proceedings
of the International Conference on Computer-Assisted Education and Training
in Developing Countries, Johannesbourg, South Africa, 17-21 October
1994.
- 1994 S D Benford, E K Burke, E
Foxley, A M Zin, C A Higgins, Software Quality Assessment in Ceilidh,
invited paper for the CTI Conference on Current Developments to Support
the Teaching of Computing, University of Salford, 22nd April 1994.
- 1994 S D Benford, E K Burke, E
Foxley, A Multi-subject Intelligent Student Assessment System, to appear
in the Proceedings of the Second Singapore International Conference
on Intelligent Systems (SPICIS 94), 14th-17th November 1994.
- 1995 A M Zin, E Foxley, A System
for reparing a Formal Specification, ICECS'95, Amman Jordan (17-21 Dec
1995)
Internal Reports
- S.D.Benford, E.K.Burke and E.Foxley,
C.A.Gibbon, N.Gutteridge and A.M.Zin, Teacher Guide to the CEILIDH system,
LTR Report, Computer Science Dept, Nottingham University.
- S.D.Benford, E.K.Burke and E.Foxley,
C.A.Gibbon, N.Gutteridge and A.M.Zin, Course Developer Guide to the
CEILIDH system, LTR Report, Computer Science Dept, Nottingham University.
- S.D.Benford, E.K.Burke and E.Foxley,
C.A.Gibbon, N.Gutteridge and A.M.Zin, Tutor Guide to the CEILIDH system,
LTR Report, Computer Science Dept, Nottingham University.
- S.D.Benford, E.K.Burke and E.Foxley,
C.A.Gibbon, N.Gutteridge and A.M.Zin, Student Guide to the CEILIDH system,
LTR Report, Computer Science Dept, Nottingham University.
- S.D.Benford, E.K.Burke and E.Foxley,
C.A.Gibbon, N.Gutteridge and A.M.Zin, Design Document for Ceilidh, LTR
Report, Computer Science Dept, Nottingham University.
- E.Foxley, Abdullah Mohd Zin, The
"Oracle" Program, LTR Report, Computer Science Dept, Nottingham University.
Go to Eric Foxley's biodata page
Last update of "papers" on Thursday 11 January 1996 by Eric
Foxley eric.foxley@gmail.com.
|
|