University of Sheffield

Anthony J H Simons, MA PhD

Senior Lecturer in Computer Science
University Computer Science Testing Group Space Tech Europe Industry

Research Publications: Report

Find: Journal Articles Conference Papers Books/Reports Other Articles Citations
Books and Monographs
The OPEN Toolbox of Techniques

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.

It is one of my most cited publications.

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, (Wokingham: Addison-Wesley Longman, 1998).
ISBN: 0-201-33134-9.
F-bounded polymorphism

This is my thesis on the formal type-theoretic foundations of object-oriented programming. It was one of the first works to demonstrate mathematically the formal meaning of class, inheritance, polymorphism, mixins, generics and construction.

It was later serialised in the Journal of Object Technology, from 2002-2005.

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).
Public Repository Version.

Book Chapters
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 (Dordrecht: Kluwer Academic Publishers/ Berlin: Springer Verlag, 1999), 237-257.
DOI: 10.1007/978-1-4615-5229-1. ISBN: 978-1-4613-7383-4 (print), 978-1-4615-5229-1 (online). Public Draft Version.
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.
DOI: 10.1007/978-3-642-76626-8_45. ISBN: 978-3-642-76628-2 (print), 978-3-642-76626-8 (online).
A. J. H. Simons, Trends in Object-Oriented Programming. Chap. 3 in: Trends in Information Technology: 043 (IEE control), eds. D. A. Linkens and R. I. Nicholson, (London: Peter Peregrinus/IEE, 1990), 37-52.
ISBN-10: 0863412319. ISBN-13: 978-0863412318.
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.
ISBN-10: 1559382104. ISBN-13: 978-1559382106.
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.
DOI: 10.1007/978-3-642-83476-9_9. ISBN: 978-3-642-83478-3 (print), 978-3-642-83476-9 (online).

Industry Research Reports
Department for Transport
The following are public technical reports that were developed for partners in UK industry. This includes our work on applying ant-colony algorithms to improve rail capacity.
A. J. H. Simons and S. Shamshiri, Ferromone Trails Concept: Using ant-colony algorithms to increase rail capacity on transitional infrastructure, Transport Technology Research Innovation Grant (DfT T-TRIG OC068) Final Report, June 2017 (Department for Transport, 2017).

Departmental Research Reports
Department of Computer Science
The following are published in the long-running series of Department of Computer Science Research Memoranda. Some are only available in print, but since the mid-1990s, electronic copies have been kept.
N. Smeets and A. J. H. Simons, Automated unit testing with Randoop, JWalk and μJava, versus manual JUnit testing. Department of Computer Science Research Report CS-11-12, (Sheffield: Department of Computer Science, 2011).
Open Access Version.
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: Department of Computer Science, 2002).
Open Access Version.
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: Department of Computer Science, 2001).
Open Access Version.
A. J. H. Simons, Let's agree on the meaning of class. Department of Computer Science Research Report CS-96-26, (Sheffield: Department of Computer Science, 1996).
Open Access Version.
A. J. H. Simons, Mixins: typing the superclass interface. Department of Computer Science Research Report CS-95-26, (Sheffield: Department of Computer Science, 1995).
Open Access Version.
A. J. H. Simons, A different proposal for making Eiffel type-consistent. Department of Computer Science Research Report CS-95-07, (Sheffield: DCS, 1995).
Revised TOOLS Version.
A. J. H. Simons, A visual logic with extensions to set theory. Department of Computer Science Research Report CS-95-08, (Sheffield: Department of Computer Science, 1995).
A. J. H. Simons, Adding axioms to Cardelli-Wegner subtyping. Department of Computer Science Research Report CS-94-6, (Sheffield: Department of Computer Science, 1994).
Open Access Version.
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: Department of Computer Science, 1993).
Revised OOS Version.
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: Department of Computer Science, 1992)
Open Access Version.
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: Department of Computer Science, 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: Department of Computer Science, 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: Department of Computer Science, 1989).
A. J. H. Simons, SYLK working paper #2: Object-oriented syllable structures. Department of Computer Science Research Report CS-89-34, (Sheffield: Department of Computer Science, 1989).
A. J. H. Simons, PROBE: a programmable object-based environment. Department of Computer Science Research Report CS-88-23, (Sheffield: Department of Computer Science, 1988).
A. J. H. Simons, Chasing the phoneme. Department of Computer Science Research Report CS-86-6, (Sheffield: Department of Computer Science, 1986).