Professor Emeritus of Computing Science
Dept. of Mathematics and Computer Science
Technical University of
Fredsvej 11, DK-2840
April 16, 2019
Thanks to DTU Compute
for kindly hosting this web page
Sept. 2007, Macau + 5 years: Sept. 2012, Holte + 6 years: Nov. 2018,
Bangkok, The Mandarin
For more photos see Sect. 4
Official and More Private Web Pages
- The table-of-contents,
leads you into various
aspects of DB's professional life.
- By clicking this -
you can reach less official areas of DB's life.
Overview - Click either of the below:
A Recent Compendium:
Most Recent Report:
- : Domain Analysis & Description -
Principles, Techniques and Modelling
ACM Trans. on SOftw. Eng. and Methodology, Vol.28,
No.2, April 2019, 61 pages
The Manifest Domain Analysis & Description
Approach to Implicit and Explicit Semantics
Electronic Proceedings in Theoretical Computer
Yasmine Ait-Majeur, Paul J. Gibson and Dominique
-  Domain Science & Engineering
- A Review of 10 Years Work and a
Zhou ChaoChen Festschrift, Springer LNCS 11180, September 28, 2018
- : To Every Manifest Domain a CSP Expression
Journal of Logical and Algebraic Methods in
Programming, 98, 2018, pp91-108
Recent Research Reports:
Recent Research Note:
Recent Technical Reports: Experimental Research:
-  A result of a three week MSc/PhD
course at East China Normal Univ., Shanghai
, November 2018
A result of my third China visit (Nov. 2017) during the three months of
the Fall of 2017
A Domain Model of A Space of
Swarms and Drones
A result of work and a research stay (Summer + Sept. 2017) at TongJi University,
A Research Report on Urban
-  What are
A side-effect of the Urban Planning
study (see above, ),
A result of a PhD course (Nov.2016) at Bergen
Domain Model of
- : A result of a PhD course (May 2016) at Uppsala
I worked out a Domain Model of
See Appendix A, Pages 27-35, of  for
a "brand" new  version!
This section is organised by year, and then by category:
published papers, books, edited books, lecture notes and reports.
The biographical notes then refer to this list.
This CV is held in an informal, almost chatty style.
For many years I was not too fond of photos of myself.
That changed around my age of 60!
Some Guiding Principles
Computer & Computing Science
I consider myself a computing scientist primarily interested in
I understand the study and
of the "things" that can "exist inside" computing
devices (i.e., data and computations) -
and the study and
knowledge of computing devices.
I understand the study and
of how to construct "those things", i.e.,
I consider myself to have primarily contributed to the area of formal
- By a
a set of
a set of
of an artifact, as here software.
- By a
I understand I understand
whose principles, techniques and tools
can be understood in a
mathematical framework -
for example where, among the tools the
can be given
mathematical proof system
A Triptych of Software Engineering
My contributions in the last many years has been to establish a proper
can be designed
we must be familiar with its requirements.
can be precribed
we must be familiar with
the context of the software to be developed,
that is, the
- Hence the triptych of software development:
- first (ideally) the
of an appropriate domain description;
- then (ideally) the
requirements prescription formally related to the domain description;
- finally the
"derived" from the requirements
and (ideally) formally reasoned to
that is, to satisfy the domain description
wrt. the requirements prescription.
domain science & engineering
My main focus, since 1977, has been on the development of "large"
compilers (like for CHILL and Ada),
and human artifact infrastructure software
(for pipelines, railways, health
care, banking, road traffic, container terminal ports, etc.).
A recent focus since 2017, has been on
Are We Teaching & Researching the Right Things?
An Essay on Didactics
indicate a rather different approach to
software engineering than is
currently en vogue.
- Instead of starting with coding programs, studying and teaching
- [3,9] suggests that we start with studying the
research its wider implications, describing
varieties of subsets;
-  then proceed by analysing and
based on a suitably delineated domain
- [61,62,63] finally developing the
code as outline in these three text books.
- As it is today nobody takes domain science & engineering
- Think of that.
- Think of civil engineering, mechanical engineering, electrical
enginering and chemical engineering
proceeding on a basis of there being no scientifc physics and
- We are doing it all the wrong way around!
- We have to reorganise our university curricula.
- We have to reorganise our research agendas,