Anthony J H Simons, MA PhD

Senior Lecturer in Computer Science

You are here: Simons Home / Research / Publications /
Department of Computer Science
Verification and Testing Research Group

Classified Bibliography

Here is a classified listing of my research publications and other popular articles. The bibliography is sorted by category, in order of recency. Many of the more recent articles have links to downloadable sources, where copyright permits.

Google Scholar Citations Index for Anthony J H Simons

Journal Papers :: Refereed

Many publishers provide links to on-line versions of these articles. If you or your institution subscribes to their service, you will be able to download articles. I have a few offprints remaining of other hardcopy-only articles. Contact me if you want one of these. Sometimes, an electronic draft version is also available.

Journal of Object Technology

Journal Papers :: Invited Series

The following is my popular monograph The Theory of Classification, published in 20 parts by the Journal of Object Technology. Note: in Spring 2008 the journal changed the location of these articles. The links have been updated.


Conference Papers :: Refereed

The OPEN Toolbox of Techniques (on Amazon)

Books and Chapters :: Refereed

This is our famous encyclopaedic reference on object-oriented software development techniques, published as one of a series by the OPEN Consortium. It has received several Five star rating five-star ratings by reviewers on Amazon, mostly because it can be used in a methodology-neutral way.

  • B Henderson-Sellers, A J H Simons and H Younessi, The OPEN Toolbox of Techniques, including CD ROM with additional appendices and three CASE tools, ISBN 0-201-33134-9 (Wokingham: Addison-Wesley Longman, 1998).
  • A J H Simons and I Graham, 30 Things that go wrong in object modelling with UML 1.3, Chap. 17 in: Behavioral Specifications of Businesses and Systems, eds. H Kilov, B Rumpe, I Simmonds (Kluwer Academic Publishers, 1999), 237-257.
  • A J H Simons, A Language with Class: The Theory of Classification Exemplified in an Object-Oriented Programming Language, PhD Thesis, Department of Computer Science, University of Sheffield (Sheffield, 1995).
  • L Boucher, A J H Simons and P D Green, Evidential Reasoning and the Combination of Knowledge and Statistical Techniques in Syllable-Based Speech Recognition, in: Speech Recognition and Understanding: Recent Advances, Trends and Applications, NATO ASI Series F (75), eds. P Laface and R DeMori (Berlin: Springer Verlag, 1992), 487-492.
  • A J H Simons, Trends in Object-Oriented Programming, Chap. 3 in: Trends in Information Technology, eds. D A Linkens and R I Nicholson, (London: Peter Peregrinus/IEE, 1990), 37-52.
  • P D Green, G J Brown, M P Cooke, M D Crawford and A J H Simons, Bridging the Gap between Signals and Symbols, Chap. 4 in: Advances in Speech, Hearing and Language Processing, ed. W A Ainsworth (London: JAI Press, 1990), 149-192.
  • P D Green, M P Cooke, H H Lafferty and A J H Simons, A Speech Recognition Strategy based on Making Acoustic Evidence and Phonetic Knowledge Explicit, in: Recent Advances in Speech Understanding and Dialog Systems, eds. H Niemann, M Lang and G Sagerer (Berlin: Springer Verlag, 1988), 123-128.

Tutorials and Workshops :: Refereed

These represent significant surveys and original research material presented as tutorials and workshops at leading international conferences, in particular, the ACM Conference on Object-Oriented Programming Systems, Languages and Applications and the AITO/ACM European Conference on Object-Oriented Programming.

Book Reviews :: Not Refereed

  • A J H Simons, Review of: Verification and Validation for Quality of UML 2.0 Models, by B Unhelkar, (Hoboken NJ: John Wiley, 2005), 271pp, in: Software Testing, Verification and Reliability, 16 (1), March, ed. M Woodward, (London: John Wiley, 2006), 62-64.
  • A J H Simons, Review of: Extreme Programming Refactored: The Case Against XP, by M Stephens and D Rosenberg, (Berkley CA: Apress, 2003), 540pp, in: Software Testing, Verification and Reliability, 15 (1), March, ed. M Woodward, (London: John Wiley, 2005), 63-64.
  • A J H Simons, Review of: Object-Oriented Design and Programming, by R Leach, in: Computer Bulletin, 8 (4), September, (London: BCS, 1996), p28.
  • A J H Simons, Review of: Object-Oriented Type Systems, by J Palsberg and M Schwartzbach, in: Computer Bulletin, 6 (4), September, (London: BCS, 1994).
  • A J H Simons, Review of: Developing C++ Software, 2nd. Edn., by R Winder, in: Computer Bulletin, 5 (4), September, (London: BCS, 1993).
  • A J H Simons, Review of: Mastering C++, by C Horstmann, in: Computer Bulletin, edition unknown, (London: BCS, 1993).
  • A J H Simons, Review of: Building Expert Systems in Prolog, by D Merritt, in: Computer Bulletin, 2 (6), August, (London: BCS, 1990), p27.
  • A J H Simons, Comparative review of: Introduction to Expert Systems, by P Jackson and Introduction to Expert Systems, by M Gondran, in: Computer Weekly, 4 September, (London, 1986).

Research Reports :: Not Refereed

These represent work in progress, which is often the first place a new idea appears. Some of these are later revised and republished as conference or journal articles.

  • M P Stannett and A J H Simons, Complete behavioural testing of object-oriented systems using CCS-augmented X-Machines, Department of Computer Science Research Report CS-02-04, (Sheffield: DCS, 2002).
  • A J H Simons, K Bogdanov and W M L Holcombe, Complete functional testing using Object Machines, Department of Computer Science Research Report CS-01-18, (Sheffield: DCS, 2001).
  • A J H Simons, Let's agree on the meaning of class, Department of Computer Science Research Report CS-96-26, (Sheffield: DCS, 1996).
  • A J H Simons, Mixins: typing the superclass interface, Department of Computer Science Research Report CS-95-26, (Sheffield: DCS, 1995).
  • A J H Simons, A different proposal for making Eiffel type-consistent, Department of Computer Science Research Report CS-95-07, (Sheffield: DCS, 1995). See revised TOOLS paper.
  • A J H Simons, A visual logic with extensions to set theory, Department of Computer Science Research Report CS-95-08, (Sheffield: DCS, 1995).
  • A J H Simons, Adding axioms to Cardelli-Wegner subtyping, Department of Computer Science Research Report CS-94-6, (Sheffield: DCS, 1994).
  • A J H Simons, Low E-K and Ng Y-M, An optimising delivery system for object-oriented software, Department of Computer Science Research Report CS-93-18, (Sheffield: DCS, 1993). Revised and published in Object-Oriented Systems (Chapman and Hall).
  • A J H Simons and A J Cowling, A proposal for harmonising types, inheritance and polymorphism for object- oriented programming, Department of Computer Science Research Report CS-92-13, (Sheffield: DCS, 1992).
  • P D Green, L A Boucher, N R Kew and A J H Simons, The Sylk project - final report, Department of Computer Science Research Report CS-92-18, (Sheffield: DCS, 1992).
  • A J H Simons and G J Dempster, Comparing strategies for male-female vowel normalisation, Department of Computer Science Research Report CS-92-16, (Sheffield: DCS, 1992).
  • A J H Simons, Brunel: a strongly-typed, portable object-oriented language and programming environment, Department of Computer Science Research Report CS-91-07, (Sheffield: DCS, 1991).
  • A J H Simons and L A Boucher, Sylk working paper #3: Statistics and objects - issues in representation and admissibility, Department of Computer Science Research Report CS-89-35M, (Sheffield: DCS, 1989).
  • A J H Simons, Sylk working paper #2: Object-oriented syllable structures, Department of Computer Science Research Report CS-89-34, (Sheffield: DCS, 1989).
  • A J H Simons, Probe: a programmable object-based environment, Department of Computer Science Research Report CS-88-23, (Sheffield: DCS, 1988).
  • A J H Simons, Chasing the phoneme, Department of Computer Science Research Report CS-86-6, (Sheffield: DCS, 1986).
TV Century 21, June 10, 1967

Other Articles :: Not Refereed

This section contains informal workshop presentations and other professional and popular articles, some published on themes unrelated to my main research. My very first publication (at the age of 9) was a design for a secret agent's pen, published in TV Century 21.

  • A J H Simons, Leicester Junior Library, part 17 of the Paraxis Library Wall, a collage of micro-fiction, in: eds. C Massey and A Hedgecock, Paraxis, Volume 2, October, (Paraxis, 2011).
  • A J H Simons, Refinement and regeneration: or the failure of regression testing, FORTEST Workshop on Testing, Cumberland Lodge, Windsor Great Park, March 10, ed. R Hierons, (Uxbridge: FORTEST, 2005). Zipped presentation.
  • A J H Simons, M P Stannett, K E Bogdanov and W M L Holcombe, MOTIVE: Method for Object Testing, Integration and Verification, FORTEST Workshop on Testing, University of York, September 13, ed. R Hierons, (York: FORTEST, 2002). Zipped presentation.
  • C Atkinson, J Bezivin, P Desfray, R Due, R Duke, D Firesmith, Y Gil, I Graham, B Henderson-Sellers, D Kavanagh, G Low, J McKim, A O'Callaghan, D Mehandjiska-Stavrova, M Page-Jones, T Reenskaug, B Selic, A Simons, M Singh, P Swatman, K Whitehead, R Winder, H Younessi, E Yourdon and H Ziv, The OPEN alternative, Object Expert, 2(1), November/December, (1996).
  • A J H Simons and P Jackson, Scope: the system and some applications, Proc. 14th BCS SIG on Object-Oriented Programming Systems, (London: BCS, 1987), 4/1-4/4.
  • A J H Simons, The making of a contemporary translation, Christian Arena, December, (Leicester: UCCF, 1987).
  • A J H Simons, A user's guide to programming styles in LOOPS, Dandelion Users' Group, (Watford: AI Ltd, 1986), 3/1-3/6.
  • A J H Simons, Bible translations: and how to choose between them, Christian Arena, September, (Leicester: UCCF, 1986).
  • A J H Simons, Il Faut Parler!, a French vocabulary revision booklet, (Pocklington: Pocklington School, 1983).
  • A J H Simons, How are you doing?, Christian Arena, June, (Leicester: UCCF, 1985).
  • A J H Simons, The Tengwar in English, part 2, Quettar, 19, March, (Oxford: Tolkien Society, 1983).
  • A J H Simons, The Tengwar in English, part 1, Quettar, 17-18, January-February, (Oxford: Tolkien Society, 1983).
  • A J H Simons, Rock: a contribution to the current debate, Cubit, 7, (Leicester: UCCF, 1982).
  • A J H Simons, May the experience be with you, Cubit, 3, (Leicester: UCCF, 1981).
  • A J H Simons, Deadly toy: a secret agent's fountain pen, TV Century 21, Universe Edition 125, Dateline June 10, 2067, (Slough: Century 21 Productions, 1967).
Regent Court, 211 Portobello Street, Sheffield S1 4DP, United Kingdom