Embedded Files
Books and Monographs
Books and Monographs
The OPEN Toolbox of Techniques
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 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.
A Language with Class
A Language with Class
This is my thesis on the type theory of object-oriented programming. It was one of the first works to formalise mathematically the meaning of class, inheritance, polymorphism, mixins, generics and construction.
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).
Ferromone Trails Concept
Ferromone Trails Concept
This monograph reported our work conducted for the UK Department for Transport 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).
Book Chapters
Book Chapters
A. F. Subahi and A. J. H. Simons, Multi-level transformation from conceptual models to databases in ReMoDeL, in Composition and Evolution of Model Transformations, eds. K Lano and S Zschaler, (London: Bentham Science, 2011). Public Draft Version.
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 Repository Abstract, 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).
Springer Link Version.
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).
Research Reports
Research Reports
The following were published in the long-running series of Department of Computer Science Research Memoranda. Some were only available in print; and the departmental repository was lost when the website was overhauled! I have recovered as many articles as possible.
A. J. H. Simons. ReMoDeL Explained (rev 2.3): an introduction to ReMoDeL by example. Technical Report, 01 June, School of Computer Science, University of Sheffield (2025). Open Access Version.
A. J. H. Simons. ReMoDeL Compiled (rev 2.3): the cross-compilation of ReMoDeL to Java by example. Technical Report, 01 June, School of Computer Science, University of Sheffield (2025). Open Access Version.
A. J. H. Simons, Can we engineer or prove the properties of Artificial Intelligence? Survey Report, 24 January, School of Computer Science, University of Sheffield (2024). Open Access Version.
A. J. H. Simons. ReMoDeL Data Refinement (rev 1.0): data transformations in ReMoDeL, Part 1. Technical Report, 25 July, School of Computer Science, University of Sheffield (2022). Open Access Version.
A. J. H. Simons. ReMoDeL Data Refinement (rev 1.0): data transformations in ReMoDeL, Part 2. Technical Report, 31 July, School of Computer Science, University of Sheffield (2022). Open Access Version.
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).
A. J. H. Simons and W. M. L. Holcombe, Remodelling software systems - the 2020 grand challenge for software engineering, Technical Report, Department of Computer Science, University of Sheffield (2011), 1-15. Challenge Website, Open Access Version.
A. J. H. Simons, A. F. Subahi and S. M. T. Eyre, Practical model-to-code transformation in four object-oriented programming languages, Technical Report, Department of Computer Science, University of Sheffield (2011), 1-25. Open Access Version.
A. J. H. Simons, Self-monitoring software: folding assertions into model-generated code, Technical Report, Department of Computer Science, University of Sheffield (2011), 1-15. 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).
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).
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).
A. J. H. Simons, Mixins: typing the superclass interface. Department of Computer Science Research Report CS-95-26, (Sheffield: Department of Computer Science, 1995).
A. J. H. Simons, A different proposal for making Eiffel type-consistent. Department of Computer Science Research Report CS-95-07, (Sheffield: Department of Computer Science, 1995).
Public Draft Version, later published in TOOLS-18, 1995.
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).
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).
Public Draft Version, later published in Object-Oriented Systems 1 (1), 1994.
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)
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).
Page updated
Google Sites
Report abuse