Dines' Scientific & Engineering Work: 2025

Most of it carried over from previous years.

1. An Informatics Lexicon

   An ongoing attempt to encircle the terms of informatics that I “adhere to” !

2. Reflections

   An ongoing attempt to describe my “career” since I was 18 (now I am 88): my studies, jobs at IBM and in Academia – my “journey” from being an engineer to becoming a researcher, and, finally, a scientist !

3. Banking – A Domain Description , 18 August 2025, 276 pages.

   Wastly incomplete ! Being edited during Sept.-Oct. 2025.

   This report represents ongoing, mainly engineering work.

4. Theory & Practice of Domain Science & Engineering , 23 June 2025, 196 pages.

   This report represents both scientific and engineering work.

   The main example of this report is that of transport. See next item.

5. Transport – A Domain Description , 12 June 2025, 154 pages.

   This report represents mainly engineering work.

6. Formal Methods – My 50+ Years as an Engineer, Researcher and Scientist ,

   Late spring, 2025, 19 pages.

   This paper is a biography.

   To appear in the Formal Aspects of Computing [ACM] journal 2026.

7. Domain Analysis & Description , September 3, 2025, 39 pages.

   This paper represents scientific work.

8. Files for the ICTAC 2025, Marrakesh, Morocco, 24-28 Nov. Conference:

   The 5 paper is the basis for:

   • Tutorial paper , 20 pages
   • Tutorial slides; The Method , 108 sildes
   • Tutorial slides: An Example , 55 slides

9. Domain Modeling – A Primer , 20 January 2025, 231 pages !

   This report represents scientific work.

10. Kai Sørlander: The structure of pure reason .
    Philosophy’s view of our situation in the world

    This book was translated by me. Published by Springer, March 2025, 150 pages.

    Kai Sørlander's work represents philosophy. My work: “merely” translational !