Contents

• Introduction
  • Current Work
  • Recent Work
  
  
• Further Contents Explained
• Some Guiding Principles
  • Computer & Computing Science
  • Formal Methods
  • A Triptych of Software Engineering
  • Are We Teaching & Researching the Right Things ?
  
  
• Bibliography
  • Reverse Chronological References
  • Year-by-Year Listing
  • Statistics: 1968 – 2022
  • Some Book Covers: 1978 – 2021
  
  
• Publication List
• Biography
• Photos

Current Work

• [1] Formal Methods: My 50 Years of Work Invited paper for the Working Formal Methods conference, Sept. 2024, Timisoara, Romania. Presentation cancelled due to my illness.
• [2] AMoL: A Domain Modeling Language.
  Just some notes: trying to clear my thoughts ! Not intended for “paper” publication. Being worked on Summer/Fall 2024.
• [3] The Prototype Modeling of a Road Transport Domain. A Domain Engineering Exercise . An exercise. Not intended for “paper” publication. Being worked on Summer/Fall 2024.
• [4] Double-entry Bookkeeping.
  My current “pass time” ! Being worked on Spring/Summer 2024.
• [5] Domain Modelling .
  My most recent paper. I consider this to be[come] my definitive paper on domain science and engineering ! A short paper derived from Chapters 3–6 of [9].
• [7] Domain Models – A Compendium .
  A compendium of 19 (+ soon one more) domain descriptions for the last 20 years.
  Available only over the Internet. x+606 pages.
• [9] – with Yang ShaoFa: Domain Modelling – A Primer . 6 January 2024
  I consider this to be[come] my definitive book on domain science and engineering !
• [10] Double-entry Bookkeeping , an incomplete draft. 23 pages. August 2023.
  Is currently being completely rewritten !
• [11] Informatics , an experiment in formulating basic aspects of modelling & programming. 335 pages – Summer 2023–2025 !
  I am [still] far from happy with this ms. May remove it !

Recent Work

Reference is made to [6,8,12,14,15,16,17,18,21,28,19,27,32,22,20,31,33,36,37,35,52,29,38].